数理逻辑与图论(刘斌) 2023秋 2022秋 2021秋 2020秋 2019秋 2018秋 2017秋 2016秋 2015秋 2014秋 2013秋  课程号:21003701
2023秋 2022秋 2021秋 2020秋 2019秋 2018秋 2017秋 2016秋 2015秋 2014秋 2013秋  课程号:21003701
7.4(23人评价)
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
选课类别:计划 教学类型:理论课
课程类别:本科计划内课程 开课单位:网络空间安全学院
课程层次:专业基础   学分:2.0
课程主页:暂无(如果你知道,劳烦告诉我们!)
简介 最后更新:

本课程主要为对数学和计算机科学/工程有兴趣的学生介绍数学逻辑与图论的原理。主要内容分为两部分:数理逻辑和图论。第一部分主要介绍数学语言的定义(命题和谓词逻辑)、递归概念和关系理论。第二部分讨论图论的主要结论并介绍本课程所涉及的方法和术语。图的数学理论是重点。涉及的主题有:顶点、边、度、平面图、有向图、偶图、连通性、路径、欧拉回路、哈密顿回路、树、独立集、平面化和着色等。着重强调了现代数理逻辑与图论中已经被证明是非常有成效的各种方法。

排序 学期

评分 评分 23条点评

  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

本人在2023年春季, 2022年秋季和春季学期分别修读了计算机科学与技术学院开设的数理逻辑基础图论代数结构课程, 有幸担任2023年秋季数理逻辑与图论课程助教. 我的邮箱: eastwind@mail.ustc.edu.cn, 对课程有问题欢迎来信.

课程内容介绍见2021年助教的评课.


一些可能有用的资源:

我的 (计科) 图论评课 内有计科图论教材的学习笔记和习题解答. 那门课的知识要求比我们数图的图论部分高很多, 所以里面很多东西其实不用看. 只不过同学们学到哪里有疑惑的时候可以试着去里面找找有没有相同知识点的讲解.

张助教做的课程资料库 本来计划里面用来放作业答案, 反馈以及习题课课件的. 不过根据刘斌老师的要求, 作业标答不应该发给学生, 以免流传下去后来的学生不做作业了. (老师每年布置的题目都完全相同. 从收作业的情况来看同学们确实经常直接抄祖传答案, 甚至错法都一模一样地抄下来了. )


其实离散数学的每个部分往后学下去都有很深的内容可以研究, 不过我们的课程并不作要求. 所以这门课认真学起来并不算很简单, 尤其是图论部分, 但是你会发现作业 (不知道考试如何) 确实容易.

刘斌老师讲课比较常规. 虽然可能让人觉得没什么吸引力, 但把需要的部分讲明白绝对是足够了. 有时还会结合网安的专业特性作一些简略的具体应用介绍.

关于助教工作: 学期初的时候本着不让大家有太大压力的想法, 我们制定的作业批改标准比较松: 思路对而仅仅是书写不严谨的地方尽量不扣分; non-trivial的部分错前两处起不扣分, 第三处起才每次扣0.1分 (一次作业满分4分, 按时交且完成就有3.5的保底分) . 考虑到每次作业的题目数量以及基础题占比, 这个数说实话很难达到. 不过希望大家在应对考试时不要以这种标准要求自己. 习题课方面, 或许由于我是第一次带助教经验不足, 第一次上课的效果并不好, 希望大家多多担待.

