上完了离散数学的最后一课，想了想，还是要写这么一篇半导论，半总结式的锐评文章。

正文

课程介绍

首先，这门课算是融合了数学中集合论，代数基础，抽象代数，图论，组合，数理逻辑等学科的大杂烩，而每个部分的介绍相当浅尝辄止（（

叠甲：鉴于有时我没去听课，有的章节是云的课本~~所以你可以觉得本文“全是”刻板印象，不要打我QAQ~~

你将要迎来的是：

集合论：但是不讲公理体系

一些代数基础：关系，函数，笛卡尔积… 常出现在专业代数教科书的基础知识环节（其实要说的话集合论也可以放在这里，但是毕竟人家单独有个称谓和学科就单独写了）

抽象代数：但是连群都只停在了同构基本定理和拉格朗日定理，环和域更是只能算提到了，可以说是科普级别的，主要意义就是引出计算机中有用的格和布尔代数

图论：~~不如小蓝本（暴论）, 不过优点是用标准的数学语言叙述的，这点有优势~~，大致导论式的介绍了这个方向，节奏明快

组合:依旧是导论，最深刻的理论是生成函数^^

数理逻辑: 常规数理逻辑基础，该会的会了就好

笔者的基础

在本书涉及的内容中，或许集合论以及代数部分我事先还是比较熟悉的（至少包含书本内容的闭包（（）

所以前半学期很水

图论约等于0基础，算是让我初识这个领域？感觉蛮有趣的，不过我对算法总是不那么关心，更喜欢一些定理，特别是关于hamilton图的部分（（，或许这也说明了我对一些应数的东西相当无感。感触是好像确实缺少一些系统性的工具。

组合的话，由于北京高考神力，也觉得没什么新鲜的。

数理逻辑确实没系统学过，本学期和人工智能导论重叠地学了这个部分，大部分相当基础，但对于其中的形式化证明（主要是因为ai4math）…有一些兴趣（暑假或许会试试lean（不知道有没有入营呢）

如果再给我一次重新开始的机会，我会怎么建议自己学习这门课？

well，其实大概率没什么变化，前半学期依旧是划水，学自己想学的就好了（事实上也确实在推进代数，虽然后面因为准备转专业考试停下了），因为前半学期的老师总是要照顾数学基础不那么好的同学，所以进度相当缓慢，不过为了不那么枯燥夹杂了很多数学系笑话（，对我而言或许最有收获的是这些笑话吧（bushi）

不过后半学期图论组合的部分其实可以多看几本参考书，毕竟教材比较逆天（有的概念和主流不同，还被我抓到了错误的习题（（）（叠甲：但其实也没有过于逆天，我这不是也学下来了嘛！但我还是要说，能学会ppt的功劳比较大，书本的内容太少了，叙述的观点也比较乏味）。我是没有多花心思，直接挂机跟着老师走的，算是完成了基础版，但我觉得把听证明的时间拿来自己看书（或者干脆不来上课，自学有问题答疑~~但我大抵做不到这么自律~~），效率会高的多（

ps:问题来了，那我把这些时间拿来干嘛了呢？答案是搭建博客（（

不过说实话，确实太潦草了，一个学期塞这么多领域，确实很让人头疼，何况cs的学生们还要学高程，没时间看参考书也是很合理的!(嗯嗯~)

结语

最后致谢一下老师们~~我觉得ppt教案的质量还是不错的，总体来说不错地完成了对各个领域引导入门的效果，cs的学生应该好好学（虽然不会全用到，但是想深入的时候不至于完全不知道这个领域的语言，工具箱和思想。