数理逻辑 (2) 谓词逻辑
Abstract. 从语义的角度来看谓词逻辑，对应书上的第四、第五章。因为听说 thu 没学 6789 章，猜测可能是难度比较大，故在这里断章。
数理逻辑 (1) 命题逻辑
Abstract. 命题逻辑相关的内容，跳过了众所周知的内容，写一些以前没见过的。
第一节主要从语义角度讨论命题逻辑的等值和推理，第二节从语法角度讨论命题逻辑的公理系统，以完备性（和可靠性，但是这里没写）作为连接两者的桥梁。在开头简单阐释一下语义和语法的概念：语义意义下任何等值的变换都可以接受，语法意义下只有变换规则给出的变换可以接受。
参考资料是 thu 的数理逻辑与集合论教材。
Information and Entropy (7) Processes
Abstract. 在上一节的基础上继续讨论一些通信过程的性质。
Information and Entropy (6) Communication
Abstract. 本节考虑下图所示的通信模型，对 source 和 channel 部分进行建模，并给出几个与 source 的特性和 channel 的承载率相关的定理（Kraft Inequality，Gibbs Inequality，Source Coding Theorem，Noise Channel Theorem）。
Agda 定义中带 with 的函数的归纳：with inspect 和 ⊥ 的使用
Abstract. 写 Agda 大作业的时候遇到的傻逼问题，解决过程中用到了一些深刻的东西。感觉搞清楚之后对 Pattern Matching 的理解提高了一些。
Revision | 高等数学 A I（期末）
Abstract. 高等数学复习笔记，参考资料是李忠, 周建莹. 高等数学（上）。
Infomation and Entropy (4 ~ 5) Errors & Probablities
Abstract. 两章好像都没有什么深刻的内容，所以写一起。摘录一些有价值的内容。
Chapter 4. Error 讲了 error detection and correction。其中一个重点是 Hamming 码，一种很妙的朴素编码，可以纠正一位的错误。
Chapter 5. Probability 讲了一些基础的概率。