Bookbot

Mathematical Logic for Computer Science

Évaluation du livre

3,9(17)Évaluer

Paramètres

Pages
364pages
Temps de lecture
13heures

En savoir plus sur le livre

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.

Édition

Achat du livre

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

Langue
Année de publication
2012
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

3,9
Très bien
17 Évaluations

Il manque plus que ton avis ici.