Exploring Formalisation

Författare:

Clara Löh

Häftad

, 2022

engelska

Serie:Surveys and Tutorials in the Applied Mathematical Sciences

70,70 €

Beställningsvara

Kan skickas fre 26 juni–tors 2 juli

Total leveranstid beräknas i kassan.

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.

Undertitel: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Författare: Clara Löh
Upplaga: 22001
ISBN: 9783031146480
Språk: engelska
Vikt: 281 gram
Serie: Surveys and Tutorials in the Applied Mathematical Sciences
Utgivningsdatum: 25.9.2022
Förlag: Springer International Publishing AG
Sidor: 147

Leverans

Gratis ekonomifrakt för privatpersoner från 29 EUR. Vi erbjuder leverans till ombud, direkt till din brevlåda eller dörr, paketskåp, eller hemleverans. Vilka leveransalternativ som är tillgängliga för dig framgår i kassan. Leveranstiden kan variera beroende på leveranssätt, adress, och om din beställning innehåller produkter med längre leveranstider. Den totala leveranstiden visas i kassan.

DSV

Betalning

Du kan välja att betala med MobilePay, kort (Visa eller Mastercard), Apple Pay eller via Klarna där du kan betala med kort, direktbetalning, faktura eller delbetalning. Genom att klicka på "Betala köp" godkänner du Kustoms och Adlibris allmänna villkor. Du kan ta del av hur dina personuppgifter behandlas i Adlibris personuppgiftspolicy, och i Kustoms dataskyddsinformation.

Returer

Hos Adlibris har du alltid 28 dagars ångerrätt från det att du mottagit din produkt. Returavgiften är 5,90 EUR. Nedladdningsbara produkter omfattas inte av ångerrätten eftersom de levereras direkt efter köpet. För mer information om returer, återbetalning och reklamation, läs våra köpvillkor.