Knihu momentálně nemáme skladem
Více o knize
Focusing on the intersection of Logic and Computer Science, this book highlights the significance of Logic in modern applications like Automated Theorem Proving and Logic Programming. Originating from lectures at EWH University in the late 1980s, it aims to provide undergraduates with a solid theoretical foundation in these concepts, requiring only basic mathematical knowledge and familiarity with a programming language like PASCAL. The text acknowledges contributions from various individuals in both the original German and English translations.
Nákup knihy
Logic for Computer Scientists, Uwe Schöning
- Jazyk
- Rok vydání
- 2008
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Logic for Computer Scientists
- Jazyk
- anglicky
- Autoři
- Uwe Schöning
- Vydavatel
- Birkhäuser Boston
- Rok vydání
- 2008
- Vazba
- měkká
- Počet stran
- 180
- ISBN13
- 9780817647629
- Kategorie
- Matematika, Počítače, IT, programování
- Anotace
- Focusing on the intersection of Logic and Computer Science, this book highlights the significance of Logic in modern applications like Automated Theorem Proving and Logic Programming. Originating from lectures at EWH University in the late 1980s, it aims to provide undergraduates with a solid theoretical foundation in these concepts, requiring only basic mathematical knowledge and familiarity with a programming language like PASCAL. The text acknowledges contributions from various individuals in both the original German and English translations.