Proof and Disproof in Formal Logic

Richard Bornat (Autor)

Buch | Hardcover

264 Seiten

2005
Oxford University Press (Verlag)
978-0-19-853026-8 (ISBN)

Artikel merken

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