计算理论基础:可计算性、复杂性和语言

本书是严格的、可读性很强的计算机科学理论中核心主题的介绍性教材,书中涵盖的主题包括可计算性理论、形式...

2009.02