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


計算理論基礎

簡體網頁||繁體網頁
Martin Davis 作者
人民郵電齣版社
譯者
2009 出版日期
607 頁數
79.00元 價格
圖靈原版計算機科學係列 叢書系列
9787115196576 圖書編碼

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


喜歡 計算理論基礎 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

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

計算理論基礎 在線電子書 epub 下載 pdf 下載 mobi 下載 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.


計算理論基礎 在線電子書 著者簡介


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

計算理論基礎 在線電子書 圖書描述

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

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

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


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

計算理論基礎 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

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


分享鏈接





計算理論基礎 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有