数学.计算.逻辑 豆 0.0分

资源最后更新于 2020-08-19 15:53:37

作者：陆汝钤

出版社：湖南教育出版社

出版日期：1993-01

ISBN：9787535515803

文件格式： pdf

标签： 计算机科学 数学 逻辑 数理逻辑 计算机 科普 陆汝钤 语义

简介· · · · · ·

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