From 5e19a762194b3e7ddf82a75b67e9ad6b635e9200 Mon Sep 17 00:00:00 2001 From: wuwanweihua Date: Thu, 12 Feb 2026 15:12:37 +0800 Subject: [PATCH] =?UTF-8?q?Update=20=E4=B8=8B=E8=BD=BD=E5=89=8D=E9=98=85?= =?UTF-8?q?=E8=AF=BB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 数理逻辑与近世代数/下载前阅读 | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/数理逻辑与近世代数/下载前阅读 b/数理逻辑与近世代数/下载前阅读 index 8b13789..758d9a2 100644 --- a/数理逻辑与近世代数/下载前阅读 +++ b/数理逻辑与近世代数/下载前阅读 @@ -1 +1,21 @@ +### **数理逻辑与近世代数** + +| 课程性质 | 课程学分 | 开课时间 | 开课学院 | 考核方式 | +|:----------:|:----------:|:----------:|:----------:|:----------:| +| 考查课 | 2.0 | 大二秋 | 计算机科学与技术学院 | 20%平时 + 80%期末 | + +一般重要的数学课程,是机器学习、组合数学等课程的前置课. + +课程包含命题逻辑、一阶逻辑、归结原理、代数系统、群、环与域、格和布尔代数等内容. + +始终是威海自命题. 校区该课程与本部差异较大,本部的题目没有参考价值. + +软件工程专业该课程为考试课. 25级的AI+领军班和软件工程,该课程和集合论与图论合并为4.5学分的离散数学课程. + +本文件夹预计上传以下文件: +| 课程名称 | 学期 | 开课校区 | +|:--------:|:------:|:--------:| +| 数理逻辑与近世代数 | 2025 秋| 威海 | +| 数理逻辑 | 2020 秋 | 威海 | +| 近世代数 | 2020 秋 | 威海 |