陆汝钤
Book 11 of 走向数学丛书·湖南教育出版社
Language: Chinese
Douban ISBN
数学 数理逻辑 科普 计算机 逻辑
Publisher: 湖南教育出版社
Published: Apr 14, 1993
本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。
Description:
本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。