Mordechai Ben-Ari
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides a way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems. The logical systems presented are: propositional calculus (including binary decision diagrams); predicate calculus; resolution; Hoare logic; Z; and temporal logic.
Science,Computer Science,Philosophy,Logic,Science,Mathematics,Science,Nonfiction
Mathematical Logic for Computer Science