Copied Exploring Formalisation
Exploring Formalisation
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean. After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers. Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementarycategory theory and algebraic topology is recommended.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Structural Optimization Under Stability and Vibration Constraints
$54.99
Ablaufplanung mit alternativen Prozessplnen
$44.99
Structural Thermodynamics of Alloys
$54.99
New Results in Numerical and Experimental Fluid Mechanics IV
$219.99
asyncio Recipes
$37.99
The 2011 Fukushima Daiichi Nuclear Power Plant Accident
$179.99
Duality and Unity of the Brain
$39.99
Proceedings of EcoComfort 2022
$329.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Anleitung zur Bearbeitung meteorologischer Beobachtungen fr die Klimatologie
$79.99
59. Jahrestagung der Deutschen Gesellschaft fr Unfallchirurgie e.V
$69.99
Serving Children and Families Through Community-University Partnerships
$129.00
Topological Vector Spaces II
$99.00
Neural Information Processing
$84.99
The European Union and Health Policy
$109.99
Patriarchal Hierarchy
$119.99
Children, Dogs and Education
$139.99
The Art and Science of CCD Astronomy
$54.99
Pathological Brain Detection
$54.99
Machine Learning for Multimedia Content Analysis
$159.00
The ASEAN Regional Security Partnership
$54.99
Comprehensive Healthcare Simulation: Geriatric Simulation
$64.99
Grade 4 Above-Level Pack (Levels S-V)
$195.00
Konflikte um den Konfliktrahmen
$39.99
Dark Humor in Films of the 1960s
$54.99
Law Enforcement, Leadership and Wellbeing
$44.99
JavaScript Next
$54.99
Wirtschaftlichkeit und Betriebssicherheit moderner Dampfkraftanlagen im Vergleich mit Sauggenerator
$59.99
Tumors of the Central Nervous System, Volume 4
$169.00
Special Topics in Structural Dynamics & Experimental Techniques, Volume 5
$249.99
A Modern Coleridge
$39.99
Global Differential Geometry and Global Analysis
$34.99
Varieties of Capitalism und Innovationssysteme
$59.99
Real Learning Opportunities at Business School and Beyond
$109.99
The Law and Ethics of Data Sharing in Health Sciences
$169.99
Didaktik der Arithmetik
$34.99
Selbstorganisation
$59.99
The Executive Guide to Enterprise Risk Management
$34.99
Ricardo and the Gold Standard
$59.99
Grundlinien einer globalen Ethik
$44.99
