Exploring Formalisation (A formalizáció felfedezése): A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Emberek számára olvasható matematika alapjai a Lean 3-ban, példákkal a szimpliciális topológiából)

Eredeti címe:

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

Könyv tartalma:

Ez a matematikai formalizálással foglalkozó alapkönyv gyors, gyakorlatias bevezetést nyújt a Lean nyelvű bizonyításellenőrzésbe.

A Lean gyors bemutatása után az ember által olvasható formalizálás alapvető technikái kerülnek bemutatásra, a térképekre, az indukcióra és a valós számokra vonatkozó egyszerű példákkal illusztrálva.