Studiebog

Exploring Formalisation

- A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Clara Löh

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
- Surveys And Tutorials in the Applied Mathematical Sciences

Normalpris

kr. 414,95

Medlemspris

kr. 389,95

Du sparer kr. 25,00
Fri fragt

Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 10-03-2026
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal147
Udgivelsesdato25-09-2022
ISBN139783031146480
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Lean Theorem prover Proof assistant Formalization of mathematics Simplicial Complexes examples in Lean mathematics in Lean simplicial topology tutorial on lean verification of proofs