正规化数学 2021年1月至3月的TCC数学正规化课程的资料库。 这是什么？ 在本课程中，我们将把数学定理转变为一个称为精益的计算机游戏的水平。 我们将从证明基本的东西开始，例如内射函数的组合是内射的。 随着课程的进行，我们将继续学习更难的数学。 该课程包括8个讲习班。 您不必在每个研讨会中都回答所有问题。 先决条件？ 您应该了解一些数学。 例如，如果您是二年级本科生，那么您应该很容易就能解决前几周的水平。 您还应该在计算机上安装Lean 3和社区工具。 不幸的是，这比听起来要难。 。 怎