Studyguide for Logic for Computer Scientists by Schoning, ISBN 9780817647629

Logic for Computer Scientists Schoening Uwe Wydawca: Birkhauser Boston Inc Data wydania: 2008 ISBN: 9780817647629 Liczba stron: 168 Format: 236 x 162 x 12 Rodzaj oprawy: Paperback / softback Opis produktu: 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 programming in a rigorous but readable way.