計算理論基礎 pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Martin Davis

人民郵電齣版社

2009

607

79.00元

圖靈原版計算機科學係列

9787115196576

圖書標籤: 計算理論計算機科學數學計算機理論計算機科學基礎理論語言理論

喜歡計算理論基礎的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-05-20

計算理論基礎 epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

計算理論基礎 pdf epub mobi txt 電子書下載 2024

圖書描述

本書是理論計算機科學領域的名作，是計算機科學核心主題的導論性教材。全書分為可計算性、文法與自動機、邏輯學、復雜性及語義學5個部分，分彆講述瞭可計算性理論、形式語言、邏輯學與自動演繹、可計算復雜性（包括NP完全問題）和編程語言的語義等主題，並展示瞭它們之間如何相互關聯。.

本書是計算機及相關專業高年級本科生和研究生的理想教學參考書，對於計算機領域的專業人士也是很好的技術參考書。

計算理論基礎下載 mobi epub pdf txt 電子書

著者簡介

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.