描述 本课程从逻辑和集合论的基本概述开始. 从那里, 本课程介绍数学证明的概念, 在介绍真实台词的过程中, 点集拓扑, 现代代数. 这门课每学期都开设. 先决条件:数学1312或同等学历或教师同意. 学分 3学分 水平 上师