数学.计算.逻辑

出版时间：1993-4  出版社：湖南教育出版社  作者：陆汝钤  
Tag标签：无  

内容概要

本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。