(最后修改于 8 0 复制链接
pine 2021秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

本人在2020年春季和秋季学期修读了计算机科学与技术学院开设的数理逻辑图论代数结构,有幸担任2021年秋季数理逻辑与图论课程助教。我的邮箱:zsh123456@mail.ustc.edu.cn,对课程有问题欢迎来信。

该课程主要为对数学和计算机科学有兴趣的学生入门离散数学原理,主要内容分为数理逻辑,图论以及小部分的代数结构。

课程主页

http://staff.ustc.edu.cn/~flowice/MLGT

课程内容

第一章主要讲述命题逻辑,一阶谓词逻辑,假言推理,逻辑的证明。

第二章主要涉及集合,集合的运算(差并补etc.),笛卡尔积,集合的单射双射满射,函数,反函数,组合与复合函数,序列,序列的求和等等。

第三四章主要讲计数原理(加法原理和乘法原理),容斥原理,抽屉原理,拉姆齐理论,排列与组合,递推关系。

第五章主要讲集合上的关系,关系的组合与合成,关系的运算与表示,关系的路径与闭包,沃舍尔算法,等价关系,偏序关系,代数结构格,字典排序,拓扑排序等等。

第六章主要涉及图的概念,二分图,图的匹配,图的着色,图的表示,图的同构,最短路径问题,欧拉回路,哈密顿圏。

第七章主要讲无圏简单图树,二叉树,二叉搜索树,决策与博弈树等等。

整体内容难度不大,由于课时的限制,数理逻辑未讨论等词逻辑,图论没有涉及欧拉回路哈密顿圏的深入证明,没有网络流理论,学习的难点和重点都在于图论部分。至于考试和给分,因为本人未直接修过所以尚且不知,从前几届学长来看期末后面的图论大题较难,给分未到期望值,10周之后再来续评。

7 0 复制链接
一脸懵逼 2020秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

坑死了啊,明明没有离散数学教程的大题,只有一道填空题。白看那本书了,还花了半个小时找答案。

3 0 复制链接
得了吧 2021秋
  • 课程难度:中等
  • 作业多少:很多
  • 给分好坏:杀手
  • 收获大小:一般
  • 难度:中等
  • 作业:很多
  • 给分:杀手
  • 收获:一般

上课拉胯,ppt照搬课本,维持到课率全靠提问点名,作业多,给分烂

2 0 复制链接
qrufnskand 2020秋
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:杀手
  • 收获大小:一般
  • 难度:困难
  • 作业:中等
  • 给分:杀手
  • 收获:一般

建议刷题。考试课本无关

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

总结:俺觉得还行.jpg

今年也不是没有考曲婉玲,只是考的不是压轴,而且那题本身比较隐晦。曲上有很多新概念,所以题目描述和我们学的不一样

上课很无聊,在图之前更无聊,图之后稍微需要听课。考试和课本关系不大,不如说还考了一些曲书上的概念,搞懂往年卷也行

给分,我大概感觉一分没调吧,呵呵

2 2 复制链接
Nullptr调分...我甚至怀疑是不是期末成绩就是总评T_T
ruby回复 @Nullptr: 那可能不至于,但是我感觉确实没调
立即登录,说说你的看法
咸鱼咸鱼 2019秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:杀手
  • 收获大小:没有
  • 难度:中等
  • 作业:中等
  • 给分:杀手
  • 收获:没有

上课念PPT加证明定理。

期末考试题目完全不能参考作业题,如果只按照作业题来复习要遭重。

强烈建议去图书馆找习题集,比如楼上说的屈婉玲,后来看了眼泪流下来。

这不是演习,这门课的给分杀手程度超乎你想象(如果你是凡人的话)

为了你的GPA,请多花足够多的时间和精力

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

课程本身不难,但感觉期末考试比较难,可能是因为平时作业不求甚解吧,作业每次会有相当数量的题,但大多是难度都不大。

还有一个特点就是,老师上课比较简单的提问,很少有人能答上来。我的最后成绩是84,感觉略坑。

但是不想深入学习数理逻辑以及图论这两门学科的人可以用这个来入门,老师比较呆萌,课程内容也挺丰富的。

2 0 复制链接
落雨无声 2022秋
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:超好
  • 收获大小:很多
  • 难度:困难
  • 作业:中等
  • 给分:超好
  • 收获:很多

终于考完了。 终于出分了,出分太慢了。 作为这学期为数不多认真听的课,收货还是挺多的,上课讲的东西挺简单,但考试出的题挺离谱的。 老师上课水平感觉还行,反正都按照那本书讲,同时第一次上课会全部点个名,做个自我介绍,之后可能会在课上随机抽人起来回答问题,但一般都是教材上有的东西。 考试很难,空了3个还是4个大题,太久了,记不到了,然后3.7。 时代变了!

1 0 复制链接
cxsunrise 2017秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

课程内容很简单 然而最后考卷简直地狱难度

老师人海星 上课会提问 不过基本也没人答出来吧

老师非常推崇数归 最后考卷应该有三道可以用数归做

给分也海星 应该调了一点

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

相比信息论B来说这门课还好一点

0 0 复制链接
0xD009 2023秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:超好
  • 收获大小:很多
  • 难度:中等
  • 作业:中等
  • 给分:超好
  • 收获:很多

时代确实变了,斌斌这门课绝对是有调分的

先简单列个提纲在这里

考核方式:每节课随机点名+作业+闭卷考试

课程内容:逻辑代数,集合论,计数原理,关系,图论

考试内容:考察内容还比较灵活,根据个人经验,前面小题里特别喜欢出那种a,b有什么性质,a复合b还有没有这种性质的判断,可以考前整理一下

 

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

老师今年给分变好了,感觉高分不少,反正我最后两道大题都没做,选做题也空着了,还是有4.3。复习感觉没有什么用,反正最后俩题做不出来(

(最后修改于 0 0 复制链接
匿名用户 2022秋
  • 课程难度:简单
  • 作业多少:中等
  • 给分好坏:超好
  • 收获大小:一般
  • 难度:简单
  • 作业:中等
  • 给分:超好
  • 收获:一般

给分很好(起码我是这样觉得的)当时考完(期末题目真的不少,难度还不小)还觉得要喜提2.7以下了,最后被狠狠地捞了。课程难度不大,没有前置课程,大一的完全也能学,会有课堂点名,不要缺课。但有点遗憾的是感觉并没有学到很多新东西(不过也是课时所限)

0 0 复制链接
账户已注销 2021秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:一般

40学时,涵盖数理逻辑、图论、组合三大块内容,讲的深度如何可想而知。不过课本的逻辑如此,也不能过于苛责。图论和组合容易出难题或易错题,建议多加练习。比较建议想快速巩固离散数学基础的同学来选修。

(最后修改于 0 0 复制链接
cabasky 2020秋
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:超好
  • 收获大小:很多
  • 难度:困难
  • 作业:中等
  • 给分:超好
  • 收获:很多

笑眯眯的都是怪物

记得上课出勤率要齐,老师每节课会提几个问题,然后点名几个同学来回答,问题不太难,但如果没到那就GG了。

刘老师会给你一种说话沉稳但是一直在微笑,不时带一点黑色幽默的那种让人看不透的感觉杀手本色。但是事实上还是挺好一老师。

考试难度不算太高,但是最后两道大题目要拿全满有点困难。根据老师自己说的改卷标准,如果只写正确答案没写过程,那会扣很多分;然后分点给分非常多,所以基本上题目的大方向找对,尽量达到一些关键点,并且详细清楚的话,过程量给的够多,虽然很难拿满但是也不会扣太多。

比如排列组合题,老师给分看的是你考虑了多少种分类,有算出某类对答案贡献的就给分

记得考试最后一题,有一个关键点不会证明,就写了“显然”上去,考后发现真的很显然所以好像给了很多分

信安的同学必选这门课不用想了,其他院也可以来试试

0 0 复制链接
中原逐兔 2020秋
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:困难
  • 作业:中等
  • 给分:一般
  • 收获:一般

老师讲课还不错,至少挺清楚的。

作业挺多的,而且习题课基本没啥用,平时碰到不会的都问室友,或者自己上网找答案。

考试很难,比作业难很多,最后三道大题都是图论,有一定的难度,想要考好就去刷屈婉玲吧,一般是能刷到原题的,而且部分证明思路是类似的,有套路的,上课基本没有涉及这方面,很难想象不刷题怎么拿高分,反正我是没刷到原题,我看的题最后都没考,枯了。

考前10天都在刷屈婉玲,本来对这门课期望挺高的,最后直接出总评,没到预期,也不知道卷面,也莫得查卷,也不知道错哪了,就,挺难受。

总结一下,就是平时基础打扎实,考前突击刷图论题就行了。

0 0 复制链接
哒宰哒宰 2020秋
  • 课程难度:简单
  • 作业多少:很多
  • 给分好坏:一般
  • 收获大小:一般
  • 难度:简单
  • 作业:很多
  • 给分:一般
  • 收获:一般

总结就是上课一般,作业简单,助教划水,考试爆炸难

没什么好说的,作业答案网上有,考试就去看qwl的书,能押中多少看天意吧orz

可能有一点调分,希望学弟学妹们没事(

0 0 复制链接
myf0503 2019秋
  • 课程难度:中等
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:很多
  • 难度:中等
  • 作业:中等
  • 给分:一般
  • 收获:很多

老师讲课水平还是很好的,就是考试比作业难太多,不过考试题大多数从屈婉玲那本书改编来的,复习看那本书上的题有奇效。最后接近满分还是很满意的。

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

上课简单,作业略多。 考试不难,就是因为当时考试太多了,没来得及好好复习。推荐刷一刷离散数学教程,每年卷子上图论的证明题里面有一道的样子(用数学归纳法的那道)。我期末一道半大题没做出来,应该扣了十分以上,总评96…

0 0 复制链接

刘斌

教师主页: 暂无

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

刘斌老师的其他课

信息论基础 6.7 (3) 2018秋 2017秋...
信息论B 6.8 (21) 2024春 2023春...
离散数学 2011秋