Buch, Englisch, 264 Seiten, laminated boards, Format (B × H): 173 mm x 249 mm, Gewicht: 605 g
Reihe: Oxford Texts in Logic
Buch, Englisch, 264 Seiten, laminated boards, Format (B × H): 173 mm x 249 mm, Gewicht: 605 g
Reihe: Oxford Texts in Logic
ISBN: 978-0-19-853026-8
Verlag: OUP Oxford
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.
Zielgruppe
Undergraduates, or graduates, in logic, computer science, philosophy and mathematics seeking a comprehensive introduction to formal logic through proof and disproof
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
