The Application Of Logic In Computer Science

The paper comprehensively and systematically discusses the application of logic for computer science with logic as main clue from the perspective of scientific methodology in the background of computer science。The application of logic for computer science manifestes both on the design of hardware and the processing of software,particularly for the study of syntactical and semantic aspects of formal language system。In the aspect of hardware design,the paper discusses the application of proposition logic and logic algebra in the field of circuit design,and tries to put forward the method to design the optimal circuit。In the aspect of software processing,it discusses the application of logic for relational database and artifical intelligence。It discusses especially the application of predicate logic and the theory of axiomatization for the representation of data sublanguage in the relational database。It also shows the effective application of predicate logic for knowledge expressing and reasoning in artifical intelligence。The paper discusses the application of predicate logic method for the construction of programming langue,and the application of predicate logic for computer logic programming langue。Finally,it discusses the important significance and deficiency of formalization method。...