计算理论导引6可计算理论的高级专题.pptVIP

朴秀峰 xfpiao@126.com;主要内容;递归定理;递归的意义;自引用;图灵机 SELF;图灵机 SELF;图灵机 SELF;图灵机 SELF;递归定理;递归定理;递归定理的术语;递归定理的术语;递归定理的应用;递归定理的应用;递归定理的应用;递归定理的应用;递归定理的应用;主要内容;逻辑理论的可判定性;逻辑理论的可判定性;符号∧，∨，┐称为布尔运算；“(”和“)”是括号；符号 ? 和 ? 是量词；符号x用来代表变元；符号R1，… ，Rk 称为关系。;公式;公式;例6.7 在下列公式中，只有最后一个是句子： ;逻辑理论的可判定性;逻辑理论的可判定性;例6.9 设 M2 是如下的模型：它的论域是是实数集 R，且讲关系 PLUS 指派给 R1，其中：只要当 a+b=c 时 PLUS(a, b, c) =TURE。则 M2 是ψ= ?y?x [ R1(x, x , y)] 的一个模型。 但如果用 N 代替 R 作为 M2 的论域，则此句子为假。 ;一个可判定性的理论;Th(N, +)是可判定的;一个可判定性的理论;Th(N, +)是可判定的;为构造第一个机器 Al，注意到∮l＝ψ 是原子公式的布尔组合。 在 Th(N,+) 的语言中，原子公式只有单个加法。对每个这样的单个加法，可以构造—