Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology 电子书下载
书名:Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
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. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers.Informed by the author`s recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended.
如果您对该资源产生疑虑,欢迎您 点击此处 举报不良内容。 希望我们能共建一个文明社区!感谢您的合作与支持!
猜你喜欢
- 论法的精神(上册) 电子书下载
- 伴你一生的睡眠指导书(美国儿科睡眠委员会主席朱迪·A.明德尔诚挚推荐,在失眠流行的时代,让睡眠不请自来!) 电子书下载
- 《和唯一知道星星为什么会发光的人一起散步》蒋方舟 电子书下载
- Hybridized-GNSS Approaches to Train Positioning: Challenges and Open Issues on Uncertainty 电子书下载
- 华尔街价值投资:规避投资风险的基本原则 电子书下载
- 大话降龙4 电子书下载
- 电力变电站工程(原书第3版).pdf 电子书下载
- 巴托比症候群 电子书下载
- 文化與歷史的追索: 余英時教授八秩壽慶論文集 电子书下载
- TOEFL Exam Essentials 电子书下载
- 《烹饪原料学》冯胜文经典版 电子书下载
- 世界历史 第14册 古代世界的民族与宗教=WORLD HISTORY 14 Peoples and religions of the ancient world 电子书下载