• Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België vanaf € 30
  • Ruim aanbod met 7 miljoen producten

Lezen

Leren

Geven

Beleven

Jonge gezinnen

Alle producten

E-books

Boekenbon

Promoties

Volg ons op

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Zoek een winkel

  2. Boeken
  3. Non-fictie
  4. Wetenschap
  5. Wiskunde & Statistiek
  6. Exploring Formalisation

Exploring Formalisation

A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Clara Löh
Paperback | Engels | Surveys and Tutorials in the Applied Mathematical Sciences | nr. 11
€ 52,95
+ 105 punten
Levertermijn 1 à 4 weken
Eenvoudig bestellen
Veilig betalen
Gratis thuislevering vanaf € 30 (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving

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.

Specificaties

Betrokkenen

Auteur(s):
Clara Löh
Uitgeverij:
Springer

Inhoud

Aantal bladzijden:
147
Taal:
Engels
Reeks:
Surveys and Tutorials in the Applied Mathematical Sciences
Reeksnummer:
nr. 11

Eigenschappen

Productcode (EAN):
9783031146480
Verschijningsdatum:
25/09/2022
Uitvoering:
Paperback
Bestandsformaat:
Trade paperback (VS)
Afmetingen:
152 mm x 234 mm
Gewicht:
272 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 105 punten op je klantenkaart van Standaard Boekhandel
BUNDELPROMO

2+1 GRATIS op meer dan 200 producten

Profiteer nu van onze vroegboekkortingen
Maak je voordeelbundel
BUNDELPROMO
2+1 GRATIS op meer dan 200 producten
ACTIEPRIJS

€ 10 korting

op de Vivlio Light en Light HD e-reader
Pak je korting
ACTIEPRIJS
Vivlio Light en Light HD e-reader met € 10 korting
AANGERADEN

Dé boeken bij jouw vakantiebestemming

door ons geselecteerd
Ontdek, lees en reis met ons mee
AANGERADEN
Dé boeken bij jouw vakantiebestemming
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.

Uitgelichte categorieën

Geschiedenis

Strips, Comics & Graphic Novels

Mens & Maatschappij

Kookboeken

Hobby

Science fiction & Fantasy

Psychologie

Wetenschap

Kunst & Cultuur

Onderwijs & Pedagogie

Sport

Economie & Management

Zelfzorg, Gezin & Gezondheid

Reizen

Taal

Religie & Spiritualiteit