tag: 计划 [ 叫兽的博客 ]

计划

100 天阅读计划，深入剖析程序和计算机 - 抽象解释 & 静态语义 2019-01-17

100 天阅读计划，深入剖析程序和计算机 - 不可能的程序 2019-01-14

100 天阅读计划，深入剖析程序和计算机 - 计算的通用性 2019-01-11

100 天阅读计划，深入剖析程序和计算机 - lambda 演算 2019-01-05

100 天阅读计划，深入剖析程序和计算机 - 图灵机 2019-01-02

100 天阅读计划，深入剖析程序和计算机 - 增加计算能力 2018-12-30

100 天阅读计划，深入剖析程序和计算机 - 非确定性有限自动机（NFA） 2018-12-27

100 天阅读计划，深入剖析程序和计算机 - 确定性有限自动机（Deterministic Finite Automaton，DFA） 2018-12-24

100 天阅读计划，计算机的本质：深入剖析程序和计算机 - 程序的含义 2018-12-20

100 天阅读计划，第一期 2018-12-19