Logic for Computer Scientists

• Main Author: Schöning, Uwe (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Birkhäuser Boston, 2008.
• Series: Progress in Mathematics, Basler Lehrbücher, 8
• Subjects: Computer science.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

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. It presents applications and themes of computer science research such as resolution, automated deduction, and logic pr...

Table of Contents:

• Propositional Logic
• Predicate Logic
• Logic Programming.