Proof and Disproof in Formal Logic

AvRichard Bornat

Inbunden, Engelska, 2005

Del i serien Oxford Texts in Logic

1 213 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

942 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2005-07-21
Mått:173 x 249 x 20 mm
Vikt:605 g
Format:Inbunden
Språk:Engelska
Serie:Oxford Texts in Logic
Antal sidor:264
Förlag:OUP OXFORD
ISBN:9780198530268

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Affärsapplikationer inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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