### **数理逻辑与近世代数**

| 课程性质 | 课程学分 | 开课时间 | 开课学院 | 考核方式 |
|:----------:|:----------:|:----------:|:----------:|:----------:|
| 考查课   | 2.0      | 大二秋   | 计算机科学与技术学院   | 20%平时 + 80%期末 |

一般重要的数学课程，是机器学习、组合数学等课程的前置课. 

课程包含命题逻辑、一阶逻辑、归结原理、代数系统、群、环与域、格和布尔代数等内容. 

始终是威海自命题. 校区该课程与本部差异较大，本部的题目没有参考价值. 

软件工程专业该课程为考试课. 25级的AI+领军班和软件工程，该课程和集合论与图论合并为4.5学分的离散数学课程.

本文件夹预计上传以下文件:
| 课程名称 | 学期 | 开课校区 |
|:--------:|:------:|:--------:|
| 数理逻辑与近世代数 | 2025 秋| 威海 |
| 数理逻辑 | 2020 秋 | 威海 |
| 近世代数 | 2020 秋 | 威海 |