Proof and Disproof in Formal Logic
Seiten
2005
Oxford University Press (Verlag)
978-0-19-853026-8 (ISBN)
Oxford University Press (Verlag)
978-0-19-853026-8 (ISBN)
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
Preface ; PART I BASICS ; 1. A Rough History of Logic ; 2. How to speak and read logic ; PART II FORMAL PROOF ; 3. Connectives ; 4. Rule shapes and formula shapes ; 5. Proof with connectives ; 6. The logical quantifiers ; 7. Proofs with quantifiers ; PART III DISPROOF ; 8. Disproof in a mathematical model ; 9. Constructive semantics ; 10. Classical semantics ; 11. Disproof calculation ; PART IV PROOF OF PROGRAMS ; 12. Specification and Verification ; 13. A simple programming language ; 14. Loops ; 15. Arrays ; Index
| Erscheint lt. Verlag | 21.7.2005 |
|---|---|
| Reihe/Serie | Oxford Texts in Logic |
| Zusatzinfo | numerous diagrams |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 173 x 249 mm |
| Gewicht | 605 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Computerprogramme / Computeralgebra | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-853026-9 / 0198530269 |
| ISBN-13 | 978-0-19-853026-8 / 9780198530268 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
37,99 €
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €
