计算理论与要计算模型.pptVIP

第二章;一、计数与计算 手指、石头、结绳计数，算筹计算; 许多计算领域的求解问题，如计算物理学、计算力学、计算化学和计算经济学等都可以归结为数值计算问题，而数值计算方法是一门与计算机应用紧密结合的、实用性很强的数学课程。;二、逻辑与计算;三、算法与计算; 算法：为解决一个特定的问题所采取确定的有限步骤。 计算机用于解决数值计算，如科学计算中的数值积分、解线性方程等计算方法，就是数值计算的算法。 计算机用于解决非数值计算，如用于管理、文字处理、图像图形等的排序、分类和查找，就是非数值计算的算法。; 计算理论：关于计算和计算机械的数学理论，它研究计算的过程与功效。 计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和形式语言理论等等。;一、计算与计算过程;二、可计算性理论 可计算性理论：研究计算的一般性质的数学理论。计算的过程就是执行算法的过程。; 1.可计算理论的发展; 2.可计算性的定义和特性; 3.可计算理论的主要内容 ; 原始递归函数：自变量值和函数值都是自然数的函数，称为数论函数。原始递归函数是数论函数的一部分。 规定：少量直观可计算的函数为原始递归函数，它们是：函数值恒等于0的零函数C0，函数值等于自变量值加1的后继函数S函数值等于第i个自变量值的n元投影函数