解释一下点评结果课程难度十分困难，这一点源自课本的选取。以下书评来自知乎：满纸荒唐言，一把辛酸泪。——学渣视角我曾经去数学分馆把书后的参考文献一本一本借来看（借书证上大多写有作者汪芳庭在80年代的借阅记录），发现参考文献里定义的系统都没有汪老师这本书里的简单，我猜测汪老师看这些文献都弱爆了，一鼓作气 >>更多

陈教授是真大牛，讲课挺好的，每节课都非常认真在听，大佬们都点评了，就不多说了上课期间插入了太多其他话题了，每周必有一节课在讲：我们实验室几乎每年都拿机器人比赛冠军我一个学生怎么怎么样，事实证明科大学生不比其他学校差应试教育没意思，只会做题，不会思考（老师还是太过理想了，大牛不能理解渣渣的世界）讲了太 >>更多

陈小平的《数理逻辑》课程虽然很难，但确实是不可多得的好课。据不完全统计，国内其他几个 C9 学校都没有深度相当的数理逻辑课程。学习数理逻辑，可以掌握形式化思维，学会把一个自然语言描述的命题用数学的方式精确地刻画出来，知道如何用形式化的推理规则概括我们日常的推理模式。通过对命题逻辑、一阶逻辑的比较，还 >>更多

数院业余TCS爱好者2020春选的此课，因为疫情原因是在线读PPT，所以没怎么去听过课。很可惜数理逻辑这门数学基础课科大数院却开不出来，可能科大并不像清华，复旦那样有做数理逻辑的老师，再加上科大也没有哲学系。教材用的是汪芳庭老师的数理逻辑，课本精炼简洁，用来自学非常不错。大概说一下这门课讲了些什么吧 >>更多

难归难，陈小平老师的讲课对思维还是很有启发的。他上课的风格很不一样，不像其他老师侧着课本知识点，一些他认为大家能看自学看懂的知识，就不会在课上过多强调，而是在课上去描绘他的思考。 刚考完，思考题太难了，最后花了几分钟抄了一遍试卷，这里献上。数理逻辑期末考试汇总.pdf(内含2017,2018,202 >>更多

比较失望的一门课程。感觉有意思的东西应该都在最后一章，然而因为课时的原因后面匆匆略过了。助教工作比较认真，但对课程的理解似乎也只停留在做题考试上面，最后有个作业题我们没看懂答案在群里请教，得到的答复竟然是考试不会考。。。不过助教平常的工作比较认真，习题课也确实在为同学们的考试成绩着想。平时不点名，到 >>更多

万恶的离散数学已经来到了它的最终章！老师上课基本就是念书，偶尔穿插一些听不懂的有关AI推理方面的应用，总的来说，这门课可以自学（暗指老师上课催眠 。平时作业很简单，也不是很多；期末考试不难，开卷(第三声)，但是跟作业题风格不完全一样，建议考前自行去GitHub上搜索USTC-CS有关资源。说说今年期 >>更多

陈老师是个有点哲学的老师。经常讲一些让我觉得很哲学的东西。习惯数学形式课本的思想江化的我一开始其实不是很适应。。。感觉看书比听课还好理解。不过老师的符号和书上用的不一样，必须切换。。。到后面课程会省略书上的很多内容，其实没上的部分有的还挺有意思的，时间多的可以看下。但是这门课还是挺值得一听的。把我们 >>更多

或许是因为今年上网课老师没有发挥出自己的水平吧，有些低于我的预期。先来说说这门课，相比于其他两门离散数学（袋鼠结构和图论），这门课的脉络还是比较清楚的，从命题逻辑到一阶逻辑到形式算数，最终证明哥德尔不完备定理。个人感觉形式逻辑、命题演算的一些思想和方法确实也是挺新鲜的，学完之后就会感觉那些 “甲乙丙 >>更多

这门课的评价两极分化比较严重。有人觉得老师上一节课扯半节课的淡是很不负责的行为，而且扯的东西主要是给自己的实验室做宣传，同时装一波B。有的事情会在不同的时间讲好几次。课上很多时间都在讲数学史，睡了一觉仍然能跟上进度，一些主要内容讲的比较快，而且一些重要内容的证明让我们自修。还有人觉得老师上课讲的很多 >>更多