Mathematical Logic for Computer Science

Autoren

• Mordechai Ben-Ari

Parameter

Seitenzahl

364 Seiten

Lesezeit

13 Stunden

• Informatik & Programmierung
• Logik
• Mathematik
• Sachliteratur
• Wissenschaft

Mehr zum Buch

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.

Mehr lesen

• Sprache: Englisch
• Erscheinungsdatum: 2012
• Einband: Paperback