《可計算性》是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)遞歸論術語.函式的能行可計算性 通常包含兩種含義,一種是指在某種精確化基礎上所定義的精確概念,如圖靈...
- 可計算論
可計算論,是一個數理邏輯分支,起源於可計算函式和圖靈度的研究,其領域增長為包括一般性的可計算性和可定義性的研究。在這些領域中,這門理論同證明論和能行描述...
- 相對可計算性
相對可計算性(relative computability)可計算性概念的推廣.若在給定一個集合A的信息後,就可能行地計算一個部分函式f或集合B的特徵函式,則稱f或B是相對於A可計算...
- 多項式界可計算性
多項式界可計算性(polynomially boundedcomputability)計算複雜性的一種量度.設M為任何一個(確定或非確定型的)算法.}M為M的一個複雜性函式,若存在一個多項式p,使...
- 可計算性與計算複雜性導引
《可計算性與計算複雜性導引》是2011年9月1日北京大學出版社出版的圖書。... 《可計算性與計算複雜性導引》是2011年9月1日北京大學出版社出版的圖書。
- 計算理論基礎:可計算性、複雜性和語言
《計算理論基礎:可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。... 《計算理論基礎:可計算性、複雜性和語言》是2009年人民郵電出版社出版的圖書。
- 語言的可計算性與可量化研究
《語言的可計算性與可量化研究》是2015年北京大學出版社出版的圖書,作者是韓禮德。... 《語言的可計算性與可量化研究》是2015年北京大學出版社出版的圖書,作者是...
- 計算理論
研究計算的過程與功效的數學理論 計算理論 【theory of computation】 用來研究計算的過程與功效的數學理論。1936年,數理邏輯專家便提出了計算模型的問題,藉以解決每個...
- 計算理論導引
本書系統地介紹了計算理論的三個主要內容:自動機與語言、可計算性和計算複雜性。絕大部分內容是基本的,同時對可計算性和計算複雜性理論中的某些高級內容作了重點...
- 計算理論基礎
《計算理論基礎》是2013年1月1日清華大學出版社出版的圖書,作者是(美)辛格(Arindama Singh),譯者是曹愛文、葉鵬、李少帥。書名 計算理論基礎 作者 (美)辛格(Ar...
- 計算理論導引(第2版)
《計算理論導引(第2版)》是2006年機械工業出版社出版的圖書,作者是(美)西普塞。本書是計算理論領域的經典著作,講述了自動機與語言、可計算性理論和計算複雜性...
- 計算複雜性導論
《計算複雜性導論》是2002年高等教育出版社出版的圖書,作者是堵丁柱、葛可一、王傑。本書對計算機科學中這一重要理論做了全面的介紹。其內容包含基本理論,如計算...
- 計算理論導引(原書第3版)
本書由計算理論領域的知名權威MichaelSipser所撰寫。他以獨特的視角,系統地介紹了計算理論的三個主要內容:自動機與語言、可計算性理論和計算複雜性理論。作者以清新...
- 圖靈完備性
在可計算性理論里,如果一系列運算元據的規則(如指令集、程式語言、細胞自動機)可以用來模擬單帶圖靈機,那么它是圖靈完備的。這個詞源於引入圖靈機概念的數學家艾倫...
- 算數階層
算術階層是遞歸論或可計算性理論中的概念,將自然數的子集按照定義它們的公式的複雜度分類。...
- 複雜性理論(理論)
複雜性理論(complexity theory)是理論計算機科學和數學的一個分支,它致力於將可計算問題根據它們本身的複雜性分類,以及將這些類別聯繫起來。一個可計算問題被認為是一...
