逻辑基础

首次发布：2023-07-03

以下为课程介绍，不是当期开课公告。开课安排与适合的切入点，请联系我们确认。

课程简介

自我矛盾是痛苦的来源之一，数学家的痛苦随着近几十年逻辑理论的发展减轻不少。不仅数学，现代逻辑学在计算机科学中也有广泛的应用。因为无处不在的应用，对基本逻辑的学习不仅必要，而且「经济」。通过这门课的学习，学生将了解基本逻辑思维的范式，清晰因逻辑结构产生的复杂性。

学时

75 学时（3 学时 × 25 次）

课程内容

1. 命题逻辑的基本概念
2. 证明策略

使用教材

• How To Prove It, Daniel J. Velleman

建议程度

十年级