Third book in the new Oxford Texts in Logic
* Suitable for students of logic, computer science and mathematics
* Contains numerous exercises based on Jape - a free interactive tool designed and hosted by the author to aid learning, teaching and use of formal reasoning
* Extensive coverage of the basics of formal logic
DESCRIPTION:
Aimed at undergraduate computer scientists and mathematicians, this is an introduction to formal logic through proof and disproof in constructive natural deduction (the predicate calculus) that provides an excellent insight into how a simple logic works. The text will include reference to and exercises based on the computer software package Jape, which is an interactive tool designed and hosted by the author to aid learning, teaching and use of formal reasoning.
Oxford has an high standard of Logic publishing with the well-established Oxford Logic Guides. Oxford Texts in Logic will continue this excellence with a collection of undergraduate and graduate texts.
'this book could become widely used. it is very welcome and well done.'
Professor David Pym (University of Bath)
CONTENTS:
1. From Frege through Russell and Godel to Computer Science; 2. Natural deduction; 3. Proofs and Evidential Conundrums; 4. Disproof by Counter-example; 5. Calculating Counter-examples; 6. Simplicities and Absurdities; 7. Reasoning About Programs in Hoare Logic.
Produkteigenschaften
- Artikelnummer: 9780198530268
- Medium: Buch
- ISBN: 978-0-19-853026-8
- Verlag: OUP Oxford
- Erscheinungstermin: 21.07.2005
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2005
- Serie: Oxford Texts in Logic
- Produktform: Gebunden, laminated boards
- Gewicht: 605 g
- Seiten: 264
- Format (B x H x T): 173 x 249 x 21 mm
- Ausgabetyp: Kein, Unbekannt