Taylor's Library

Normal view MARC view ISBD view

Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.

By: Bornat, Richard, 1944-.
Series: Oxford texts in logic ; 2. Publisher: Oxford : Oxford University Press, 2005Description: xix, 243 p. : ill. ; 25 cm.ISBN: 0198530277 (pbk.).Subject(s): Evidence | Logic, ModernDDC classification: 160
Contents:
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.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
160 BOR (Browse shelf) 1 Available SOCIT,15009,03,GR 1001004712 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

Includes index.

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.