叫兽的博客
  • 首页
  • 归档
  • 标签
  • 搜索
  • 关于
  • 订阅

计划

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
12〉
首页 | 主站 | GitHub | Powered by hexo | Theme xoxo