Mathematical Logic for Computer Science
Editorial Reviews
Book Description
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 an elegant 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;- Temporal logic.Answers to exercises as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.co.uk/com pubs/ct mlcs.htmMordechai Ben-Ari is Associate Professor at the Department of Science Teaching of the Weizmann Institute of Science. He has published textbooks on concurrent programming and programming languages.
Book Info
Mathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics covered include propositional calculus, predicate calculus, resolution, hoare logic, and temporal logic. Also features a companion Website. Softcover. DLC: Logic, Symbolic and mathematical.
Mathematical Logic for Computer Science,Mordechai Ben-Ari,Springer,1852333197,Applied,Computer Mathematics,Computer Science,Logic,Logic, Symbolic and mathematic,Logic, Symbolic and mathematical,Mathematical And Symbolic Logic,Mathematics,Science/Mathematics,Formal Specification,Mathematics / Logic,Propositional Calculus,Resolution,Temporal Logic,Z
Books Review:
Recommended Books