数理逻辑进阶与应用(刘贵全) 2024秋 2023秋 2022秋  课程号:CS401001
2024秋 2023秋 2022秋  课程号:CS401001
9.2(4人评价)
  • 课程难度:中等
  • 作业多少:很少
  • 给分好坏:一般
  • 收获大小:一般
选课类别:计划内与自由选修 教学类型:理论课
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:专业选修   学分:2.0
课程主页:暂无(如果你知道,劳烦告诉我们!)
简介 最后更新:

本课程是计算机科学技术专业本科教学的数理逻辑进阶课程,主要内容包括:算术的一阶理论,递归函数及其可表示性;Godel不完备性定理;判定问题;模态逻辑;数理逻辑在计算机科学中的应用。

排序 学期

评分 评分 4条点评

豆沙猫猫糕 2023秋
  • 课程难度:中等
  • 作业多少:很少
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:很少
  • 给分:一般
  • 收获:一般

昨晚梦见刘老师开了一门新的选修课,我选了。去上课,发现教室里只有五个人,剩下的人都翘了,这个梦是很符合刘老师人设的。数理逻辑进阶课上到最后,只有三分之一的人到课,百人大教室只坐了十四五个人,还大多分布在后排。

上课:从不点名。选课的大部分都不来,来的大部分都不听。老师试图与我们互动,问“对不对啊”“是什么啊”,没有人理他,他只好继续讲下去。老师人比较佛系,但确实是个好老师,我觉得自己没好好听课,有些对不起他。

上课内容是课本后两章,中间还请了企业的人给我们讲讲应用,也讲了一些人工智能伦理的内容。只需掌握课本中的内容,课本外的内容都是了解即可。

作业:两周交一次作业,每次就四五道题的样子,在作业本上两面纸就写完了。

考试:全开卷,今年考的全是课本内的知识,据说往年还要考拓展的内容。考了判断题、简答题、哥德尔数的计算题、算法设计题、证明题。最后一道题甚至是作业原题,我直接带了作业本开抄。

助教:据说是没学过这门课,被老板强拉来打工的研究生学姐,一边自学一边带我们助教。不过她确实尽力了,也比较负责。

给分:没出分直接出总评。我数理逻辑基础没有优秀,但是这门课优秀了。

(最后修改于 2 0 复制链接
  • 课程难度:简单
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:一般
  • 难度:简单
  • 作业:很少
  • 给分:超好
  • 收获:一般

上课内容是数理逻辑课本的后两章,主要是哥德尔定理,毕导出过科普视频,感兴趣可以看一下。上课体验和数理逻辑基础差不多,讲的比较慢。这学期刘老师还在人工智能伦理与技术讲了三次讲座,最后一节课拿了人工智能伦理与技术的课件讲了一些伦理相关的内容。去年的模态命题今年没讲。期间有一次请企业的人介绍了一个程序验证器KCSC Verifier

作业两周交一次,很少,而且课本最后有提示,不会花太多时间。没点过名,后面感觉来教室的人都不到20个了。

考试全开卷,考前课本看一遍肯定不会挂,给分应该也很好。

总之很推荐,哥德尔定理有点绕,但很有意思。作业少,给分好,还是专业选修学分。

最后是我印象里的考试题,细节记不清了,仅供参考:

  1. 6个判断
  2. 两个问答
  3. 求两个公式的哥德尔数
  4. 给出计算 Cvs 和 Ctm 的算法
  5. 给出表示绝对值的公式
  6. 证明 $\overline{0} \times x=\overline{0}$
  7. 证明无限大的递归可枚举集有无限大的子集(作业原题)

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

总体评价:这门课第一年开,是个水课,接着数理逻辑基础的内容继续上,难度不大,适合混学分,给分也还可以,推荐。 老师脾气很好,上课基本上复述ppt,感觉听课的人没多少,上课也不会点名。除了课本的内容会补充一章关于模态命题的知识,这一块没有ppt没有讲义没有作业,但是考试会考,上课记得做好笔记。 作业布置两道课后题(基本都是抄的)。 期末考试前两天自学了一遍,考试开卷,难度不大,助教说班里最低分76,最后给分比较满意。

0 0 复制链接

刘贵全

教师主页: 戳这里

其他老师的「数理逻辑进阶与应用」课

刘贵全老师的其他课

数理逻辑 8.6 (10) 2021春 2020春...
自然语言理解 8.0 (4) 2024春 2023春...
自然语言处理 7.5 (2) 2024秋 2023秋...
数理逻辑基础 7.3 (27) 2023春 2022春
代数结构 6.8 (5) 2015春
人工智能与技术伦理 6.8 (8) 2024秋 2023秋
人工智能与技术伦理 5.9 (10) 2022秋 2021秋...
人工智能原理 2013春 2006春...
代数结构 2005春
离散数学 2006秋 2003秋...
离散数学I 2017春 2016春...
离散数学II 2011春 2010春...
组合数学 2020秋