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