Clara Loh
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences Clara Loh 1st ed. 2022 edition

Name: Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences
Price: 9125 JPY
Availability: OutOfStock
Author: Clara Loh

価格

¥ 9.125

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月23日 - 年11月4日

Clara Loh の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology - Surveys and Tutorials in the Applied Mathematical Sciences

Clara Loh

1st ed. 2022 edition

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.

147 pages, 1 Illustrations, black and white; VI, 147 p. 1 illus.

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2022年9月25日
ISBN13	9783031146480
出版社	Springer International Publishing AG
ページ数	147
寸法	150 × 220 × 10 mm · 301 g
言語	ドイツ語