Mathematical logic for computer science
by Ben-Ari, M.
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 binar…
Read More ↓Title Statements
- Full title :Mathematical logic for computer science / Mordechai Ben-Ari.
Summary
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.
Read More ↓Edition Statements
- Publication Date:cop. 2012.
- Edition:3rd ed
Publication Statements
- Publisher(s):Springer
- Place of Publication:London [etc]
- Language:eng
- Publication Date:cop. 2012.
The Physical Object
- Description:XV, 346 p. ; : 24 cm.
Edition Identifiers
- ISBN:9781447141280, 1447141288
- oclc:on1026234835
Subjects
Writers
No reviews yet. Be the first to rate this work.
Related Works
more →
Files & Downloads
-
Mathematical Logic for Computer Science -- (.pdf)
PDF · 1.8 MB · updated -
Mathematical Logic for Computer Science -- (.pdf)
PDF · 13.0 MB · updated -
Mathematical Logic for Computer Science -- (.pdf)
PDF · 3.1 MB · updated
Rate & Review