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

本版（第三版）是在2004年第二版的基础上，作者经过6年多的讲学听取学生的意见、要求进行了修订，新增了习题解答；同时对第二版中存在的错误作了纠正；而且在内容上作了部分调整。本教材是一本较为成熟的教材，本书第二版被评为教育部科学技术二等奖，也是北京市高等教育精品教材。