內容介紹
PrefaceMy inte作品目錄
PrefacePrelimi
Prelimi
相關詞條
-
可計算性理論
可計算性理論（Computability theory）作為計算理論的一個分支，研究在不同的計算模型下哪些算法問題能夠被解決。相對應的，計算理論的另一塊...
簡介 計算模型 有關術語 相關函式 套用領域 -
可計算性與數理邏輯
全書主要論述了可計算性理論、基礎元邏輯及一些高級專題。 本書適合數學、計算機科學、哲學等專業的學生使用。 對於在人工智慧、哲學、計算理論、離散結構、數理...
內容介紹 作品目錄 -
可計算性和計算複雜性
內容簡介本書深入淺出地介紹了研究可計算性的四個主要模型以及四個模型彼此之間的關係：介紹了計算複雜性的基本概念和重要的研究方法與一些研究成果。內容涉及遞歸函式、圖靈機、λ演算、馬爾可夫算法、計算複雜度的分類、NP完全...
內容介紹 -
可計算性與計算複雜性導引
1.1 1.2 1.3
圖書信息 內容簡介 圖書目錄 -
可計算論
可計算論，是一個數理邏輯分支，起源於可計算函式和圖靈度的研究，其領域增長為包括一般性的可計算性和可定義性的研究。在這些領域中，這門理論同證明論和能行描述...
簡介 概述：計算的概念 歷史 -
可計算一般均衡
可計算一般均衡，包括三個顯著特徵：一般的、均衡的、可計算的。
-
計算理論基礎可計算性複雜性和語言
《計算理論基礎可計算性複雜性和語言》，是MaritinD.Davis、ElaineJ.Weyuker 編著，人民郵電出版社於2009年出版的書籍。
版權資訊 內容簡介 作者簡介 編輯推薦 目錄 -
基於可計算一般均衡模型的決策支持系統
《基於可計算一般均衡模型的決策支持系統》，對CGE模型的DSS有關問題進行了探討，包括CGE模型的輔助理解、問題庫與人機互動效率、CGE模型的新算法等，...
內容 目錄
