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
Web-Based Projects that Rock the Class
$29.99
Internal Migration as a Life-Course Trajectory
$119.99
Wadi Flash Floods
$59.99
The Analysis of Time Series: Theory and Practice
$54.99
Multinationale Unternehmen aus Schwellenlndern und Europa
$129.99
Network-on-Chip Security and Privacy
$129.99
Plastische Eigenschaften von Kristallen und metallischen Werkstoffen
$59.99
Commercializing Growth
$44.99
Finding the Personal Voice in Filmmaking
$64.99
Fire and Climatic Change in Temperate Ecosystems of the Western Americas
$129.00
Psychosomatik der Infertilitt
$69.99
Alternative Medicine Interventions for COVID-19
$199.99
The Holocaust, Fascism and Memory
$54.99
Advances in Soft Computing
$39.99
Studies in Phase Space Analysis with Applications to PDEs
$199.99
Schrder gegen Merkel
$44.99
Remaking Romanticism
$79.99
Advances in Service and Industrial Robotics
$169.00
Chirurgische Therapie
$54.99
Intergenerational Memory and Language of the Sarajevo Sephardim
$99.99
Homelessness and Mobile Communication
$109.99
China's Governance
$59.99
Qualitative Research Using R: A Systematic Approach
$84.99
Financial Exclusion
$109.99
Categorical Topology
$44.99
Image-Based Multilevel Biomechanical Modeling for Fall-Induced Hip Fracture
$109.99
Opinion Dynamics and the Evolution of Social Power in Social Networks
$109.99
Interactive Relational Database Design
$39.99
Manned Spaceflight Log II20062012
$39.99
Romantische Metamorphosen
$49.99
Immunology of Sexually Transmitted Diseases
$84.99
Bibliographie zur deutschen Soziologie
$59.99
Lasers and Optical Engineering
$169.99
Rntgenanatomie des Gefsystems
$64.99
Globalization, Europeanization and the End of Scandinavian Social Democracy?
$109.99
Aktivierung und soziale Netzwerke
$74.99
Erfolgreiche Rekrutierung von Franchisenehmern
$39.99
Language Teachers at Work
$109.99
Tomita-Takesaki Theory in Algebras of Unbounded Operators
$44.99
Misunderstandings About Non-Verbal Communication
$109.00
