Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)

Ben-Ari, Mordechai

ISBN 10: 013564139X / ISBN 13: 9780135641392

Published by Prentice-Hall, 1993

About this Item

320 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch.

Seller Inventory # 392202

Bibliographic Details

• Title: Mathematical Logic for Computer Science (Prentice-Hall International Series in Computer Science)
• Publisher: Prentice-Hall
• Publication Date: 1993
• Language: English
• ISBN 10: 013564139X
• ISBN 13: 9780135641392
• Binding: Soft cover
• Condition: Gut

About this title

Synopsis

Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs

From the Back Cover

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 (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5   Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.