Del i serien Oxford Texts in Logic

Proof and Disproof in Formal Logic

Inbunden, Engelska, 2005

AvRichard Bornat

1 649 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 279 kr

Skickas inom 7-10 vardagar

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

Utgivningsdatum2005-07-21
Mått173 x 249 x 20 mm
Vikt605 g
FormatInbunden
SpråkEngelska
SerieOxford Texts in Logic
Antal sidor264
FörlagOUP OXFORD
ISBN9780198530268

Tillhör följande kategorier

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

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

Mer från samma serie

Mathematical Logic

Ian Chiswell, Wilfrid Hodges

Häftad, 2007

1 089 kr

A First Course in Logic

Shawn Hedman

Inbunden, 2004

4 829 kr

A First Course in Logic

Shawn Hedman

Häftad, 2004

1 479 kr

Mathematical Logic

Ian Chiswell, Wilfrid Hodges

Inbunden, 2007

4 219 kr

Du kanske också är intresserad av