Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2001.
|
| Edition: | Second edition. |
| Subjects: |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | b8012477 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 121227s2001 enk ob 001 0 eng | ||
| 005 | 20241104185658.1 | ||
| 020 | |a 9781447103356 |q (electronic bk.) | ||
| 020 | |a 1447103351 |q (electronic bk.) | ||
| 020 | |z 9781852333195 | ||
| 020 | |z 1852333197 | ||
| 020 | |z 1447103351 | ||
| 029 | 0 | |a AU@ |b 000051743112 | |
| 029 | 1 | |a NZ1 |b 14979088 | |
| 029 | 1 | |a NZ1 |b 15350516 | |
| 029 | 1 | |a AU@ |b 000068724110 | |
| 035 | |a (OCoLC)spr853261732 | ||
| 035 | |a (OCoLC)853261732 | ||
| 037 | |a spr978-1-4471-0335-6 | ||
| 040 | |a AU@ |b eng |e pn |c AU@ |d OCLCO |d GW5XE |d OCLCF |d COO |d OCLCQ |d YDX |d UAB |d OCLCQ |d TKN |d LEAUB |d OCLCQ |d UKAHL |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA8.9-QA10.3 | |
| 100 | 1 | |a Ben-Ari, Mordechai. | |
| 245 | 1 | 0 | |a Mathematical Logic for Computer Science |h [electronic resource] / |c by Mordechai Ben-Ari. |
| 250 | |a Second edition. | ||
| 260 | |a London : |b Springer London, |c 2001. | ||
| 300 | |a 1 online resource (xiv, 304 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 505 | 0 | |a Preface -- Introduction -- Propositional Calculus: Formulas, Models, Tableaux -- Propositional Calculus: Deductive Systems -- Propositional Calculus: Resolution and BDDs -- Predicate Calculus: Formulas, Models, Tableau -- Predicate Calculus: Deductive Systems -- Predicate Calculus: Resolution -- Logic Programming -- Programs: Semantics and Verification -- Programs: Formal Specification with Z -- Temporal Logic: Formulas, Models, Tableaux -- Temporal Logic: Deduction and Applications -- Appendix: Set Theory; Further Reading; Bibliography; Index of Symbols; Index. | |
| 520 | |a 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. | ||
| 504 | |a Includes bibliographical references (pages 293-295) and indexes. | ||
| 650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Electronic data processing. |0 http://id.loc.gov/authorities/subjects/sh85042288 | |
| 650 | 7 | |a Electronic data processing. |2 fast | |
| 650 | 7 | |a Computer science. |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast | |
| 776 | 0 | 8 | |i Print version: |z 9781852333195 |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-1-4471-0335-6 |z Full Text (via Springer) |
| 915 | |a - | ||
| 936 | |a BATCHLOAD | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 994 | |a 92 |b COD | ||
| 998 | |b WorldCat record encoding level change | ||
| 999 | f | f | |i 1a947394-45b7-5cfe-8531-e0cfeedbd70e |s 74d2a515-74af-5583-94da-c0e761f7e213 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA8.9-QA10.3 |h Library of Congress classification |i Ebooks, Prospector |n 1 |