mirror of
https://gh-proxy.org/https://github.com/wuwanweihua/HITwh-fianl-exams
synced 2026-07-07 20:58:38 +08:00
979 B
979 B
数理逻辑与近世代数
| 课程性质 | 课程学分 | 开课时间 | 开课学院 | 考核方式 |
|---|---|---|---|---|
| 考查课 | 2.0 | 大二秋 | 计算机科学与技术学院 | 20%平时 + 80%期末 |
一般重要的数学课程，是机器学习、组合数学等课程的前置课.
课程包含命题逻辑、一阶逻辑、归结原理、代数系统、群、环与域、格和布尔代数等内容.
始终是威海自命题. 校区该课程与本部差异较大，本部的题目没有参考价值.
软件工程专业该课程为考试课. 25级的AI+领军班和软件工程，该课程和集合论与图论合并为4.5学分的离散数学课程.
本文件夹预计上传以下文件:
| 课程名称 | 学期 | 开课校区 |
|---|---|---|
| 数理逻辑与近世代数 | 2025 秋 | 威海 |
| 数理逻辑 | 2020 秋 | 威海 |
| 近世代数 | 2020 秋 | 威海 |