图书目录大全

计算理论基础在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

☆☆☆☆☆
简体网页||繁体网页

Martin Davis 作者

人民邮电出版社

译者

2009 出版日期

607 页数

79.00元价格

图灵原版计算机科学系列丛书系列

9787115196576 图书编码

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

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

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-31

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

计算理论基础在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

计算理论基础在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024

计算理论基础在线电子书用户评价

评分☆☆☆☆☆

优秀的教材，必要的修养

评分☆☆☆☆☆

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

评分☆☆☆☆☆

优秀的教材，必要的修养

评分☆☆☆☆☆

优秀的教材，必要的修养

评分☆☆☆☆☆

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

计算理论基础在线电子书著者简介

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.