logo
分类于: 职场办公 其它

简介

计算理论基础

计算理论基础 9.1分

资源最后更新于 2020-08-23 08:22:30

作者:Martin Davis

出版社:人民邮电出版社

出版日期:2009-01

ISBN:9787115196576

文件格式: pdf

标签: 计算理论 计算机科学 数学 计算机 理论计算机科学 基础理论 语言 理论

简介· · · · · ·

本书是理论计算机科学领域的名作,是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分,分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性(包括NP完全问题)和编程语言的语义等主题,并展示了它们之间如何相互关联。.

本书是计算机及相关专业高年级本科生和研究生的理想教学参考书,对于计算机领域的专业人士也是很好的技术参考书。

想要: 点击会收藏到你的 我的收藏,可以在这里查看

已收: 表示已经收藏

Tips: 注册一个用户 可以通过用户中心得到电子书更新的通知哦

目录