2025春 课程号：CS200203
- 课程难度：中等
- 作业多少：中等
- 给分好坏：一般
- 收获大小：没有
| 选课类别：计划内与自由选修 | 教学类型：理论课 |
| 课程类别：本科计划内课程 | 开课单位：计算机科学与技术系 |
| 课程层次：专业基础 | 学分：2.0 |
数理逻辑是计算机科学技术的重要数学基础之一，本课程是计算机科学技术专业本科教学的数理逻辑基础课程，主要介绍数理逻辑的基本理论和形式化技术，为后继课程奠定必要基础。主要内容包括：命题逻辑的（标准）形式公理系统（命题语言和形式推导）、语义学和元理论（命题演算的可靠性和完全性）；一阶逻辑的（标准）形式公理系统（一阶语言和形式推导）、语义学和元理论（一阶谓词演算的可靠性和完全性）。
教学水平与内容
周熠老师的《数理逻辑基础》课程以启发性教学为主，但上课内容和标准教材内容差别较大。学生反映老师经常以拓展内容为主，并未按教材进行教学，导致在课上难以找到方向感。课程内容很多偏重于老师自身的理解和观点，且有时偏离考试重点。尽管老师努力以启发学生思考为目标，但一部分学生认为效果不佳，并感到听课困难。
作业与考试
课程存在“教考分离”问题。作业与考试内容关联较少，某些题目难度较大或涉及课外知识。学期末期作业如“证明1+1=2”被认为是偏题。虽然考试为开卷，学生需要自学教材与往年试卷以备考。
给分与评价
评分方式模糊，学生对给分情况持保留意见。课程中没有点名机会，对于课程能否达标有疑虑。多数学生建议如果可以选择其他老师，可能是更好的选择。总体上，课上听课和考试准备之间的过渡不够顺畅。
- 课程难度：简单
- 作业多少：很少
- 给分好坏：一般
- 收获大小：没有
- 难度：简单
- 作业：很少
- 给分：一般
- 收获：没有
《没有在34岁之前获得图灵奖是老师一生的遗憾》:)
6.18日更：
因为老师上课太抽象，所以学期后期基本上就没去过了，下面点评主要针对我到课的前半学期。
老师上课基本上是完全不依照书本的，ppt是老师现做的，还经常因为没做完跟同学们道歉（？？？）。教学是从同学们已经熟悉掌握了解了这门课的知识开始教起的，刚开始几节课本人真的不知道他在讲什么，书上也并没有相应的东西，所以只能记住老师两节课至少感叹了四次他暂时没有获得图灵奖这件事：）（可能老师的科研方向很具有革命性吧）。当然了后面也不知道他讲了什么。平常作业涉及考试内容的也不会写（上课讲的听不懂也没有自己看书），当然作业也有很多书上偏偏角角（最后一次作业证明1+1=2）或者自己补充的知识。
总体感觉老师上课并不是按照考试书本来教的，更多喜欢启发大家思考。但是我觉得什么都不教，启发好像也并没有什么用…好像是因为老师和课程其他老师不是一个院的，所以课程内容也并没有沟通。反正听课会很难受。（突然想到一个可能不太恰当的比喻：苕皮味大）
不过还好这是一门可以完全通过往年卷和书本速通的课程：）不知道老师捞度怎么样。
更多详情可转隔壁 知识工程（知识雪豹）
- 课程难度：简单
- 作业多少：中等
- 给分好坏：杀手
- 收获大小：一般
- 难度：简单
- 作业：中等
- 给分：杀手
- 收获：一般
课程内容、作业内容和考试内容基本没关系，上课基本都是拓展内容和吹水为主，真正应考全靠自学，（不过上课一次点名都没有过），给分也很迷惑。总之能换走就换走吧（）
- 课程难度：简单
- 作业多少：很少
- 给分好坏：超好
- 收获大小：一般
- 难度：简单
- 作业：很少
- 给分：超好
- 收获：一般
说到这门课最严重的问题，毫无疑问是“教考分离”。教的内容很多都不考，考的内容也没有重点讲。虽然这门课确实考点少，开卷，不需要咋复习，但是从授课的角度，我认为有必要专门拿出一些时间（比如最后一次课）专门讲考试内容&重点。前面的课扯远了不要紧，但是重点不能落下。
