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