OK! 45 posts in total. Keep on posting.

Partial Order - 偏序关系

09-19

Order Theory - 序理论介绍

09-12

Operational Transformation - 自动解决冲突算法

08-29

John Watrous 《Introduction to the Theory of Computing》20 -- NP、多项式时间的映射约化和NP-完全性

07-18

John Watrous 《Introduction to the Theory of Computing》19 -- 时间界限计算

06-22

John Watrous 《Introduction to the Theory of Computing》18 -- 可计算性的进一步讨论

05-28

John Watrous 《Introduction to the Theory of Computing》17 -- 更多不可判定语言&约化

05-22

John Watrous 《Introduction to the Theory of Computing》16 -- 通用图灵机和不可判定语言

05-05

John Watrous 《Introduction to the Theory of Computing》15 -- 编码、可判定语言举例

04-10

John Watrous 《Introduction to the Theory of Computing》14 -- 堆栈机

02-07