Mathematical Logic for Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Springer
- Springer London Fr. 86.90
- Springer Fr. 115.00 ausgewählt
Fr. 115.00
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
27.04.2001
Verlag
SpringerSeitenzahl
304
Maße (L/B/H)
23.4/15.6/1.9 cm
Gewicht
1000 g
Auflage
2. nd ed. 2001. Corr. 6th printing
Sprache
Englisch
ISBN
978-1-85233-319-5
This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.