Bookbot

Mathematical Logic for Computer Science

Valutazione del libro

3,9(17)Aggiungi una valutazione

Parametri

Pagine
364pagine
Tempo di lettura
13ore

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.

Pubblicazione

Acquisto del libro

Mathematical Logic for Computer Science, Môtî Ben-Arî

Lingua
Pubblicato
2012
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

3,9
Molto buono
17 Valutazioni

Qui potrebbe esserci la tua recensione.