ENGLISH

Mathematical Reasoning with Diagrams

By Mateja Jamnik

Book information

Publisher
Center for the Study of Language and Inf
Year
2001
ISBN
1575863235, 1575863243, 2001047923, 1684000092, 9781575863238
Language
english
Format
PDF
Filesize
2 MB (1841166 bytes)
Pages
200\218
Library
Mobilism
Time added
2021-10-22 07:23:09

Description

Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system—called Diamond—which allows users to prove arithmetical theorems using diagrams. Cover Contents Foreword Preface 1. Introduction 2. The History of Diagrammic Systems 3. Diagrammatic Theorems and the Problem Domain 4. The Constructive w-Rule and Schematic Proofs 5. Designing a Diagrammatic Reasoning System 6. Diagrammatic Operations 7. The Construction of Schematic Proofs 8. The Verification of Schematic Proofs 9. DIAMOND in Action 10. Complete Automation Appendix A: More Examples of Diagrammatic Theorems Appendix B: The w-Rule Glossary References Index Back Cover

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF