Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Exploring Formalisation

Exploring Formalisation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031146497
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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