Welcome to E-Books Directory
This is a freely downloadable e-book.
Logic and Proof by Lawrence C Paulson
Read this book online or download it here for free
Logic and Proof
by Lawrence C Paulson
Publisher: University of Cambridge 2002
Number of pages: 79
These lecture notes give a brief introduction to logic, with including the resolution method of theorem-proving and its relation to the programming language Prolog. Formal logic is used for specifying and verifying computer systems and (sometimes) for representing knowledge in Artificial Intelligence programs.