快速蹭课——各校区今日课表（今日是2026年10月29日，校历第557周，单周周四）
大拱桥--暨南大学学生门户 »《数理逻辑与集合论》
| 课程编号 | 8060110 | |
| 课程名称 | 数理逻辑与集合论 | |
| 课程学分 | 3学分 | |
| 考试类型 | 笔试 | |
| 本学期开课次数 | 1次 | |
| 平均分 （不含零分） |
72.177分 | |
| 平均分 （不含挂科） |
75.452分 | |
| 成绩中位数 | 74分 | |
| 成绩标准差 （不含零分） |
12.518 | |
| 挂科率 （不含零分） |
12.308% | |
| 零分率 | 0% | |
| 授课教师 | 杨天奇 周密 陈清亮 | |
| 开课专业 | 计算机科学与技术 软件工程 信息安全 | |
| 课程介绍 | 数理逻辑与集合论 课程中文简介
数理逻辑与集合论是离散数学的一部分，也是计算机科学基础理论的核心课程。本课程主要介绍其中的数理逻辑和集合论部分。 数理逻辑是研究推理逻辑规则的一个数学分支，具体为命题逻辑和谓词逻辑、定理的推理演算和机器证明方法 。 数理逻辑是形式逻辑与数学相结合的产物。但数理逻辑研究的是各学科（包括数学）共同遵从的一般性的逻辑规律，而各门学科只研究自身的具体规律。 集合论可看作数理逻辑的一个分支，集合论的内容 包括： 集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数基本概念和性质，以及上述知识在计算机科学中的应用。 本课程以大体相当的篇幅讲述数理逻辑与集合论的基本内容，鉴于这两部分内容的内在密切联系，我们使用数理逻辑的方法来引入集合论的有关概念并证明有关定理。以及上述知识在计算机科学中的应用。 Course Description |
|
使用教材列表
当前暂无教材信息！
我有这门课使用的教材信息，马上添加
课程资料
学生成绩分布情况
更多信息已登陆用户分享资源后方可查看
粤公网安备 44030602003680号