Mathematical Logic for Computer Science

Viac o knihe

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.