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

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

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

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

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

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

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

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

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

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

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

3 2
silence.您别自称学渣了= =
deneb作为隔壁班的,我仿佛已经知道这位大佬是谁了(笑)

立即登录,说说你的看法

Komorebi 2021春

万恶的离散数学已经来到了它的最终章!

老师上课基本就是念书,偶尔穿插一些听不懂的有关AI推理方面的应用,总的来说,这门课可以自学(暗指老师上课催眠 。

平时作业很简单,也不是很多;期末考试不难,开卷(第三声),但是跟作业题风格不完全一样,建议考前自行去GitHub上搜索USTC-CS有关资源。

说说今年期末考试题吧:

第一大题判断题,基本上熟悉课本都能很轻易写出来,注意考试时千万不要在这种题上浪费太多时间,还有一点要注意,题目所使用的专业术语可能在课本上未出现过,可以参考GitHub上学长总结的陈老师班上的思考题。

第二大题简答题,第一小题是问你K4里对项替换自由性约束的作用是什么并举例,常规题;第二小题是简要概括哥德尔不完备性定理的证明,然后谈谈它与计算机科学的联系,抄书不解释。

后面就是几道证明题(有直接证明,不是太难,貌似七步即可证明,但是作为菜鸡的我用了15步)、改写前束合取范式(这道题花了我挺久时间写的)、实际问题转化为逻辑推理(这次居然出了两道),大概就是这些。

总体不是很难,但是很多细节要注意,比如尽量把各种证明过程写详细,尤其是K中定理有一些使用的前提条件一定要注明(助教习题课反复强调)、注意蕴涵词和合取的使用等等。这些细节稍不注意就会扣一大堆分。。。

考前可以把一些常用的定理比如双否率,换位率等等的直接证明写在纸上,考试的时候直接调用即可。还有,我感觉其实没必要打印太多资料,考试时你也没时间翻,不如花点时间在考前结合思考题多想想书上的概念啊什么的。

需要课程资料的同学欢迎访问Komorebi660/USTC-CS-Resources: USTC计算机科学与技术学院学习资料 (github.com)

2 0
FGXL 2018春

比较失望的一门课程。

感觉有意思的东西应该都在最后一章,然而因为课时的原因后面匆匆略过了。

助教工作比较认真,但对课程的理解似乎也只停留在做题考试上面,最后有个作业题我们没看懂答案在群里请教,得到的答复竟然是考试不会考。。。不过助教平常的工作比较认真,习题课也确实在为同学们的考试成绩着想。

平时不点名,到课率也比较惨淡。作业比较简单,看完课本就能写,量也不大,大部分作业课本后面还有提示/答案。考试让人吐槽,简答题需要准备好充分的资料,不然会向我一样在简答题上翻车。

1 0
__________ 2021春

数理逻辑是离散数学三部曲最后一部,但实际上难度是最低的。主要考察形式证明,其难度综合来讲低于代数结构和图论。数理逻辑教材质量极高,平时看课本自学完全ok,再加上期末开卷,实际上这门课可以当水课来上。当然,平时作业还是得好好做。

 

以上只是对《数理逻辑》这门课的综合评价。实际上,具体到刘贵全老师的课,还是有不少问题的:

 

讲课方面,老师就是读课本,连ppt都是课本的复制,说难听点就是照本宣科。讲课速度奇慢无比,在这么慢的情况下,还能详细讲完不需要过多掌握的可表示性和递归函数,甚至提前一周多结课,只能说非常神奇。总之,老师讲课很差。所幸老师脾气好,也不介意大家翘课,没点过名(虽然有一次开玩笑要点),因此可以大胆翘后期的课。

 

另一个问题,数理逻辑前几年只有陈小平教授一个人教,而他使用的定义和符号系统与课本有不小出入,期末试题也是以他的风格为主。刘贵全老师半途开始代课,完全按照课本授课,这就出现了一定程度(有,但不严重)的教考分离现象。直到今年,陈小平教授已经不再授课,但隔壁班的老师依然继承了他体系的一部分,期末考试也出现了一些陈小平的思考题和他体系中特有的定义。所以,刘贵全班的同学最好看看隔壁班或陈小平的ppt、思考题,防止考试时傻眼。

 

给分方面,80卷面分调到90,相当不错。

 

来年这门课就要改革了,以上内容,仅供各位参考。

1 0
PtilopsisL 2021春

老师人挺不错的,就是上课讲课语调过于平淡,足以使人昏睡。像评论里面其他同学说的一样,就算我们没听,老师也总是笑嘻嘻的,感觉我们不听课就像是在欺负老师一样。

考试题似乎每年也不会有太大的变化,可以看看评课社区里面的回忆版。考试重点是前两章,开卷考试,所以什么纸质版的资料都可以拿进去。考试尤其怪的就是比较喜欢考直接证明,几乎每年都会有一道直接证明的题。直接证明只允许使用公理和MP,所以写出来的步骤一般来说会非常复杂。这种最好就是提前要做一些准备,把演绎定理的方法看懂,把那些重要的定理的直接证明过程打印下来,这样在考试的时候就能直接用了。

这门课有个问题就是比较教考分离,考试考得好不好可能和你学得怎么样都没太大关系,关键是你有没有拿到一些关键的资料,民间流传的资料也有很多,这些在GitHub上一些仓库里面能找到,陈小平老师班上的PPT和小测题、思考题也很重要,能拿到尽量就去拿到。考试前面的判断题、简答题等等很可能是那些资料上面出现过的原题。不过这门课也改革了,改革之后的教学与考试说不定比现在好一些。

今年这门课置给了英才班和其他计算机学院的同学,因为隔壁班的课和OSH重了,有一部分同学可能是担心给分问题就跑路到隔壁班去了。不过最后来看给分也挺好的,没啥问题。

0 0
科科科科科 2021春

2021年了,cxp老师的ppt和思考题仍然有用,对于理解帮助还是很大,一定要多看看,多想想。

老师上课念ppt,ppt就是书,小测没有。

 

 

0 0
从点到点 2020春

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

0 0

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

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

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

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

0 0
cs1033 2019春

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

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

给分不错,会调分。

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

 

0 0
坠落的秋叶 2018春

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

 

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

 

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

0 0

刘贵全

教师主页: 暂无

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

陈小平 8.5 (31) 2020春 2019春...
肖明军, 吉建民 8.0 (1) 2021春
未知 2017春 2004春...
陈小平, 吉建民 2014春 2013春
陈恩红 2008春

刘贵全老师的其他课

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