逻辑在计算机科学中的应用,本文是一篇关于计算机科学论文范文，可作为相关选题参考,和写作参考文献。
计算机科学论文参考文献：
摘 要：本文阐述了逻辑与计算、计算机的起源、程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP、PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大规模应用.
关键词：逻辑；计算；计算机
中图分类号：TP3 文献标识码：A
1 引言（Introduction）
20世纪30年代,Godel、Church、Turing等逻辑学家给出了“可计算”概念的严格定义.Turing于1936年发明了一种抽象机器——第一台通用数字计算机.该机器可用来辅助求解数学基础问题.1940年,Turing的逻辑抽象机付诸实践.Turing设计了ACE计算机.von Neumann主持研制了EDVAC和IAS计算机.50年代,计算机科学成为一门独立的学科.从那时起,逻辑与计算机科学间的联系越来越紧密,主要表现在计算机理论、复杂性理论、类型论、程序设计语言的形式语法和语义、编译技术、程序规范和验证、并发理论、知识工程、归纳学习[1]、数据库理论、专家系统、定理证明、逻辑程序设计和函数程序设计等方面.
2 逻辑与计算（Logic and computing）
计算机是逻辑和技术的共同产物20世纪30年代,逻辑学家Godel、Church、Turing提出了计算的抽象概念.40年代中期,Turing和von Neumann主持设计、制造了第一台计算机.此外,他们的工作为理解计算过程和计算形式化的发展打下了广泛的逻辑基础.
如今逻辑仍是新颖计算机体系结构抽象思想的重要来源,这些新结构包括推理机、数据流机、数据库机、重写机.逻辑为程序设计提供了一整套的思想,同时为程序的推理提供了系统的框架.逻辑在程序设计语言的理论和设计方面发挥着重要作用,数理逻辑可视为两类主要逻辑程序设计语言的直接模型.一类是基于Church的λ一演算[2]的函数程序设计语言,如LISP、ML、LUCID、MIRANDA.另一类是基于Horn子句归结的关系程序设计语言,如PROLOG、PARLOG、GHC.Peter Landin早在20世纪70年代就指出,像ALGOL这样的语言也不过是对Church的λ一演算稍加扩充后的“语法变形”.后来,Martin-Lof直觉主义类型论被用来研究更高层的程序设计语言.其突出特征是程序正确性证明自动伴随着程序书写过程.
为设计、理解、讲解计算机及程序设计语言,为编写、分析程序以及进行有关性质的正确推导,逻辑在发挥着重要作用.逻辑学家本身亦可称为抽象工程师.
为分析知识表达和推理的过程以及综合用于表达和推理的机器,逻辑为我们提供了语言及技术.
在人工智能研究中,逻辑在下述诸方面得到成功应用.
（1）知识表示的模型.
（2）机器归纳推理和学习的组织.
（3）自动演绎系统的理论基础.
然而,与逻辑在计算的理论和实践中的作用相比,逻辑在人工智能中的作用更多的是引发人们的争论.要结束这种争论,必须更好地理解自然智能与人工智能的差别.与此同时,逻辑的倡导者和批评者均应做出更多的工作来阐述各自的观点.
3 逻辑与计算机的起源（The origin of logic and
computing）
在现代计算机的发明过程中,逻辑起决定性的作用.这一点并未被人们广为接受.抽象计算机发明于1936年,该发明由1930年Godel的重要逻辑发现所引发.1936年Godel有关计算的理论鼓舞Turing来寻求一种既严格又抽象的逻辑模型.这种模型不仅是关于计算过程的,而且是关于计算机本身的.以此为辅助的理论概念.Turing证明数学的形式系统是不可判定的,从而解决了Hilbert第三问题.尽管Turing的最初计算机仅是抽象逻辑概念,但在这之后的10年（1937—1946）中,Turing成为了实用计算机的设计、制造、使用的领头人.
Turing机似乎是真正计算机的抽象.然而,它却创立于20世纪30年代.抽象Turing机是人们可以执行的可能计算模式的理想模型.Turing本人的最大成就是证明了一些Turing机是“通用的”——它们可模仿任何Turing机的行为,他所给出的通用机是如今的存储程序通用计算机的抽象原型.每个特殊机器的编码描述是一程序,它可使通用机当专用机使用.
Turing的工作有一明显的技术解释,不需要对每个计算任务都建造一个独立的机器,而只需建造一台机器——通用机器.人们可以通过编写适当的程序来做所需的计算,事实上,Turing本人动手建造了一台通用机.
von Neumann在阐述EDVAC、IAS机的设计和操作时,侧重用抽象的逻辑描述语言来说明,很少涉及详细的工程细节.关于机器的系统结构和程序设计原则,全都用抽象概念来阐述,今天可以看出,von Neumann和Turing在计算机设计和程序设计方法学等主要问题上所依照的正是逻辑原则.相反,精确的工程细节相对说来是次要的.从那时起,重视逻辑抽象（相对具体实现）就成为计算机科学的指导原则.
4 逻辑与程序设计（（Logic and programming）
Turing和von Neumann在有关程序设计的讨论中多次强调“流程图”的重要地位.此后,“流程图”很快成为早期程序设计的一种标准逻辑工具.直到目前,“流程图”仍应用于有关计算的形式推理中.Hoare、Dijkstra、Floyd等有关程序推理逻辑原则的思想尽在Turing和von Neumann的料想之中.Turing和von Neumann曾强调指出,程序设计有静态、动态两个方面,程序本身的静态文本主要是指逻辑表达式：性质仅用逻辑方法分析的语法结构.运行程序的动态过程是上述静态文本语义的一部分.
结论：关于对不知道怎么写计算机科学论文范文课题研究的大学硕士、相关本科毕业论文计算机科学论文开题报告范文和文献综述及职称论文的作为参考文献资料下载。
计算机科学和技术专业如何构建应用型人才培养体系
摘要：随着经济的发展，市场竞争日益激烈，社会对于应用型人才需求不断提升。以往计算机科学与技术专业在人才培养模式中过多的重视理论灌输，学生实践能力。
计算机科学和技术趋势
摘 要：计算机信息技术作为重要的科学技术，正逐步延伸到生活的方方面面。当前，计算机科学与技术的发展成为了体现国力的重要标志，全世界各个国家都在大。
简述逻辑学在计算机科学中应用
摘要：近年来，随着计算机技术的不断发展，计算机科学的发展日新月异。在计算机科学巨大成就的背后，逻辑学在计算机科学中的作用是巨大的。本文将从逻辑学。
计算机科学和技术教学模式改革和
计算机科学教学目标决定了在人才培养模式和教学实践上必须突出专业性、师范性和技能性相结合的特点，突出工程实践和应用技能。本文通过分析计算机科学及技。