- 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
Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Clara Löh
€ 53,45
+ 106 punten
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 147
- Taal:
- Engels
- Reeks:
- Reeksnummer:
- nr. 11
Eigenschappen
- Productcode (EAN):
- 9783031146480
- Verschijningsdatum:
- 25/09/2022
- Uitvoering:
- Paperback
- Afmetingen:
- 155 mm x 7 mm
Alleen bij Standaard Boekhandel
+ 106 punten op je klantenkaart van Standaard Boekhandel
Wedstrijd
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.