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
The text is written in a reasonably informal but sufficiently
precise manner and, moreover, it is very lively.
*EMS Newsletter*
|
Ask a Question About this Product More... |
|
