2023春 2022秋 2022春 2021春 2020春
- 课程难度
- 作业多少
- 给分好坏
- 收获大小
| 选课类别：专业任务 | 教学语言：英文 |
| 课程类别：专业基础课 | 开课单位：计算机科学与工程系 |
| 课程层次：本科 | 获得学分：2.0 |
评分评分6条点评
- 难度：困难
- 作业：很多
- 给分：超好
- 收获：很多
程教授已从南科大离职，授课大纲及评分标准发生变化，该点评不再适用于当前课程。
作为一个侥幸A+这门课的人来点评一下。 首先是讲师本身。程教授很有自己的个性，也的确非常牛，逻辑方面的知识储备雄厚程度深不可测，对很多话题、领域也有自己独到的见解(比如日常批判清华x)。另外，找他答疑不是一件容易事，问问题前一定三思，大概率会被他怼(我这学期都很怂hhh) 其次是课程内容。ppt基本上是顶满的字，到期末时会有上百页的讲义需要打印，每一页讲义上会有6页ppt，每页ppt几乎都是英文，可见内容量非常恐怖，期末开卷考内容都在讲义上，所以上课一分钟都不能分神，每个概念都要尽量弄懂。 第三是作业。我的每次作业都是满分。作业量很多很多，大约每两周会有一次。最多的一次我写了35页word，平均大概是10页，不过不要担心，TA判分主要看你的态度，只要你的确为作业投入了足够的精力，哪怕内容中存在错误也会是满分，TA也会耐心的给出评论。 总之，选择数理逻辑导论就是选择了一门艰苦但通往成功的路，付出一定会有回报，带着勇气和毅力去努力吧。
by 咕桃
- 难度：简单
- 作业：很多
- 给分：超好
- 收获：没有
上课都在都在打游戏，但考前突击复习了两天不知道为什么就得了个A+的来答一下。首先是程老师的讲课风格，感觉上算是比较严谨的那种，但是有一说一思路不够清晰，具体体现在稍微一走神就容易大脑宕机。作业的话感觉算是目前上过的所有课程里面最多的吧，记得有一份经典命题演算的作业做了一天半才做完，但认真完成的花基本上还是能拿到一个比较高的分数（90/100），能够轻松拿下平时的50分作业满分。最后分享一下考试技巧，考试前一定一定一定要把课件完整的看一遍，把上课里印象中重要的地方理解一下，然后用便签纸记好大致内容方便考试的时候查看，这样考试还是能拿到一个比较不错的分数，但感觉啥都没学到（
匿名用户 2022秋- 难度：困难
- 作业：很多
- 给分：一般
- 收获：没有
本人，上课听巨认真，笔记巨认真，预习复习巨认真，考前复习巨认真，最后只拿了B+，拉低了我的绩点。
匿名用户 2022秋- 难度：困难
- 作业：很多
- 给分：一般
- 收获：很多
有一次作业要写形式化证明。不会的同学建议提前了解一下prolog，网上可以找到直接生成证明的prolog程序。
- 难度：中等
- 作业：很多
- 给分：一般
- 收获：一般
程教授上课非常认真，也是真心想为南科培养优秀的理论计算机科学家。总的来说，课程内容不算特别难，只要上课认真听，课下复习应该都可以掌握。Assignment难度也不大（除了第六次assignment之外）。不过不得不说作业量巨多，我这学期在这门课上花的时间可能比高数和大物加起来还多，抗拒大作业量的同学一定要慎选！如果只是想体验一下，不建议选课，建议旁听。
- 难度：中等
- 作业：中等
- 给分：一般
- 收获：一般
问：数理逻辑导论程京德老师讲得如何？
答：cjd的课件很详细，但是需要提前预习课件，不然上课容易听天书。cjd的讲课风格是理论导向的，顶多有几个例子帮助理解（他很反对国内用例子引入的教学方式）。任务量刚开始还是有点大的，不过作业分50还是挺容易拿满的，考试也是开卷，虽然不调分也不捞，但认真准备拿个A还是没什么问题的。
答：讲得很好，只要上课跟着他的思路就可以完成。课件上看不懂的概念要及时搞懂，比如上课的时候老师每讲完一个点都会给提问时间，可以问。
