Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Exploring the intersection of philosophy, mathematics, and computer science, this book delves into the principles of logic. It focuses on the techniques necessary to evaluate the truth of statements, emphasizing reasoning and computation as fundamental methods. Through its comprehensive approach, it aims to enhance understanding of logical processes and their applications across various disciplines.
Buchkauf
Proofs and Algorithms, Gilles Dowek
- Sprache
- Erscheinungsdatum
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Proofs and Algorithms
- Untertitel
- An Introduction to Logic and Computability
- Sprache
- Englisch
- Autor*innen
- Gilles Dowek
- Erscheinungsdatum
- 2011
- Einband
- Paperback
- Seitenzahl
- 156
- ISBN13
- 9780857291202
- Kategorie
- Informatik & Programmierung
- Beschreibung
- Exploring the intersection of philosophy, mathematics, and computer science, this book delves into the principles of logic. It focuses on the techniques necessary to evaluate the truth of statements, emphasizing reasoning and computation as fundamental methods. Through its comprehensive approach, it aims to enhance understanding of logical processes and their applications across various disciplines.