《可計算性》是1997年世界圖書出版公司出版的圖書，作者是Douglas S.Bridges。
基本介紹
- 作者：Douglas S.Bridges
- 原版名稱：Computability A Mathematical Sketchbook
- ISBN：9787506233095
- 頁數：178
- 定價：42.0
- 出版社：世界圖書出版公司
- 出版時間：1997-09-01
內容介紹,作品目錄,
內容介紹
Preface My inte
作品目錄
Preface
Prelimi
Prelimi
可計算性
相關詞條
- 可計算性理論
可計算性理論(Computability theory)作為計算理論的一個分支,研究在不同的計算模型下哪些算法問題能夠被解決。相對應的,計算理論的另一塊主要內容,計算複雜性理論考慮...
- 可計算性
《可計算性》是1997年世界圖書出版公司出版的圖書,作者是Douglas S.Bridges。... 《可計算性》是1997年世界圖書出版公司出版的圖書,作者是Douglas S.Bridges。...
- 可計算性和計算複雜性
《可計算性和計算複雜性》是國防工業出版社2006年出版的圖書,作者是朱一清。... 《可計算性和計算複雜性》是國防工業出版社2006年出版的圖書,作者是朱一清。...
- 函式能行可計算性
函式能行可計算性(effective computability ofthe function)遞歸論術語.函式的能行可計算性 通常包含兩種含義,一種是指在某種精確化基礎上所定義的精確概念,如圖靈...
- 可計算性與計算複雜性導引
《可計算性與計算複雜性導引》是2011年9月1日北京大學出版社出版的圖書。... 《可計算性與計算複雜性導引》是2011年9月1日北京大學出版社出版的圖書。...
- 相對可計算性
相對可計算性(relative computability)可計算性概念的推廣.若在給定一個集合A的信息後,就可能行地計算一個部分函式f或集合B的特徵函式,則稱f或B是相對於A可計算...
- 多項式界可計算性
多項式界可計算性(polynomially boundedcomputability)計算複雜性的一種量度.設M為任何一個(確定或非確定型的)算法.}M為M的一個複雜性函式,若存在一個多項式p,使...
- 語言的可計算性與可量化研究
《語言的可計算性與可量化研究》是2015年北京大學出版社出版的圖書,作者是韓禮德。... 《語言的可計算性與可量化研究》是2015年北京大學出版社出版的圖書,作者是...
- 計算理論基礎:可計算性、複雜性和語言
《計算理論基礎:可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。... 《計算理論基礎:可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。...
- 計算理論導引(原書第3版)
本書由計算理論領域的知名權威MichaelSipser所撰寫。他以獨特的視角,系統地介紹了計算理論的三個主要內容:自動機與語言、可計算性理論和計算複雜性理論。作者以清新...
- 可計算非線性動態投入產出模型
《可計算非線性動態投入產出模型》是2000年11月1日由清華大學出版社出版的圖書,作者是張金水。...
- 艾倫·麥席森·圖靈
1937年,圖靈發表的另一篇文章“可計算性與λ可定義性”則拓廣了丘奇(Church)提出的“丘奇論點”,形成“丘奇-圖靈論點”,對計算理論的嚴格化,對計算機科學的...
- 可擴展並行處理
並行處理(Parallel Processing)是計算機系統中能同時執行兩個或多個處理機的一種計算方法。可擴展並行處理是指並行計算性能隨著問題規模和並行處理系統規模的增加而提升...
