Proof and Disproof in Formal Logic —— An Introduction for programmers

----- 形式逻辑中的证明与反证：程序员入门

ISBN: 9780198530275 出版年：2005 页码：264 Bornat, Richard Oxford University Press

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