讲师：陈斌

课程介绍：通过数理逻辑，你可以把啰嗦的推理过程写成简洁的公式，这可是学术论文的必备要素；在集合论里，你可以知道自然数是怎么来的，数学归纳法为什么会那么神奇？你在《数据结构和算法》里学到的许多东西，源头尽在图论里边；最后我们来认识一下计算机的本质，一起探讨机器能力的极限，以及人类知识的边界。