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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Inference, Method and Decision
$109.99
Mastering Microsoft Fabric
$59.99
Marktorientierte Unternehmenskultur als Erfolgsfaktor der Strategieimplementierung
$74.99
Innovation from Information Systems
$39.99
Algebra - Representation Theory
$169.99
Innovations in Urban and Regional Systems
$109.99
The Dynamic Systems of Basic Economic Growth Models
$84.99
Inductive Logic Programming
$39.99
Computer Communication, Networking and Internet Security
$329.99
Allgemeine Pathologie
$59.99
Die Porzellan-Isolatoren
$54.99
Personal Brand Management
$89.99
Personalrecht
$39.99
Prozeinformatik
$49.99
Philosophie und das Gehirn
$49.99
Alcohol Intoxication and Withdrawal
$39.99
Audit Quality
$54.99
Experimentelle Beitrge zu Einer Theorie der Entwicklung
$59.99
Behind Closed Doors in White South Africa
$59.99
Grete Henry-Hermann: Sittlichkeit und Vernunft
$64.99
Hans Christian rsted and the Romantic Legacy in Science
$169.99
Handbook of Bioethical Decisions. Volume II
$139.99
Hierarchische Produktionsplanung bei Unsicherheit
$69.99
Connected Places
$84.99
Issues of Terrorism in the Post-Coronavirus Era
$139.99
Measurement and Control in Liquid Metal Processing
$129.00
Progress in Catalyst Deactivation
$129.00
Algorithmen fr Ingenieure
$64.99
Policy Competition and Policy Cooperation in a Monetary Union
$109.99
Cooperative Decision-Making Under Risk
$109.99
Chemokines in Viral Infections
$109.99
Shrinking Japan and Regional Variations: Along the Hokurikudo and the Tosando II
$64.99
Contemporary Womens Fiction and the Fantastic
$39.99
Die einfachen Kreislaufgren beim chirurgischen Patienten
$29.99
Regulation of Gene Expression in the Tumor Environment
$129.00
Mathematische Physik: Klassische Mechanik
$49.99
Policing for Peace in Northern Ireland
$39.99
Treibstoffe fr Verbrennungsmotoren
$64.99
Chemical Principles of Synthetic Fibre Dyeing
$129.00
Armenian History and the Question of Genocide
$109.99
