小池有话说
可计算性.草
2015-01-28
我准备讲一下 可计算性 图灵机 lambda演算和Y算子.