计算理论基础读书介绍

计算理论,计算机科学,数学,计算机,理论计算机科学,基础理论,语言,理论,

Martin Davis      ISBN:9787115196576    原作名/别名:《》

计算理论基础摘要

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....

作者简介

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.

未发行或暂未收录

计算理论基础 计算理论,计算机科学,数学,计算机,理论计算机科学,基础理论,语言,理论,　2020-02-20 …

算法设计与分析基础 算法,计算机,数据结构与算法,计算机科学,编程,算法及数据结构,algorithms,数据结构,　2020-02-20 …

算法设计与分析基础 算法,algorithm,CS,计算机技术,编程,算法设计与分析基础,算法与数据结构,程序设计,　2020-02-20 …

算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索 算法,algorithm,编程,数据结构与算法,programming,计算机,C++,程序设计,　2020-02-20 …

计算机系统基础 计算机系统,计算机,计算机科学,体系结构,基础,入门,南京大学,软件工程,　2020-02-20 …

C++程序设计(原理与实践基础篇原书第2版)/计算机科学丛书 C++,计算机,计算机科学,程序设计,C/C++,编程,*C++,-美国,　2020-02-20 …

逻辑与计算机设计基础 数字电路,FPGA逻辑,基础,CS,CG,　2020-02-20 …

自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书 NLP,语言学,自然语言处理,计算机,机器学习,知识-专业,思维,形式句法,　2020-02-20 …

算法详解（卷1）——算法基础 算法,Algorithms,计算机,数据结构与算法,计算机科学,科普,程序,数据分析,　2020-02-20 …

化学基础论 化学,科普,科学,自然科学,哲学,经典,科技,　2020-02-20 …

计算理论基础大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。