数理逻辑(刘贵全) 2021春 2020春 2019春 2018春  课程号:01109401
2021春 2020春 2019春 2018春  课程号:01109401
8.8(5人评价)
  • 课程难度:中等
  • 作业多少:很少
  • 给分好坏:一般
  • 收获大小:一般
选课类别:计划 教学类型:理论课
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:学科群 学分:3
课程主页:暂无(如果你知道,劳烦告诉我们!)
点评 写点评
secon 2018春

这门课作为离散数学三部曲的最后一部,也是人工智能的基础课程之一,其难度相对来讲是比较低的(毕竟期末开卷23333)。

首先来说一下老师的讲课风格。由于今年计算机学院人数爆炸性增长,所以不少原来只有一个班的课程今年被迫开了两个班,数理逻辑也是这样,刘老师今年也是第一次教这门课。刘老师的讲课风格基本上就是在念课本,一学期下来基本上把一本书抄在了黑板上,偶尔会口头说一些和数理逻辑整体课程的架构有关的东西,不过意义不大,书上大部分都有同义转述……总的来说上课基本上就是带着你把课本看一遍,上课的意义确实不大,到最后就没多少人过来听课了(但是老师依旧是笑眯眯的,心态真的好)。

顺便也说一下与隔壁陈小平班的风格对比,根据cxp班上同学的描述,陈教授上课依旧是谈天说地,疯狂吹水,人生道理哲学思想机器人实验室宣讲大会一个都少不了,这也就导致了两个班进度严重不一致。(不过从结果来看似乎是我们班多讲了东西?隔壁班三四两章似乎是一笔带过,我们花了半个多学期在讲……)个人觉得,如果是比较喜欢老师上课活跃的,最好还是去cxp班(实际上这一届好多人换过去了),但是陈教授确实讲的有点迷 ,符号和书本上的不太一致,期末看起来比较痛苦……

最后说一下考试,首先说一下感受:

试  题  绝  对  是  陈  教  授  一  个  人  出  的!而且陈教授你连去年的试卷都不改一改就放上来真的大丈夫?

这门课的试题绝对是我见过的最玄学的试卷了,判断题似乎要充分理解定义,不然很容易出错,然后简答题……不说啥了,和17年考的一模一样,第一道题就是问你学习数理逻辑这门课的收获……wtf!!!!

然后是双否率的直接证明,不知道陈教授为啥这么执着于直接证明,明明没有多少意义……总之有一份坊间流传的神秘复习资料上有哦(那份讲义的作者叫童shiwei)总之你们会见到的。

然后的题目比较简单,最后一题是一个递归偏序关系的构造,也是陈教授的出题风格……

给分未知,不过我这种学渣不怎么关心,反正也就那样子……优秀率卡在那里没办法。

另外说一句:隔壁cxp班的群里面复习资料很多,比这个班多多了,记得两个班群都要加……

2018-06-30 22:34 3 2
silence.您别自称学渣了= = 2018-07-02 10:00
deneb作为隔壁班的,我仿佛已经知道这位大佬是谁了(笑) 2018-09-13 20:37

立即登录,说说你的看法

从点到点 2020春

隔壁班来评,单纯从刷gpa角度看,最好的方法就是选刘老师的课,考前复习看陈老师的PPT和思考题。

2020-09-22 14:43 0 0

这门课的整体感觉就是平淡而轻松。平淡体现在老师讲课一般,说话经常喜欢莫名卡住,抑扬顿挫是不存在的,PPT的内容也是教材原封不动照搬的精简版,所以挺适合自学的。轻松体现在作业不多,全部来自课后习题,答案提示几乎教材后面都有,问题不大。而且不用像隔壁班一样卷入思考题的迷惑内卷中,每想到这里就无比舒适。

课程内容主要是前三章,第四章关于哥德尔的不完备性定理也有所涉及。今年在疫情期间增设了一个期中考试,考试范围是前两章,由刘老师独立命题,所以期中考试题目比较正常也难度不大(具体题型是:判断题+直接/简化证明+谓词逻辑的语义证明+前束范式+命题逻辑形式化应用题+谓词逻辑形式化&证明)。

期末考试的简答题就比较无语了,由于两班统考,所以思考题终于出在试卷上恶心我们班同学了。24分的简答我就得了12分,这还是在助教考前给了部分思考题答案作为参考以及批卷时高抬贵手的情况下。

最后期末卷面没到80分,总评也有90。喜欢划水而且擅长自学的同学,欢迎来选。喜欢激情课堂而且喜欢卷的,欢迎去隔壁~

2020-09-22 08:47 0 0
cs1033 2019春

刘老师讲课完全按课本讲,中规中矩,不点名,作业少且有答案。

考试开卷,必考隔壁班思考题(有答案)和 哥德尔定律(抄书)。

给分不错,会调分。

水课,推荐给喜欢自学的学生,甚至可以不去上课,只要写作业就行。

 

2019-06-29 20:18 0 0
坠落的秋叶 2018春

中规中矩的传统课堂教学,老师没什么骚操作,只是最后一节课让我们讨论讨论上这门课的感受2333.

 

作业非常少,以至于我都快忽略这门课了。

 

最后考试一定要细心一些。读题读仔细了。

2018-07-17 05:55 0 0

刘贵全

教师主页: 暂无

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

陈小平 8.8 (30) 2020春 2019春...
未知 2017春 2004春...
陈小平, 吉建民 2014春 2013春
陈恩红 2008春

刘贵全老师的其他课

代数结构 6.8 (5) 2015春
人工智能原理 2013春 2006春...
代数结构 2005春
离散数学 2006秋 2003秋...
离散数学I 2017春 2016春...
离散数学II 2011春 2010春...
自然语言理解 2020春 2019春...
组合数学 2020秋