从数理逻辑观点看计算机专业的理论基础探讨.docVIP

从数理逻辑观点看计算机专业的理论基础探讨 计从数理逻辑观点看计算机专业的理论基础探讨算机科学与技术学科包括计算机系统结构、计算机软件与理论、计算机应从数理逻辑观点看计算机专业的理论基础探讨用技术。一般地说，研究型计算机学院将按一级学科设置专业。离散从数理逻辑观点看计算机专业的理论基础探讨数学是计算机专业的基础理论，包括数理逻辑、集合论、图论、代数系统、从数理逻辑观点看计算机专业的理论基础探讨形式语言与自动机等，对于计算机体系结构、计算机软件与理论和计算机应用从数理逻辑观点看计算机专业的理论基础探讨技术等核心课程的起着重要作用。br　　本文将从数理逻辑观点看计从数理逻辑观点看计算机专业的理论基础探讨算机系统结构、计算机软件与理论和计算机应用技术的核心课程，以从数理逻辑观点看计算机专业的理论基础探讨此探讨数理逻辑的理论基础作用。br　　br　　1 公理从数理逻辑观点看计算机专业的理论基础探讨系统及数理逻辑简介br　　br　　亚里土多德在逻辑史从数理逻辑观点看计算机专业的理论基础探讨上第一次应用了形式化、公理化的演绎系统，类似自然演绎系统，为逻辑从数理逻辑观点看计算机专业的理论基础探讨的形式化开了先河。亚里士多德关于演绎证明的逻辑结构给出基本概念，通从数理逻辑观点看计算机专业的理论基础探讨过定义派生概念；给出公理或公设，通过逻辑证明定理。这种由初始概念从数理逻辑观点看计算机专业的理论基础探讨、定义、公理、推理规则、定理等所构成的演绎体系，称为公理系统从数理逻辑观点看计算机专业的理论基础探讨。br　　欧几里德整理、总结和发展了希腊古典时期的大量数学从数理逻辑观点看计算机专业的理论基础探讨知识，形成了《几何原本》。实质公理系统，给出点、线、面、角等23从数理逻辑观点看计算机专业的理论基础探讨个原始定义概念，给出5条公设、5条公理，由公理公设出发加以证明从数理逻辑观点看计算机专业的理论基础探讨了467定理。这也标志着公理学的产生，是实质公理学的典范。br　从数理逻辑观点看计算机专业的理论基础探讨　俄国数学家罗巴切夫斯基提出从直线外一点，至少可以做两条直线和从数理逻辑观点看计算机专业的理论基础探讨这条直线平行公理，从而发现了锐角非欧几何；1854年黎曼提出在同从数理逻辑观点看计算机专业的理论基础探讨一平面内任何两条直线都有交点公理，从而发现了钝角非欧几何。非从数理逻辑观点看计算机专业的理论基础探讨欧几何从直观的空间上升到抽象空间，使得人们认识到区分感性直观与科学从数理逻辑观点看计算机专业的理论基础探讨抽象的重要性。br　　弗雷格第一个严格的关于逻辑规律的公理系统。从数理逻辑观点看计算机专业的理论基础探讨在1879年出版了著作《概念文字：一种模仿算术语言构造的纯思维的从数理逻辑观点看计算机专业的理论基础探讨形式语言》，他完备地发展了命题演算和谓词演算，第一次把谓词演从数理逻辑观点看计算机专业的理论基础探讨算形式化，标志着数理逻辑的发展由创建时期进入奠基时期。br从数理逻辑观点看计算机专业的理论基础探讨　　皮亚诺提出了自然数算术的一个公理系统用逻辑演算表述数学、推导数学。关于自然数论的五个公理一直沿用到现在，成为自然数论的出发点。br　　罗素(B.Russell)继承皮亚诺的研究，完备了命题演算和谓词演算的成果，以集合论为基础，对自然数作出定义，证明自然数满足皮亚诺的五个公理。罗素总结了数理逻辑的成果，和怀特海合著了《数学原理》，他的成果汇集成为一本巨著，奠定了数学的基础。br　　希尔伯特1899年的《几何基础》，第一个逻辑理论问题是公理的无矛盾性，在实数的算术理论中为欧氏几何构造一个模型，这实际上就是笛卡儿几何，在此模型中欧几里德何五组公理都真；第二个逻辑理论问题是公理的相互几独立性，利用模型方法作出了证明。《几何基础》已经发展成为一个形式公理系统。《几何原本》里，点线面都有定义。在《几何基础》里，这三个概念没有定义，也没有直观的解释，这是形式公理方法的特征。由于《几何基础》的基本概念没有直观的具体内容，这个系统可以有各种不同的解释即模型。br　　1931年，《关于数学原理》一书证明了数理逻辑的不完全定理。在数理逻辑发展史上具有划时代意义。哥德尔完全性定理，哥德尔不完全性定理，给出包括自然数公理的系统一定时不完备的，即一定存在逻辑真的公式，是不可证明的。br　　欧内斯特·内格尔在《科学的结构》中提出四种科学说明的模式：演绎模型、或然性说明、功能性说明以及发生学说明。在科学说明中，演绎模型是最重要的方法之一。鲁道夫·卡尔纳普《世界的逻辑构造》中，提出构造系统的任务要把一切概念都从某些基本概念中逐步地引导出来，形成概念系谱。一种理论的公理化就在于：这个理论的全部命题都被安排在以公理为其基础