Mathematical Logic for Computer Science

Autori

• Môtî Ben-Arî

Parametri

Pagine

364pagine

Tempo di lettura

13ore

• Computer, IT, programmazione
• Logica
• Matematica
• Saggistica
• Scienza

Maggiori informazioni sul libro

Focusing on the intersection of mathematics and computer science, this book teaches logic through semantic tableaux, tailored specifically for computer science students. The third edition features a complete rewrite and introduces new chapters on SAT solvers and model checking, enhancing its relevance and applicability in modern computational contexts.

Per saperne di più

Lingua: Inglese

Pubblicato: 2012

(In brossura)