计算机软件理论基础集合论,从数理逻辑观点看计算机专业的理论基础探讨.doc...

文档介绍：

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

内容来自淘豆网www.taodocs.com转载请标明出处.