Proofs and Algorithms

An Introduction to Logic and Computability

Autori

• Gilles Dowek

Parametri

Pagine

156pagine

Tempo di lettura

6ore

• Computer, IT, programmazione
• Saggistica

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 2011

(In brossura)