Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Exampl... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Algebraisk topologi
  6. Matematik til informatikfag
  7. Matematikkens fundament
  8. Topologi
  9. Exploring Formalisation: A Primer in Human-Readable...

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

(Bog, Paperback / softback, Engelsk)
Forfatter: Clara Loh
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algebraisk topologi Matematikkens fundament Matematik til informatikfag Matematisk datateori Matematisk logik Topologi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfatter Clara Loh
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2022
Udgivelsesdato 25-09-2022
Første udgivelsesår 2022
Serie Surveys and Tutorials in the Applied Mathematical Sciences
Illustrationer 1 Illustrations, black and white
Originalsprog Switzerland
Sideantal 147
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 147 pages, 1 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031146480