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