数学.计算.逻辑
Douban
ISBN: 9787535515803
autor:
陆汝钤
data de publicação: 1993
-4
séries: 走向数学丛书
preço: 8.9
número de páginas: 132
陆汝钤
visão geral
本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。