数理逻辑导论(程京德) 2023春 2022秋 2022春 2021春 2020春  课程号:CS104
2023春 2022秋 2022春 2021春 2020春  课程号:CS104
6.7(6人评价)
  • 课程难度:中等
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:一般
选课类别:专业任务 教学语言:英文
课程类别:专业基础课 开课单位:计算机科学与工程系
课程层次:未知 学分:2.0
课程主页:暂无(如果你知道,劳烦告诉我们!)课程大纲可前往 https://mirrors.sustech.edu.cn/courses/教学大纲汇总/ 查看。

更多信息,请访问教工部提供的课程主页PDF
点评 写点评
排序 学期
评分 评分 6条点评
咕桃 2022春
  • 课程难度:困难
  • 作业多少:很多
  • 给分好坏:超好
  • 收获大小:很多
  • 难度:困难
  • 作业:很多
  • 给分:超好
  • 收获:很多

作为一个侥幸A+这门课的人来点评一下。 首先是讲师本身。程教授很有自己的个性,也的确非常牛,逻辑方面的知识储备雄厚程度深不可测,对很多话题、领域也有自己独到的见解(比如日常批判清华x)。另外,找他答疑不是一件容易事,问问题前一定三思,大概率会被他怼(我这学期都很怂hhh) 其次是课程内容。ppt基本上是顶满的字,到期末时会有上百页的讲义需要打印,每一页讲义上会有6页ppt,每页ppt几乎都是英文,可见内容量非常恐怖,期末开卷考内容都在讲义上,所以上课一分钟都不能分神,每个概念都要尽量弄懂。 第三是作业。我的每次作业都是满分。作业量很多很多,大约每两周会有一次。最多的一次我写了35页word,平均大概是10页,不过不要担心,TA判分主要看你的态度,只要你的确为作业投入了足够的精力,哪怕内容中存在错误也会是满分,TA也会耐心的给出评论。 总之,选择数理逻辑导论就是选择了一门艰苦但通往成功的路,付出一定会有回报,带着勇气和毅力去努力吧。 by 咕桃

4 0 复制链接
匿名用户 2022秋
  • 课程难度:困难
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:没有
  • 难度:困难
  • 作业:很多
  • 给分:一般
  • 收获:没有

本人,上课听巨认真,笔记巨认真,预习复习巨认真,考前复习巨认真,最后只拿了B+,拉低了我的绩点。

1 0 复制链接
IceLocke 2022春
  • 课程难度:简单
  • 作业多少:很多
  • 给分好坏:超好
  • 收获大小:没有
  • 难度:简单
  • 作业:很多
  • 给分:超好
  • 收获:没有

上课都在都在打游戏,但考前突击复习了两天不知道为什么就得了个A+的来答一下。首先是程老师的讲课风格,感觉上算是比较严谨的那种,但是有一说一思路不够清晰,具体体现在稍微一走神就容易大脑宕机。作业的话感觉算是目前上过的所有课程里面最多的吧,记得有一份经典命题演算的作业做了一天半才做完,但认真完成的花基本上还是能拿到一个比较高的分数(90/100),能够轻松拿下平时的50分作业满分。最后分享一下考试技巧,考试前一定一定一定要把课件完整的看一遍,把上课里印象中重要的地方理解一下,然后用便签纸记好大致内容方便考试的时候查看,这样考试还是能拿到一个比较不错的分数,但感觉啥都没学到(

1 0 复制链接
匿名用户 2022秋
  • 课程难度:困难
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:很多
  • 难度:困难
  • 作业:很多
  • 给分:一般
  • 收获:很多

有一次作业要写形式化证明。不会的同学建议提前了解一下prolog,网上可以找到直接生成证明的prolog程序。

0 0 复制链接
ZZM_77 2022春
  • 课程难度:中等
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:很多
  • 给分:一般
  • 收获:一般

程教授上课非常认真,也是真心想为南科培养优秀的理论计算机科学家。总的来说,课程内容不算特别难,只要上课认真听,课下复习应该都可以掌握。Assignment难度也不大(除了第六次assignment之外)。不过不得不说作业量巨多,我这学期在这门课上花的时间可能比高数和大物加起来还多,抗拒大作业量的同学一定要慎选!如果只是想体验一下,不建议选课,建议旁听。

0 0 复制链接
cra 2021春 教师点评
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

问:数理逻辑导论程京德老师讲得如何?

答:cjd的课件很详细,但是需要提前预习课件,不然上课容易听天书。cjd的讲课风格是理论导向的,顶多有几个例子帮助理解(他很反对国内用例子引入的教学方式)。任务量刚开始还是有点大的,不过作业分50还是挺容易拿满的,考试也是开卷,虽然不调分也不捞,但认真准备拿个A还是没什么问题的。

答:讲得很好,只要上课跟着他的思路就可以完成。课件上看不懂的概念要及时搞懂,比如上课的时候老师每讲完一个点都会给提问时间,可以问。

0 0 复制链接

程京德

教师主页: 暂无

其他老师的「数理逻辑导论」课

程京德老师的其他课

计算机导论A 8.0 (1) 2022秋 2021秋...
计算机导论B 6.5 (2) 2023春 2022春...
数理逻辑导论(H) 2023春 2022春...
计算理论 2022秋