计算机理论基础,讲的很清楚,证明很详细。
2019-12-21 20:14:15 17MB 数理逻辑课件
1
哈工大任世军老师的课件 写得非常好,里面对于PC、ND的部分写得尤其详细~
2019-12-21 19:21:29 586KB 哈工大 数理逻辑 课件
1