論可計算數 pdf epub mobi txt 電子書 下載 2025
☆☆☆☆☆
簡體網頁||
繁體網頁
[美] 剋裏斯•伯恩哈特
中信齣版集團
雪曼
2016-9
0
0
9787508666105
圖書標籤:
數學
計算機
計算理論
科普
圖靈
計算機科學
人工智能
編程
喜歡 論可計算數 的讀者還喜歡
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
发表于2025-01-10
論可計算數 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
論可計算數 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
論可計算數 pdf epub mobi txt 電子書 下載 2025
圖書描述
1936年,24歲的圖靈發錶瞭現代計算領域奠基性的論文《論可計算數及其在判定問題上的應用》。這篇論文堪稱圖靈一生中最重要的貢獻。然而,大眾對圖靈的瞭解多停留在破解德國的著名密碼係統Enigma,幫助盟軍取得二戰的勝利上。對於數學傢圖靈,人們往往知之甚少。
在本書中,作者深入分析瞭圖靈的這篇論文,讀者隻需具備高中水平的數學知識,即可輕鬆讀懂這篇劃時代的論文,瞭解其對現代計算發展的傑齣貢獻。正如人工智能之父馬文•明斯基所說,圖靈的論文有著超乎尋常的簡潔性及數學之美。任何希望深入瞭解圖靈及其工作的讀者都不該錯過這本書!
論可計算數 下載 mobi epub pdf txt 電子書
著者簡介
剋裏斯•伯恩哈特是美國費爾菲爾德大學數學係的一位教授,他從數學的角度入手,研究圖靈的可計算數理論及現代計算的誕生,堪稱圖靈理論最深入的研究者。
圖書目錄
前 言 // VII
第一章 背景
數學的確定性 //004
布爾邏輯//008
數學邏輯//010
邏輯機器//011
保衛數學基礎//012
希爾伯特的方法//014
哥德爾結論//016
圖靈的結論//016
第二章 一些不可判定的判定問題
埃米爾•波斯特 // 025
波斯特的對應問題 // 026
一個算法 // 030
含有更多符號的對應問題 // 032
希爾伯特的第 10 個問題 // 034
停機問題 // 036
劍橋的圖靈 // 036
第三章 有限自動機
有限自動機 // 043
我們的第一個機器 // 044
字母錶和語言 // 046
有限自動機和迴答問題 // 049
問題的否定 // 051
忽略圖錶中的陷阱 // 052
一些基本事實 // 054
正則錶達式 // 057
有限自動機的瓶頸 // 062
同樣數量的0 和1 // 063
平衡括號 // 064
磁帶和配置 // 065
聯係對應問題 // 067
第四章 圖靈機
有限自動機 // 043
我們的第一個機器 // 044
字母錶和語言 // 046
有限自動機和迴答問題 // 049
問題的否定 // 051
忽略圖錶中的陷阱 // 052
一些基本事實 // 054
正則錶達式 // 057
有限自動機的瓶頸 // 062
同樣數量的 0 和 1 // 063
平衡括號 // 064
磁帶和配置 // 065
聯係對應問題 // 067
圖靈機的例子 // 079
可計算函數和計算 // 088
邱奇—圖靈論題 // 090
計算能力 // 092
多項式時間 // 093
非確定性圖靈機 // 095
不會停機的機器 // 097
第五章 其他計算係統
λ積分 // 106
皮亞諾算術 // 108
λ積分和函數 // 109
算術 // 110
邏輯 // 112
標簽係統 // 114
一維元胞自動機 // 119
第六章 編碼和通用機器
編碼有限自動機的方法 // 129
通用機器 // 133
設計通用機器 // 136
現代計算機是圖靈機 // 138
馮•諾依曼結構 // 140
隨機存取機器 // 142
圖靈機能夠模擬RAM // 145
其他通用機器 // 147
當我們把〈M〉輸入M的時候會發生什麼 // 149
第七章 不可判定的問題
矛盾證明法 // 155
羅素的理發師 // 158
不接納自己的編碼的有限自動機 // 161
不接納自己的編碼的圖靈機 // 162
“圖靈機是否會在自己的編碼上偏離”是不可判定的 // 164
接納、停機和空白磁帶問題 // 166
一個不可計算函數 // 168
圖靈的方法 // 170
第八章 康托爾的 對角論證法
基數 // 177
有理數的子集擁有相同的基數 // 179
希爾伯特旅館 // 182
定義不完善的減法 // 184
一般對角論證 // 184
康托爾定理 // 186
實數的基數 // 189
對角論證法 // 193
連續統假設 // 195
計算的基數 // 195
可計算數 // 197
一個非可計算數 // 198
存在可數數量的可計算數 // 199
可計算數無法有效枚舉 // 200
第九章圖靈的遺産
圖靈在普林斯頓大學 // 206
剋勞德•香農 // 208
第二次世界大戰 // 209
20 世紀 40 年代的計算機發展 // 213
剋蘭德•楚澤 // 214
莫奇利和艾剋特 // 214
馮•諾依曼 // 215
圖靈測試 // 218
隕落 // 221
道歉和赦免 // 223
拓展閱讀 // 227
注 釋 // 231
· · · · · · (
收起)
論可計算數 pdf epub mobi txt 電子書 下載
用戶評價
評分
☆☆☆☆☆
花一個晚上一口氣讀完瞭,這是一本很適閤有計算理論基礎的人看的書,換而言之,不是特彆適閤對於有限狀態機, 對角綫法則一無所知的人。這本書最大的好處在於條理比較清晰的從數學方麵描述瞭整個從第十問題到通用圖靈機深化過程,並介紹瞭等價的lambda、post等係統,很不錯。推薦喜歡的人一讀。
評分
☆☆☆☆☆
能再 該通俗的通俗 該延伸的延伸一下就更好瞭 可計算即可實現 計算機原型理念
評分
☆☆☆☆☆
看得雲裏霧裏,似懂非懂,糊裏糊塗地讀完瞭。一翻一大堆公式就已經露怯瞭,還是硬著頭皮翻完瞭,總算星星點點采擷瞭一些精華,對這塊有所認知。
評分
☆☆☆☆☆
為原著打五星,同時,中文版也是被翻譯毀掉的範本(labmda 積分,Jesus…
評分
☆☆☆☆☆
翻譯得很爛,一些專有名詞明明已經有瞭公認的翻譯,自己還要搞齣新的來。
讀後感
評分
☆☆☆☆☆
第一次知道图灵还是在大学学习计算机基础的时候,当时才知道虽然比尔盖茨靠电脑系统当上了世界首富,但是对电脑真正具有奠基地位的应该是图灵,负责最早的真正意义上的计算机——“曼彻斯特一号”的软件理论开发,成为世界上第一位把计算机实际用于数学研究的科学家。也...
評分
☆☆☆☆☆
第一章是从无理数讲起的,虽然只是为了带出来后来希尔伯特的第十问题,但是此处却暗含玄机,因为后面核心的主题就是由无理数证明出来的。当然在这一章里面,还引入很多的理论大牛作为背景,以待后面登场。 第二章,简单的列举了三个不可判定问题,实际上只详细的讲了第一个pos...
評分
☆☆☆☆☆
从目录看,《论可计算数》原著肯定是好书,但译者太糟。仅就前面的一点翻译来说,就看到把“反证法”译为“矛盾证明法”,“不可公度量”译为“无法测量的长度”。最不能忍的是“希尔伯特证明,如果算术是连续的,那么欧式几何也是连续的”这一句了,根据前后文我估计“连续”...
評分
☆☆☆☆☆
第一章是从无理数讲起的,虽然只是为了带出来后来希尔伯特的第十问题,但是此处却暗含玄机,因为后面核心的主题就是由无理数证明出来的。当然在这一章里面,还引入很多的理论大牛作为背景,以待后面登场。 第二章,简单的列举了三个不可判定问题,实际上只详细的讲了第一个pos...
評分
☆☆☆☆☆
从目录看,《论可计算数》原著肯定是好书,但译者太糟。仅就前面的一点翻译来说,就看到把“反证法”译为“矛盾证明法”,“不可公度量”译为“无法测量的长度”。最不能忍的是“希尔伯特证明,如果算术是连续的,那么欧式几何也是连续的”这一句了,根据前后文我估计“连续”...
類似圖書 點擊查看全場最低價
論可計算數 pdf epub mobi txt 電子書 下載 2025