Researches Into Application Of Logic In Computer Science

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 origin anddevelopment of computer science. First of all, symbolic language andmathematical logic bring about the birth of the prototype of the moderncomputer Von Neumann machine, whose logical basis is the classicaltwo-valued logic. Secondly, modern computer science can not develop andprogress without symbolic language mathematical logic. From the initial numerical computation, word processing to multimedia (which can managecomplex text, sound and graphics data) are due to "digital" technology.Therefore, we can say, the logic plays a major role in the whole life ofcomputer science.Finally, we make a summary of logical problems in the intelligentrevolution. And make a forecast to computer’s future.Computer Science is rooted in logic, so the development of computer andthe breakthroughs of the bottleneck problem in intelligent revolutionarydepend on breakthroughs in the development of logic, so logic is a very usefultool to computer science research. We ought to take them into consideration.