Logic for Computer Scientists

by Schoning, Uwe

• ISBN13: 9780817647629
• ISBN10: 0817647627
• Format: Paperback
• Copyright: 2008-01-31
• Publisher: Springer Verlag Pub

Summary

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

Table of Contents

Introduction	p. 1
Propositional Logic	p. 3
Foundations	p. 3
Equivalence and Normal Forms	p. 14
Horn Formulas	p. 23
The Compactness Theorem	p. 26
Resolution	p. 29
Predicate Logic	p. 41
Foundations	p. 41
Normal Forms	p. 51
Undecidability	p. 61
Herbrand's Theory	p. 70
Resolution	p. 78
Refinements of Resolution	p. 96
Logic Programming	p. 109
Answer Generation	p. 109
Horn Clause Programs	p. 117
Evaluation Strategies	p. 131
PROLOG	p. 141
Bibliography	p. 155
Table of Notations	p. 161
Index	p. 163
Table of Contents provided by Ingram. All Rights Reserved.