文件名称：formalising-mathematics:凯文·巴扎德（Kevin Buzzard）2021年TCC课程的材料
文件大小：185KB
文件格式：ZIP
更新时间：2024-04-02 22:58:36
Lean
正规化数学 2021年1月至3月的TCC数学正规化课程的资料库。 这是什么？ 在本课程中，我们将把数学定理转变为一个称为精益的计算机游戏的水平。 我们将从证明基本的东西开始，例如内射函数的组合是内射的。 随着课程的进行，我们将继续学习更难的数学。 该课程包括8个讲习班。 您不必在每个研讨会中都回答所有问题。 先决条件？ 您应该了解一些数学。 例如，如果您是二年级本科生，那么您应该很容易就能解决前几周的水平。 您还应该在计算机上安装Lean 3和社区工具。 不幸的是，这比听起来要难。 。 怎么玩？ 假设您已安装Lean和用户工具，请首先通过启动命令行，（使用pwd和cd ）导航至要在其中安装此项目的目录，然后再输入以下内容来安装存储库： leanproject get ImperialCollegeLondon/formalising-mathematics code formal
【文件预览】：
formalising-mathematics-master
----.gitignore(31B)
----README.md(2KB)
----LICENSE(11KB)
----src()
--------week_1()
--------week_7()
--------week_4()
--------week_6()
--------week_3()
--------week_2()
--------week_5()
--------week_8()
----leanpkg.toml(256B)