找回密碼
 To register

QQ登錄

只需一步,快速開(kāi)始

掃一掃,訪問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Computability; A Mathematical Sketc Douglas S. Bridges Textbook 1994 Springer Science+Business Media New York 1994 complexity.computability

[復(fù)制鏈接]
查看: 43826|回復(fù): 43
樓主
發(fā)表于 2025-3-21 18:29:16 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱Computability
副標(biāo)題A Mathematical Sketc
編輯Douglas S. Bridges
視頻videohttp://file.papertrans.cn/233/232023/232023.mp4
叢書(shū)名稱Graduate Texts in Mathematics
圖書(shū)封面Titlebook: Computability; A Mathematical Sketc Douglas S. Bridges Textbook 1994 Springer Science+Business Media New York 1994 complexity.computability
描述Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, .Computability: A. .Mathematical Sketchbook. provides a brief but rigorous introduction to the abstract theory of computation, sometimes also referred to as recursion theory. It develops major themes in computability theory, such as Rice‘s theorem and the recursion theorem, and provides a systematic account of Blum‘s complexity theory as well as an introduction to the theory of computable real numbers and functions. The book is intended as a university text, but it may also be used for self-study; appropriate exercises and solutions are included.
出版日期Textbook 1994
關(guān)鍵詞complexity; computability; function; recursion; theorem
版次1
doihttps://doi.org/10.1007/978-1-4612-0863-1
isbn_softcover978-1-4612-6925-0
isbn_ebook978-1-4612-0863-1Series ISSN 0072-5285 Series E-ISSN 2197-5612
issn_series 0072-5285
copyrightSpringer Science+Business Media New York 1994
The information of publication is updating

書(shū)目名稱Computability影響因子(影響力)




書(shū)目名稱Computability影響因子(影響力)學(xué)科排名




書(shū)目名稱Computability網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱Computability網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱Computability被引頻次




書(shū)目名稱Computability被引頻次學(xué)科排名




書(shū)目名稱Computability年度引用




書(shū)目名稱Computability年度引用學(xué)科排名




書(shū)目名稱Computability讀者反饋




書(shū)目名稱Computability讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

0票 0.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

1票 100.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:05:46 | 只看該作者
,Rice’s Theorem and the Recursion Theorem,eory. The first of these, Rice’s Theorem, characterises a large class of nonrecursive subsets of .; the second, the Recursion Theorem, has many applications, some of which appear at the end of this chapter, and some, in perhaps unexpected contexts, in later chapters.
板凳
發(fā)表于 2025-3-22 01:39:09 | 只看該作者
地板
發(fā)表于 2025-3-22 04:52:52 | 只看該作者
5#
發(fā)表于 2025-3-22 09:58:46 | 只看該作者
6#
發(fā)表于 2025-3-22 13:10:05 | 只看該作者
Abstract Complexity Theory,and brevity, they enable us to prove a remarkable range of theorems about complexity in the most general context. These theorems hold independently of their interpretation in any model of computation, such as the Turing machine model; our abstract theory of complexity is ..
7#
發(fā)表于 2025-3-22 18:51:27 | 只看該作者
8#
發(fā)表于 2025-3-22 21:22:44 | 只看該作者
9#
發(fā)表于 2025-3-23 03:49:19 | 只看該作者
https://doi.org/10.1007/978-3-031-06377-0and brevity, they enable us to prove a remarkable range of theorems about complexity in the most general context. These theorems hold independently of their interpretation in any model of computation, such as the Turing machine model; our abstract theory of complexity is ..
10#
發(fā)表于 2025-3-23 06:49:50 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-31 15:06
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
清镇市| 呼和浩特市| 漳浦县| 勐海县| 峡江县| 余干县| 彩票| 修武县| 大渡口区| 庐江县| 呼玛县| 正宁县| 广安市| 修水县| 鄂托克旗| 凤庆县| 博罗县| 宁陵县| 左云县| 郑州市| 太谷县| 惠来县| 鸡东县| 溆浦县| 武乡县| 景洪市| 青浦区| 平顺县| 桃园市| 唐山市| 奉化市| 澄城县| 绍兴县| 阜平县| 富裕县| 闸北区| 女性| 二手房| 和顺县| 视频| 哈巴河县|