欲练PLT神功，必先学好数学，而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录谓词逻辑相关内容

欲练PLT神功，必先学好数学，而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录最简单的命题逻辑相关内容

分布式系统中使用的时钟算法。

这个 LR(0) 分析涉及的东西爆炸多，理解起来也不太容易，希望本文可以把同学们讲懂。

本文讲述了自底而上的文法分析中最为常用的移进-归约分析分析法。

课上这个First集和Follow集出现地非常之突兀，好像突然就有这样一个东西了，本文试图讲解清楚First和Follow集究竟是什么，以及为什么我们需要它。

本文介绍了一种白痴都能懂的Parser构造方法：含回朔的递归自顶而下分析，如果你更喜欢函数式那套玩意的话，你可能会称之为“语法分析器组合子”。

2PC 协议是传统数据库实现分布式事务时一直使用的一种分布式控制协议。

这个定理告诉我们：没有真正完美的分布式系统。

本文讲解分布式系统的基本定义、作用和概念。