Logic for Computer Scientists

• Κύριος συγγραφέας: Schöning, Uwe (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Birkhäuser Boston, 2008.
• Σειρά: Progress in Mathematics, Basler Lehrbücher, 8
• Θέματα: 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...

Πίνακας περιεχομένων:

• Propositional Logic
• Predicate Logic
• Logic Programming.