离散数学第五章 递归函数论-数论函数和数论谓词.pptVIP

目录（数理逻辑） 第一章 命题演算基础 （6学时） 第二章 命题演算的推理理论（4学时） 第三章 谓词演算基础（5学时） 第四章 谓词演算的推理理论（5学时） 第五章 递归函数论（4学时） 递归函数——可计算性理论 递归函数——数论函数，是以自然数为研究对象，定义域和值域均为自然数。 它为可计算函数找出各种理论上的、严密的类比物，因此，递归函数又称为可计算性理论。 可计算性理论的研究对象 判定问题　——判定方程是否有解 可计算函数——讨论一个函数是否可计算，建立了原始递归函数、图灵机等许多数学模型判定一个函数是否属于可计算函数 计算复杂性——讨论NP=P?问题，即非确定型多项式（Nondeterministic Polynomial）可解问题是否存在时间和空间复杂度是多项式的有效算法 可计算性理论的计算模型 Turing机 递归函数 λ演算 POST系统 正则算法 可计算函数、不可计算函数 例1 第五章 递归函数论 5.1 数论函数和数论谓词 5.1.1 数论函数 5.1.2 数论谓词和特征函数 5.2 函数的构造 数论函数 常用的数论函数 [ ] [x/y] rs(x,y) dv(x,y) lm(x,y) 常用的数论函数 I(x)函数值与自变量的值相同，称为幺函数。 Imn(x1，…,xn，…，xm)= xn,即函数值与第n个自变元的值相同，此函数称为广义幺函数。 O(x)=0即函数值永为0，称为零函数。 S(x)=x+1，此函数为后继函数。 常用的数论函数 D(x)指x的前驱，称为前驱函数。 当x=0时，其值为0，x0 时，其值为 x-1。 Ca(x)=a，即函数值永为a，这个函数称为常值函数。 常用的数论函数 第五章 递归函数论 5.1 数论函数和数论谓词 5.1.1 数论函数 5.1.2 数论谓词和特征函数 5.2 函数的构造 一、数论谓词和特征函数 定义：数论谓词是指以自然数集为定义域以真假为值域的谓词。 特征函数 定义：设A(x1，x2，…，xn)是一个含有n个变量的语句，f(x1，x2，…，xn)是一个数论函数，若对于任何变元组均有： 定理1 (p55) 任何一个语句A 均有唯一的特征函数 定理2 (p55) 如果有一函数f(x1，…，xn)满足下列条件： A(x1，…，xn)为真当且仅当f(x1，…，xn)=0 则N2 f(x1，…，xn)为语句A 的特征函数。 定理2 (p55) 如果有一函数f(x1，…，xn)满足下列条件： A(x1，…，xn)为真当且仅当f(x1，…，xn)=0 则, N2 f(x1，…，xn)为语句A 的特征函数。 二、简单语句的特征函数 语句 特征函数 x ≠ 0 N x x=0 N2 x x为y的倍数 N2 rs(x，y) x ≤ y 　x ＜ y 二、简单语句的特征函数 语句 特征函数 x=0 N2 x x≠0 N x x=a x≠a x与y互质 三、复合语句的特征函数 定理1：设A，B为任意两个语句，则有 例1 (p56) x异于0且x为平方数 解：记A: x异于0. A的特征函数为 Nx. 记B: x为平方数, 并记 B为真时, y=0, B的特征函数为 N2y. 由定理1知, A ?B 的特征函数为： max(Nx, N2y)=N2(Nx+N2y) 例2 (p56) x?2且由a除尽x可推出a=1或a=x 受限全称量词、受限存在量词 第五章 递归函数论 5.1 数论函数和数论谓词 5.1.1 数论函数 5.1.2 数论谓词和特征函数 5.2 函数的构造 x与y互质=最大公约数为1 记A: x ≠ 0. A为真时, x ≠ 0,由Nx的定义知, Nx=0； 而A为假时, x=0,由Nx的定义知, Nx=1。 记B: x = 0. A为真时, x = 0,由N2x的定义知, N2x=0； 而A