Kniha momentálne nie je na sklade
Proofs and Algorithms
An Introduction to Logic and Computability
Autori
Viac o knihe
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.
Nákup knihy
Proofs and Algorithms, Gilles Dowek
- Jazyk
- Rok vydania
- 2011
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Proofs and Algorithms
- Podtitul
- An Introduction to Logic and Computability
- Jazyk
- anglicky
- Autori
- Gilles Dowek
- Vydavateľ
- Springer Nature Singapore
- Rok vydania
- 2011
- Väzba
- mäkká
- Počet strán
- 156
- ISBN13
- 9780857291202
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.