Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Exploring Formalisation
- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Af: Clara Loh
Engelsk
Bogcover for Exploring Formalisation af Clara Loh, 9783031146480
Specifikationer
Sprog:
Engelsk
Sider:
147
ISBN-13:
9783031146480
Indbinding:
Paperback
ISBN-10:
3031146484
Kategori:
Udg. Dato:
25 sep 2022
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
25 sep 2022
Forfatter(e):

Exploring Formalisation

- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Af: Clara Loh
Engelsk
Paperback 2022
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
147
ISBN-13:
9783031146480
Indbinding:
Paperback
ISBN-10:
3031146484
Kategori:
Udg. Dato:
25 sep 2022
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
25 sep 2022
Forfatter(e):
Finder produkter...
Kategori sammenhænge