Exploring Formalisation

Kirjailija:

Clara Löh

Nidottu

, 2022

englanti

Sarja:Surveys and Tutorials in the Applied Mathematical Sciences

70,70 €

Tilaustuote

Voidaan lähettää to 25. kesäkuuta–ke 1. heinäkuuta

Kokonaistoimitusaika lasketaan kassalla

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.

Alaotsikko: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Kirjailija: Clara Löh
Painos: 22001
ISBN: 9783031146480
Kieli: englanti
Paino: 281 grammaa
Sarja: Surveys and Tutorials in the Applied Mathematical Sciences
Julkaisupäivä: 25.9.2022
Kustantaja: Springer International Publishing AG
Sivumäärä: 147

Toimitus

Ilmainen toimitus yksityisasiakkaille yli 29 euron tilauksiin. Tarjoamme toimituksen noutopisteeseen, suoraan postilaatikkoosi tai ovelle, pakettiautomaattiin tai kotiinkuljetuksena. Saatavilla olevat toimitusvaihtoehdot näkyvät kassalla. Toimitusaika voi vaihdella toimitustavan, osoitteen ja tilauksesi sisältämien tuotteiden pidempien toimitusaikojen mukaan. Arvioitu kokonaisaika toimitukselle ilmoitetaan kassalla.

DSV

Maksaminen

Voit maksaa MobilePaylla, kortilla (Visa tai Mastercard), Apple Paylla tai Klarnalla. Klarnan maksuvaihtoehdot ovat: korttimaksu, verkkopankkimaksu, lasku tai osamaksu. Klikkaamalla "Maksa tilaus" hyväksyt Kustomsin ja Adlibriksen yleiset ehdot. Voit tutustua henkilötietojesi käsittelyyn Adlibriksen tietosuojakäytännössä ja Kustomsin tietosuojainformaatiossa.

Palautukset

Adlibriksella sinulla on aina 28 päivän palautusoikeus siitä hetkestä, kun olet vastaanottanut tuotteesi. Palautusmaksu on 5,90 euroa. Peruuttamisoikeus ei koske tuotteita, jotka toimitetaan sähköisesti ja ovat ladattavissa tilauksen vahvistushetkestä alkaen. Lisätietoja palautuksista, hyvityksistä ja reklamaatioista löydät ostoehdoistamme.