数理逻辑导论

(陶伊达)CS1042024春  
2024春
9.7(6人评价)
  • 课程难度
    简单
  • 作业多少
    中等
  • 给分好坏
    超好
  • 收获大小
    一般
选课类别:专业任务 教学语言:英文
课程类别:专业基础课 开课单位:计算机科学与工程系
课程层次:未知 获得学分:2.0
课程主页:暂无(如果你知道,请点右上角“编辑课程信息”添加!)
课程简介(教工部数据)
本课程在介绍逻辑学(特别是经典数理逻辑)的本质、目的、基本假设、范围、应用领域之后,详细讲授经典命题演算、经典一阶谓词演算、以及经典数理逻辑的局限性,并且介绍对经典数理逻辑的经典保存扩张及非经典替代。


After introducing the essence, purpose, basic hypothesis, scope and application fields of logic (especially classical mathematical logic), this course teaches classical propositional calculus, classical first-order predicate calculus, and the limitations of classical mathematical logic in detail, and then introduces the classical conservative expansions and non-classical alternates of classical mathematical logic.
点评写点评
排序学期
评分评分6条点评
user avatar   Ryan_Fox     2024春
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:很多

很有意思的一门课,个人感觉相比于之前的数理逻辑要简单很多。

通过这门课 可以学到 命题逻辑 一阶谓词逻辑 霍尔逻辑等等一系列东西,老师上课一定要认真听,内容不难,很容易理解。

但是一定要注意老师的PPT,有些小细节可能被漏过了,我在写ND Proof的时候没有画框框,被扣了好多分。整门课只有这个地方比较强调格式,一定要好好看看。

一共6个Assignment 基本上一个小时可以做一篇(除了那个证明系统的专题)作业都挺简单的,好好听课一定能轻松做出来。

Quiz有点像脑筋急转弯,挺有意思的。

考试很水,比作业还要简单,好好看看PPT问题不大

似乎人均A+呢

 

user avatar   比远方更远     2024春
  • 难度:中等
  • 作业:中等
  • 给分:超好
  • 收获:一般

总体来说不难,作业两周一次,基本上自己看看ppt都能做出来。

期末考试很良心,大概只包括上课内容的一半左右(还是较为简单的一半)

说实话,上课讲的有些部分现在我也不是很明白,可能是我没认真听?但谁让它也不考呢(忏悔

给分很良心,没有考勤,quiz也只有学期初有几次,而且还可以多次提交

陶老师上课会补充一些所讲知识点在CS里的应用,这一点我觉得很不错

问了问同学,怎么感觉这门课人均A+呢

user avatar   佐天泪子     2024春
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:一般

期末考试内容比较简单,上课从不赶进度(甚至感觉讲的有点慢),讲的很详细。有不会题目的建议仔细阅读提供的英文教材,说不定一些难题就是书上的例题,上网找反而很难找到答案。

user avatar   James_Scott     2024春
  • 难度:简单
  • 作业:很少
  • 给分:超好
  • 收获:很多

首先,这门课虽然叫导论,但不是专业导论课,而是计系的专业课!!!

课程难度不算大,基本上认真听课或者课后照着PPT学就行。没有期中考,期末占50%,题目都是平时作业的题型。陶老师今年应该是第一次开这门课,上得很用心,课下也会耐心地解答问题。采用全英授课(班上有留学生),英文基本没有口音,重要的地方她会用中文复述一遍(所以听到老师讲中文就要格外认真听啦,都是重点)。

平时分是30分的作业和20分的考勤,作业给分不错的,错一个扣3-5分这样。一个学期共六次作业,量不算太大。

这门课主要介绍了PL和FOL两种逻辑语言,但所有的符号和证明过程请以PPT为准。不同参考书的符号可能不一样,助教看不懂会给你扣分,argue也没用。

总体来说,这门课的帮助还是很大的,不论你最终进不进计系,都可以锻炼逻辑思维能力。在大一下学了这门课,也可以给之后的离散数学打基础。

喜提大学第一个A+(98)

user avatar   KevinHuge     2024春
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:很多

先说一下分数构成吧

Class participation/Quizzes: 20%     Assignments: 30%      Final: 50%

课程难度 相比以往学期同学们的评价,个人感觉陶老师的数理逻辑导论的难度不算大,上课只要认真听课,跟上老师的思路,课下好好完成作业,不用花太多课外时间,最后也会取得一个不错的成绩

作业多少 本学期一共有6次Assignment和3次Quiz。Assignment每次大概6道大题目,难度都不大,做作业前最好过一遍ppt,每次可能会有一两道题比较难,但相信你一定能解决。前两次Quiz是简单的逻辑题,类似脑经急转弯/小学奥数,第三次Quiz是写一个程序判断输入是否为well formed propositional formulas,不算太难

给分好坏  给分不必多说,该怎么样就是怎么样,认真完成作业即可

收获多少 收获还是挺大的,学习了Propositional Logic(命题逻辑)和First Order Logic(一阶谓词逻辑),以及一点点Hoare Logic(霍尔逻辑)(没有考)

因为本学期没有期中考,且相比之前学期本学期不能带cheating paper,期末的比重又占到了50% 一定要好好复习

最后总评A,有点小遗憾

user avatar   匿名用户     2024春
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:一般

不属于导论课,不过毕竟都加了导论两个字,总体课程难度确实不难。

 

进智科学的,之前没有上过除英语外的全英授课,陶老师讲得很清楚易懂,用的单词也比较基础,非常亲民)难的部分也会中文再解释

在考点部分会专门讲解例题来辅助理解消化,下课问问题也很耐心温柔

 

这门课考试题型就是作业题型。作业比较套路化模板化,稍微看看课件熟悉一下就知道怎么做了,上手难度不大

 

总评A+,课说实话轻松也比较有意思


teacher avatar

陶伊达

暂无教师主页

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

陶伊达老师的其他课