目录数理逻辑讲解学习.pptVIP

目录（数理逻辑）;什么是计算 ？;什么是计算 ？;可计算函数？;递归函数论——可计算性理论;可计算性理论的研究对象;第五章 递归函数论; 数论函数; x+y 指x与y的和. xy 指x与y的积. 指x与y的算术差, 即x?y时,其值为x减y,否则为0. 指x与y的绝对差,即大数减小数.;常用的数论函数;本原函数;常用的数论函数;常用的数论函数;数论谓词、数论语句;数论语句例子;特征函数;定理1 (p55);定理2 (p55);二、简单语句的特征函数;简单语句的特征函数(续);三、复合语句的特征函数;例1 (p56) x异于0且x为平方数;例 a=1或a=x ;例 由a除尽x可推出a=1或a=x ;例2 (p56) x?2且;例2 x?2且由a除尽x可推出a=1或a=x ;受限全称量词、受限存在量词 ;第五章 递归函数论