Proof and Disproof in Formal Logic

Inbunden, Engelska, 2005

AvRichard Bornat,Middlesex University) Bornat, Richard (School of Computing Science

1 469 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 129 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, University of London) Chiswell, Ian (Queen Mary, University of London) Hodges, Wilfrid (Queen Mary, HODGES CHISWELL, Hodges Chiswell

Häftad

1 089 kr

A First Course in Logic

Shawn Hedman, Florida Southern College) Hedman, Shawn (Department of Mathematics

Inbunden

4 339 kr

A First Course in Logic

Shawn Hedman, Florida Southern College) Hedman, Shawn (Department of Mathematics

Häftad

1 369 kr

Mathematical Logic

Ian Chiswell, Wilfrid Hodges, University of London) Chiswell, Ian (Queen Mary, University of London) Hodges, Wilfrid (Queen Mary, HODGES CHISWELL, Hodges Chiswell

Inbunden

2 799 kr

Du kanske också är intresserad av

Mathematical Logic

Ian Chiswell, Wilfrid Hodges, University of London) Chiswell, Ian (Queen Mary, University of London) Hodges, Wilfrid (Queen Mary, HODGES CHISWELL, Hodges Chiswell

Häftad

1 089 kr