計算理論導引

計算理論導引 pdf epub mobi txt 電子書 下載2025

出版者:機械工業齣版社
作者:[美]Michael Sipser
出品人:
頁數:273
译者:張立昂
出版時間:2000-2
價格:30.00元
裝幀:平裝
isbn號碼:9787111075745
叢書系列:計算機科學叢書
圖書標籤:
  • 計算理論
  • 計算機
  • 計算機科學
  • 數學
  • 理論計算機
  • 計算理論導引
  • 計算復雜性
  • 教材
  • 計算理論
  • 形式語言
  • 自動機
  • 可計算性
  • 復雜性理論
  • 算法
  • 離散數學
  • 理論計算機科學
  • 圖靈機
  • 狀態機
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

本書由計算理論領域的知名權威Michael Sipser撰寫。他以獨特的視角,綜閤地描述瞭計算機科學理論,並以清新的筆觸、生動的語言給齣瞭寬泛的數學理論,而並非拘泥於某些低層次的技術細節。在證明之前,均有“證明思路”,幫助讀者理解數學形式下蘊涵的概念。同樣,對於算法描述,均以直觀的文字,而非僞代碼給齣,從而將注意力集中於算法本身,而不是某些模型。本書的內容包括三個部分:自動機與語言、可計算性理論和

著者簡介

圖書目錄

譯者序
前言
第1章
導引
1.1
自動機、可計算性與復雜性
1.1.1
計算復雜性理論
1.1.2
可計算性理論
1.1.3
自動機理論
1.2
數學概念和術語
1.2.1
集閤
1.2.2
序列和多元組
1.2.3
函數和關係
1.2.4
· · · · · · (收起)

讀後感

評分

評分

本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...

評分

事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。  

評分

評分

在所有我看过的计算理论、可计算性、计算复杂度的教材中,Sipser的这本Introduction to the Theory of Computation是最适合入门的。把计算理论这么个艰深的学问讲解得清晰简洁,直观易懂。而且涵盖了计算理论的各个经典内容。作为一本introduction,真是再好不过了。 计算理论...  

用戶評價

评分

理論計算機基礎 教材

评分

從周末書市很小農的買瞭這本書,從此開始喜歡上瞭計算理論……

评分

萬惡的理論計算機

评分

why I think so difficult?: )

评分

理論計算機基礎 教材

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

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有