鄙人虽然不是CS科班出身，但是投身信息产业，干得基本都是CS的活儿，一直对《离散数学》跃跃欲试，耿耿于怀。今日终于有幸蹭到了RUC的《离散数学》。离散数学是计算机科学的超级基础课，实际包含了几个数学分支，数理逻辑，集合论，代数系统，图论。每一个分支下去都是万丈深渊。
今天的课程只包含数理逻辑部分，这块也分两个部分，即命题逻辑和谓词逻辑。单从命题逻辑来讲，对于写文章而言非常有用，尤其是写逻辑性强的论证文章或者学术论文非常有帮助。而且借助逻辑推理为背后驱动力的二进制代数计算，能够解答很多看上去十分烧脑的问题，当然解答过程也很烧脑，但是这复杂模式的背后是非常简单的布尔代数计算。
以后要用大的篇幅好好探讨一下命题逻辑和谓词逻辑，因为这些烧脑玩意儿不仅对计算机科学产生深远影响，也是很好的大脑训练游戏。
