课程简介
自我矛盾是痛苦的来源之一，数学家的痛苦随着近几十年逻辑理论的发展减轻不少。不仅数学，现代逻辑学在计算机科学中也有广泛的应用。因为无处不在的应用，对基本逻辑的学习不仅必要，而且「经济」。通过这门课的学习，学生将了解基本逻辑思维的范式，清晰因逻辑结构产生的复杂性。
内容
- 命题逻辑的基本概念
- 证明策略
课本
- How To Prove It, Daniel J. Velleman
建议学生程度
十年级
自我矛盾是痛苦的来源之一，数学家的痛苦随着近几十年逻辑理论的发展减轻不少。不仅数学，现代逻辑学在计算机科学中也有广泛的应用。因为无处不在的应用，对基本逻辑的学习不仅必要，而且「经济」。通过这门课的学习，学生将了解基本逻辑思维的范式，清晰因逻辑结构产生的复杂性。
十年级