（毕业学术论文设计）-逻辑学论文：计算机科学中的逻辑应用研究.docVIP

w 逻辑学论文：计算机科学中的逻辑应用研究 【中文摘要】目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动力，本文主要从两大线索来探讨逻辑学在计算机科学中的应用问题，一是从横向上，逻辑学的应用主要表现在计算机硬件设计和软件处理方面。二是从纵向上，即逻辑学在计算机产生和发展中的奠基和促进作用。横向上，在硬件方面，本文讨论了命题逻辑和逻辑代数在电路设计中的应用状况，并且对在命题逻辑基础上发展起来的组合逻辑、时序逻辑等做了探讨。最后在此基础上描述了DNA逻辑门的构造和DNA生物计算机继2006年之后五年内取得的最新进展。软件方面，主要讨论了逻辑学在计算机语言和程序的产生和发展中的应用问题。第一，描绘了计算机语言的语用逻辑的特征，列举了人工智能语言Prolog中逻辑应用的实例；第二，总结了程序正确性证明的方法和存在的问题，提出了设计中国自己程序逻辑模型的重要性。纵向上，可以说逻辑学贯穿了计算机产生和发展的整个过程。首先，因为现代的计算机理论基础是二值逻辑，所以数理逻辑的出现为计算机的产生准备了充分的理论条件。其次，计算机的发展离不开数理逻辑的发展。计算机开始只能进行数字计算，后来开始能处理文字，现在又出现了多媒体，这些进步和发展都是数字化技术不断发展的结果。最后我们总结了计算机智能化革命中存在的逻辑问题，对计算机未来的发展做了一个展望。计算机科学是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，所以研究逻辑学在计算机科学中的应用有重要的意义，应该引起重视。 【英文摘要】In the present, computer science is developing with astonishing speed.Infact, logic is the main power which promotes the development of computerscience. There are two clues in this paper, the cross-sectional study and thelongitudinal study. The cross-sectional study discusses the logic applicationmainly in terms of hardware design and software processing. The other islongitudinal study. It analyzes the important role of logic in the origin anddevelopment of computer science.In terms of hardware design, it discusses proposition logic and logicalgebra in circuit design application, and approached combinational logic,sequential logic and control logic respectively, which based on the propositionlogic all. Then, we propose logic gates solution of DNA computer.In terms of software treatment, we discuss the logic in the applicationcomputer languages and procedures. Firstly, we describe the pragmaticalcharacter of computer language and give an example to show the applicationof the predicate logic in the Artificial Intelligence language, Prolog.Secondly, make a summary of the logic methods and problems of thecorrectness of program prove. The third, we put forward an idea of Chinesemodel of logical program design and bring up the question about logical gateof DNA.Above all, we may say that logic runs through the