大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 数学?计算?逻辑 [电子资源]
名称 数学?计算?逻辑 [电子资源]
索引号
分类号
(| 08 环境公报)
作者
出版社 , 1993
ISBN 7535515800
页数 135页
价格
标签 计算机科学、数学、逻辑、科普、计算机、数理逻辑、陆汝钤、语义、
简介
注解 英文题名:Mathematics?computation?logic:国家自然科学基金委员会数学天元基金资助
书籍简介

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