摘要:概念引入: 前束范式的概念: 一个公式,如果量词均在全式的开头,它们的作用域延伸到整个公式的末端,则该公式叫做前束范式(Prenex Normal Form)。 前束范式可记为下Q述形式 其中Qi为任意或者存在,xi为个体变元,A是没有量词的谓词公式。 例如, 等都是前束范式,而 等都不是前束范式。 阅读全文
posted @ 2019-04-16 15:09 三玖是天 阅读(3970) 评论(0) 推荐(0) 编辑
摘要:本篇将讲述一下辗转相除法 GCD(欧几里得)算法求的是两数的最大公约数 LCM算法则是在GCD的基础上算出两数的最小公倍数 辗转相除法是利用以下性质来确定两个正整数 a 和 b 的最大公因子的: ⒈ 若 r 是 a ÷ b 的余数,且r不为0, 则 gcd(a,b) = gcd(b,r) ⒉ a 和 阅读全文
posted @ 2019-04-16 00:28 三玖是天 阅读(84) 评论(0) 推荐(0) 编辑