VEĽKÝ VÝBER
Ponúkame milióny kníh v angličtine. Od beletrie až po tie najodbornejšie odborné.
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Jazyk:
Väzba:
Mäkká
Počet strán:
147
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 formalisati ...Celý popis
24,00 €
Podrobné informácie
| ISBN | 9783031146480 |
|---|---|
| Autor | Lh Clara |
| Vydavatel | Springer Nature |
| Jazyk | english |
| Väzba | Paperback |
| Rok vydania | 2022 |
| Počet strán | 147 |
Popis knihy
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.
Prečo nakupovať na Enbooku?
-
-
POŠTOVNÉ ZADARMO
Poštovné už od 2,99 € a pri objednávke nad 60 € doprava na pobočku Zásielkovne zadarmo
-
SKVELÉ CENY
Ceny kníh sa snažíme držať pri zemi a vždy pod cenou odporúčanou vydavateľom, aby si ich mohol kúpiť naozaj každý.
-
OVERENÉ ZÁKAZNÍKMI
Získali sme certifikát "Overené zákazníkmi" na Heureka.sk. Prezrite si naše recenzie
-
ONLINE PODPORA
Môžete využiť online chat, email alebo nám zatelefonovať.