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...