计算理论基础 2024 pdf epub mobi 电子书


计算理论基础

简体网页||繁体网页

计算理论基础 2024 pdf epub mobi 电子书 著者简介

Martin Davis, (born 1928, New York City) is an Jewish-American mathematician, known for his work on Hilbert's tenth problem (Jackson 2008, p. 560). He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church (Jackson 2008, p. 560). He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J. Weyuker, of Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, a textbook on the theory of computability. He is also known for his model of Post-Turing machines.


计算理论基础 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-22

计算理论基础 2024 pdf epub mobi 电子书

计算理论基础 2024 pdf epub mobi 电子书

计算理论基础 2024 pdf epub mobi 电子书



喜欢 计算理论基础 电子书 的读者还喜欢


计算理论基础 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:人民邮电出版社
作者:Martin Davis
出品人:
页数:607
译者:
出版时间:2009
价格:79.00元
装帧:
isbn号码:9787115196576
丛书系列:图灵原版计算机科学系列

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


计算理论基础 2024 pdf epub mobi 电子书 图书描述

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

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

计算理论基础 2024 pdf epub mobi 电子书

计算理论基础 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

计算理论基础 2024 pdf epub mobi 用户评价

评分

非常不错的计算理论教材

评分

优秀的教材,必要的修养

评分

优秀的教材,必要的修养

评分

优秀的教材,必要的修养

评分

虽然是英文,但是读起来不费劲,也是经典著作。

计算理论基础 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有