数理逻辑基础(许杨) 2023春  课程号:CS200202
2023春  课程号:CS200202
9.8(6人评价)
  • 课程难度:中等
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:一般
选课类别:计划 教学类型:理论课
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:专业基础   学分:2.0
课程主页:暂无(如果你知道,劳烦告诉我们!)
简介 最后更新:

数理逻辑是计算机科学技术的重要数学基础之一,本课程是计算机科学技术专业本科教学的数理逻辑基础课程,主要介绍数理逻辑的基本理论和形式化技术,为后继课程奠定必要基础。主要内容包括:命题逻辑的(标准)形式公理系统(命题语言和形式推导)、语义学和元理论(命题演算的可靠性和完全性);一阶逻辑的(标准)形式公理系统(一阶语言和形式推导)、语义学和元理论(一阶谓词演算的可靠性和完全性)。

排序 学期

评分 评分 6条点评

浮生 2023春
  • 课程难度:简单
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:一般
  • 难度:简单
  • 作业:很少
  • 给分:超好
  • 收获:一般

没出分,不知道给分,但是先给助教打10分,大赞贺阳槐安助教。

复习的那几天,助教一回答群里问题就是一整天(而且不仅回答本班的,还回答隔壁班的),习题课也准备的相当用心,真的是在讲自己的理解,尤其是最ex的直接证明题,没有助教的习题课连答案都看不懂。而且考试的直接证明,基本就是习题课助教讲的

8 2 复制链接
Eastwind(请读我的个人简介)十分赞同. 贺阳助教与隔壁刘班的三个除了分内工作什么也不干的助教相比, 起到的作用实在是天差地别
fly大赞hyha助教!
立即登录,说说你的看法
Yiran 2023春
  • 课程难度:简单
  • 作业多少:中等
  • 给分好坏:超好
  • 收获大小:一般
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:一般

一学期没去上过课

只要不点名,我就给10分

纯主观打分😋


以下是课程感受:

期末考前学两天刷刷往年题

考试题型比较固定还开卷

很容易就糊弄过去了

给分貌似也不错(貌似都奶了)

贺阳助教人也好

考前课程群里面几乎是在全天候回答同学们的问题,太赞啦!😆完全符合我对完美助教的幻想!


再聊聊考试分数:

均分65.7

基本上70+ 就优秀了

比隔壁班均分低了十分()


再说说处分后一些不愉快的事情吧:

一些辅修✌觉得自己总评59没给过是故意的在群里开骂🤣👉🤡

我先摆明自己观点

自己考的什么分数能拿什么总评自己心里有点b数

分数是自己挣得不是别人施舍的

当乞丐还嫌施舍的少了😅

事情见图:

资瓷助教😋

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

贺阳助教神中神!考前甚至还发了他os的复习资料

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

教学方法:8/10

许老师讲课以ppt为主,辅以板书。ppt里的例题没有答案,对于复习来说不算很合适。个人听课不多,但觉得老师讲课比较慢,可能是这门课的内容本就比较少。另外,感觉老师讲课有点无聊。

课堂内容:9/10

老师讲课不是按照课本来讲的,是按照他自己的逻辑。在原本课本的内容基础上加入了一些补充内容,对教学顺序也进行了重排。(似乎隔壁班老师完全按课本来讲,这倒是截然不同)

不过不按照课本顺序讲也就带来一个新问题,ppt毕竟不是讲义,和课本还是有很大不同的,对于写作业和复习来说都不算很方便。

作业多少:9/10

一共是十次作业,每次大概三道题左右。不过因为有时候会有那种一题里面好几道小题的情况。另外,不同周的作业量相差有点大,有些周可能只要半小时不到就行,但有些周大概要好几个小时。

收获如何:8/10

因为平时没咋听,大部分收获还是来自于作业和最后考试前的复习。

其实数理逻辑或者说形式化对计算机的一些应用还是蛮重要的,但这门课本身来说内容不算太多,再加上课本对于那些应用没有太多的引入或介绍,所以感觉收获不算多。

总体评价:9/10

总的来说,老师还是蛮认真负责的。假如不想去听隔壁的读书,那也是一个不错的选择。


以下内容不计入评课

给分情况:似乎是按照考试加作业得到一个原始分之后调分。个人觉得调分力度挺大。不过作业分还是蛮重要的。

助教评价:这门课的三个助教分工清晰,两位负责改作业,一位负责答疑。负责答疑的助教非常负责,考前在群里高强度回答大家的问题,好评。


一些资料分享,包括往年卷等:

数理逻辑.rar

(最后修改于 1 0 复制链接
饮梦尘 2023春
  • 课程难度:中等
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:一般
  • 难度:中等
  • 作业:很少
  • 给分:超好
  • 收获:一般

感觉老师的ppt直接比读书上手更容易,虽然期末还是要多看书,听说讲的比隔壁班好(?不保真),作业感觉也不多.

助教挺给力的,楼上已经讲的比较详尽了此处不赘述,满昏

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

助教很好!

老师很奶!

期末考试没有公布分布,只给了平均分。平均分是65分,我考了70分,最后总评85.老师太奶了!

0 0 复制链接

许杨

教师主页: 戳这里

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

刘贵全 7.3 (27) 2023春 2022春
侯嘉慧 5.5 (2) 2024春

许杨老师的其他课

代数结构 8.0 (1) 2021春
代数结构 2022春 2021春
离散数学 2022春