形式化基础-集合、逻辑 ·集合 ·最基本的数学模型（语言）、基本运算 ·罗素悖论 ·基本数据结构的数学基础 ·逻辑 ·命题逻辑：逻辑推理的基础 ·逻辑连接符（真值表）、逻辑表达式、范式 ·推理规则：证明方法的逻辑基础 ·什么叫argument?什么是正确的证明？什么是正确的结论？ ·谓词逻辑：现实问题的逻辑描述工具 ·全称和存在量词 ·谓词逻辑的逻辑推理基本方法 ·布尔逻辑：数字电路的数学基础形式化基础-集合、逻辑 • 集合 • 最基本的数学模型(语言)、基本运算 • 罗素悖论 • 基本数据结构的数学基础 • 逻辑 • 命题逻辑：逻辑推理的基础 • 逻辑连接符(真值表)、逻辑表达式、范式 • 推理规则：证明方法的逻辑基础 • 什么叫argument？什么是正确的证明？什么是正确的结论？ • 谓词逻辑：现实问题的逻辑描述工具 • 全称和存在量词 • 谓词逻辑的逻辑推理基本方法 • 布尔逻辑：数字电路的数学基础