計(jì)算理論基礎(chǔ)

本書(shū)是理論計(jì)算機(jī)科學(xué)領(lǐng)域的名作，是計(jì)算機(jī)科學(xué)核心主題的導(dǎo)論性教材。全書(shū)分為可計(jì)算性、文法與自動(dòng)機(jī)、邏輯學(xué)、復(fù)雜性及語(yǔ)義學(xué)5個(gè)部分，分別講述了可計(jì)算性理論、形式語(yǔ)言、邏輯學(xué)與自動(dòng)演繹、可計(jì)算復(fù)雜性（包括NP完全問(wèn)題）和編程語(yǔ)言的語(yǔ)義等主題，并展示了它們之間如何相互關(guān)聯(lián)。.

本書(shū)是計(jì)算機(jī)及相關(guān)專業(yè)高年級(jí)本科生和研究生的理想教學(xué)參考書(shū)，對(duì)于計(jì)算機(jī)領(lǐng)域的專業(yè)人士也是很好的技術(shù)參考書(shū)。

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.