可计算性与计算复杂性导引

我几乎不能想象这书如果没有老师讲，要怎么看。可计算性理论和计算复杂性理论总的来说都不是很难，但是都不是那种适合写在书里的，如果有老师讲很快就能学会，如果没有老师讲，光看符号很讨厌了。因为各种计算模型尤其是图灵机都是有很强的直观的，书一般是没办法把这种直观写出来的。最后就是计算复杂性部分，其实是有一些GAP的。就是定义计算复杂性是用图灵机定义的，但是证明中都不是用图灵机证明的，这个GAP好像一直都有。而且这个计算复杂性和算法里的计算复杂性概念不是完全一致。

讲法与一般的计算理论教材（Sipser、Hopcroft）由弱到强的顺序相反，可作参考。同时也继承了这套书只适合作课堂讲义或参考，自学几乎不可读的特性。

数院理论计算机教材，凑合着用吧。中文数学教材的通病：写书以省字为要，证明细节繁冗符号奇怪，动机和直观讲的比较少，语言乏味。