2024春 课程号：CS200202
- 课程难度：中等
- 作业多少：很少
- 给分好坏：超好
- 收获大小：一般
| 选课类别：计划内与自由选修 | 教学类型：理论课 |
| 课程类别：本科计划内课程 | 开课单位：计算机科学与技术系 |
| 课程层次：专业基础 | 学分：2.0 |
数理逻辑是计算机科学技术的重要数学基础之一，本课程是计算机科学技术专业本科教学的数理逻辑基础课程，主要介绍数理逻辑的基本理论和形式化技术，为后继课程奠定必要基础。主要内容包括：命题逻辑的（标准）形式公理系统（命题语言和形式推导）、语义学和元理论（命题演算的可靠性和完全性）；一阶逻辑的（标准）形式公理系统（一阶语言和形式推导）、语义学和元理论（一阶谓词演算的可靠性和完全性）。
教学水平与课程内容
《数理逻辑基础》由许杨老师主要授课，教学内容包括基础逻辑思维和证明题，强调语义与语法的区别。课程前期较为简单，后期内容难度提升，尤其是直接证明题。许老师在黑板上详细讲解题目，但 PPT 上未包含完整过程，建议到堂听课。
作业与考试
作业量少，多为往年题目，具有一定重复性。考试以往年卷为基础，主要关注证明题，直接证明被认为难度较高，但有考生认为可通过掌握套路破解。考试时需重视判断题。
给分与建议
许杨老师给分普遍较好，不少学生在未充分准备的情况下仍获得高分。有学生建议通过刷作业、PPT 和往年题进行速成，但课上讲解有助于理解题型和掌握解题技巧。助教们在学习支持方面表现优异。总体来说，课程适合想快速通过的学生，但认真学习也有助于掌握数理逻辑。
- 课程难度：中等
- 作业多少：很少
- 给分好坏：超好
- 收获大小：很多
- 难度：中等
- 作业：很少
- 给分：超好
- 收获：很多
期末考完了，先占个坑
2024/07/11 更新
人在杭州参与遥遥领先夏令营，结果数理逻辑基础出了，卧槽！
许杨老师唯一真神！
请听我诉说许杨老师的神迹！
本人：
后半学期作业压线交（有好几次扣大分）
+后半学期翘课，期末一周极限速通看录课+看PPT
+考试直接证明一道大题几乎没写出来（不过别的包括判断题应该都差不多对了？）
=
90/4.0
这还不选愣着干什么！！！！！！
- 课程难度：简单
- 作业多少：很少
- 给分好坏：超好
- 收获大小：很多
- 难度：简单
- 作业：很少
- 给分：超好
- 收获：很多
前面的同学已经评价的很详细了（许老师给分确实很奶(๑><๑））在此就稍微谈几点注意事项之类的吧:
1、实话实说，这门课确实是可以速通的（ppt+作业+往年题可以速刷），但是不太建议，我是每节课都到堂听课了，许老师有在黑板上写题目过程的习惯，而常常不会把解题过程放在ppt上，所以如果到堂听课的话在题型作答掌握方面会比较受益。
2、考试时一定要重视判断题，就算是感觉自己理解的比较好了也要去再翻一遍书确认一下。我在正式开始考试前就把判断做完了，结果爆错两个（相当于半道大题），对答案时真的心疼，确实是我太自信了，孩子再也不敢了(╥ω╥`)
3、在平时学习过程中一定要重视语义和语法的区别，我知道刚开始理解的时候会很难受，但是这对后面的学习以及备考都很有帮助。
4、如果想要突破直接证明题，建议提前积累一些二级结论的直接证明的套用，可以有效的降低这题的难度（我们这学期的直接证明属于是祖传证明的再套用了，去年和今年的考试都是前年直接证明的运用，只要做过并且发现了两者之间的联系就很简单）
- 课程难度：简单
- 作业多少：很少
- 给分好坏：超好
- 收获大小：很多
- 难度：简单
- 作业：很少
- 给分：超好
- 收获：很多
课程介绍上写着许杨和刘建春两位老师，但最后都是许杨老师上的。
许杨老师明确表示不点到，并且上课有回放，作业是祖传作业，（评课社区可以找到，可以提前写），班级也没有很卷，总体非常推荐。
许多人觉得期末中的直接证明比较难，但我做了一些往年卷后感觉还是有套路可循的，之后看看有没有时间写个pdf发到评课社区。(见最后)
给分方面，老师很奶了。
- 课程难度：中等
- 作业多少：很少
- 给分好坏：超好
- 收获大小：一般
- 难度：中等
- 作业：很少
- 给分：超好
- 收获：一般
这门课作业少，老师给分超好，而且直接说平时可以不去听课也不会点名，助教也很负责，满分。
前期很水，讲的都是正常的逻辑思维自然而然能想出来的，布置的作业甚至不需要听课就能写，但是后期又难度陡增，尤其是证明题。考试的直接证明题更是难，而且考前刷了很多题依然写不出来，感觉这个没有具体的套路，就靠灵感，有套路反演法可以做出来但是很复杂，我考试时是没时间去反演。课程难度曲线不合理，得扣一分。有大佬表示是有套路的，还是我太菜了-_-
- 课程难度：简单
- 作业多少：中等
- 给分好坏：超好
- 收获大小：一般
- 难度：简单
- 作业：中等
- 给分：超好
- 收获：一般
助教人人好，这是我来评论的唯一理由。ys助教救我狗命
课程很简单，考试前一天复习速通就可以，复习完拟合往年题即可。
- 课程难度：中等
- 作业多少：很少
- 给分好坏：超好
- 收获大小：一般
- 难度：中等
- 作业：很少
- 给分：超好
- 收获：一般
辅修人，第一次见老师是在考场上，作业抄的 github 上去年的答案，考前两天从 0 开始速成最后 3.7。卷子上直接证明不会，其他不少东西感觉也是瞎编的，走出考场甚至感觉要 3- 了，感觉很多东西学的都不是很明白。不过许老师给分真神吧！
时隔一年，因为要学 COD 但没有数电基础，所以点开了数电的课件看了会，发现最前面的部分怎么全是数理逻辑的内容（？
