計算理論解析

定　價：￥29.00

作　者：	張寅生
出版社：	清華大學(xué)出版社
叢編項：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787302437918	出版時間：	2016-09-01	包裝：
開本：	16開	頁數(shù)：	139	字?jǐn)?shù)：

內(nèi)容簡介

　　本書介紹計算模型理論，包括計算的對象、本質(zhì)、定義、分類、表達(dá)、邏輯和機械實現(xiàn)方法，以及計算模型的典型應(yīng)用。全書共分為6章。第1章介紹計算的對象和本質(zhì)，將離散變量作為圖靈計算（離散變量計算）的對象，將其邏輯確定性和機械能行可計算性作為圖靈計算的本質(zhì)；第2章介紹可計算函數(shù)——遞歸函數(shù)；第3章介紹計算機的數(shù)學(xué)原理；第4章介紹語言的計算；第5章介紹判定問題的可計算性；第6章介紹計算模型的典型應(yīng)用。本書是計算理論（計算模型、形式語言與自動機）、計算機科學(xué)技術(shù)史、邏輯學(xué)、語言學(xué)、數(shù)學(xué)、哲學(xué)的交叉研究，也是通過淺顯易懂的講解方式進(jìn)行計算機核心理論教學(xué)的嘗試。作者力圖為計算機相關(guān)人員提供一個計算的本質(zhì)特征的“靈魂”描述及其通俗解釋，以使得計算機軟硬件的所有任務(wù)、過程，特別是軟件的表達(dá)與執(zhí)行歸結(jié)為數(shù)學(xué)原理和邏輯本質(zhì)。本書適合作為高等院校計算機、通信、自動化、軟件工程、信息管理、數(shù)理邏輯與數(shù)學(xué)基礎(chǔ)、生成轉(zhuǎn)換語言學(xué)等專業(yè)本科生和研究生的教材。同時，由于本書內(nèi)容深入淺出，能夠被僅具有基本數(shù)學(xué)知識的人讀懂，因此也可供對計算機理論感興趣的廣大科技工作者參考。

作者簡介

暫缺《計算理論解析》作者簡介

圖書目錄

第1章計算的對象和本質(zhì)1
參考文獻(xiàn)6
第2章可計算函數(shù)——遞歸函數(shù)7
2.1分解計算、逐步計算的思想8
2.2原始函數(shù)10
2.3遞歸函數(shù)的構(gòu)造方法11
2.3.1復(fù)合方法12
2.3.2遞歸方法12
2.4遞歸函數(shù)的家族21
2.5遞歸函數(shù)的通俗解釋22
參考文獻(xiàn)23
第3章計算機的數(shù)學(xué)原理25
3.1數(shù)學(xué)運算的基礎(chǔ)25
3.2希爾伯特第十個問題及其自動化解決思想28
3.3圖靈機原理32
3.4圖靈機的局部改進(jìn)和變形50
3.4.1多帶圖靈機50
3.4.2圖靈機的復(fù)合53
3.4.3圖靈機參數(shù)的限定57
參考文獻(xiàn)57
[1]計算理論解析[1]目錄〖2〗第4章語言的計算59
4.1圖靈計算的分類59
4.2語言的可計算性61
4.3作為枚舉器的圖靈機69
4.4作為語言識別器（接受器）的圖靈機70
4.5圖靈機和短語語法72
4.6線性有界自動機與上下文有關(guān)語法77
4.7下推自動機與上下文無關(guān)語法83
4.8確定型有窮自動機與正則語法86
4.9不確定型有窮自動機與正則語法89
4.10自動機接受的語言94
參考文獻(xiàn)95
第5章判定問題的可計算性97
5.1基本概念97
5.2不可判定性問題實例98
5.2.1丟番圖方程整數(shù)解問題99
5.2.2對角線函數(shù)102
5.2.3停機問題104
5.2.4邏輯蘊涵106
5.2.5哥德爾語句G109
參考文獻(xiàn)110
第6章計算模型的應(yīng)用112
6.1計算機模擬圖靈機112
6.2語言識別和語法驗證115
6.3邏輯推理123
6.4計算復(fù)雜性分析133
參考文獻(xiàn)139