Mathematical Logic for Computer Science

摘要: Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by needs students computer science. The method semantic tableaux provides an elegant way to teach logic that both theoretically sound easy understand. uniform use tableaux-based techniques facilitates learning advanced logical systems based on what student learned from elementary systems. presented are: propositional logic, first-order resolution its application programming, Hoare verification sequential programs, linear temporal concurrent programs. third edition entirely rewritten includes new chapters central modern science: SAT solvers model checking.