Mathematical Logic for Computer Science

Authors: Ben-Ari, Mordechai

  • Gives a rigorous grounding in mathematical logic, using techniques that are appropriate for computer science students and less abstract than books for mathematics students
  • Content includes topics that are rarely used except in computer science (temporal logic, resolution) 
  • Applications for computer science are extensively discussed after the theory is presented
see more benefits

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-0335-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this Textbook

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.

About the authors

Table of contents (12 chapters)

  • Introduction

    Ben-Ari, Mordechai

    Pages 1-7

  • Propositional Calculus: Formulas, Models, Tableaux

    Ben-Ari, Mordechai

    Pages 9-41

  • Propositional Calculus: Deductive Systems

    Ben-Ari, Mordechai

    Pages 43-65

  • Propositional Calculus: Resolution and BDDs

    Ben-Ari, Mordechai

    Pages 67-100

  • Predicate Calculus: Formulas, Models, Tableaux

    Ben-Ari, Mordechai

    Pages 101-126

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-1-4471-0335-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Logic for Computer Science
Authors
Copyright
2001
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-4471-0335-6
DOI
10.1007/978-1-4471-0335-6
Edition Number
2
Number of Pages
XIV, 304
Additional Information
Originally published by Prentice Hall International Ltd., UK, 1993
Topics