本书目的是介绍渗透在计算机科学中的这些基本思想、模型和结果,他们都是该领域的基本范例,他们有很多理由是值得学习的