中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
可計算性與計算復雜性導引-第3版 版權(quán)信息
- ISBN:9787301177686
- 條形碼:9787301177686 ; 978-7-301-17768-6
- 裝幀:暫無
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>
可計算性與計算復雜性導引-第3版 內(nèi)容簡介
《可計算性與計算復雜性導引(第3版)》是學習計算理論的教材和參考書,內(nèi)容包括三部分:可計算性、形式語言與自動機、計算復雜性.主要介紹幾種計算模型及它們的等價性,函數(shù)、謂詞和語言的可計算性等基本概念,形式語言及其對應的自動機模型,時間和空間復雜性,np完全性等. 《可計算性與計算復雜性導引(第3版)》可作為計算機專業(yè)本科生和研究生的教材,也可作為從事計算機科學技術的研究和開發(fā)人員的參考書,還可作為對計算理論感興趣的讀者的入門讀物.
可計算性與計算復雜性導引-第3版 目錄
**章 程序設計語言 和可計算函數(shù)
1.1 預備知識
1.2 church-turing論題
1.3 程序設計語言
1.4 可計算函數(shù)
1.5 宏指令
習題
第二章 原始遞歸函數(shù)
2.1 原始遞歸函數(shù)
2.2 原始遞歸謂詞
2.3 迭代運算、有界量詞和極小化
2.4 配對函數(shù)和godel數(shù)
2.5 原始遞歸運算
2.6 ackermann函數(shù)
2.7 字函數(shù)的可計算性
1.1 預備知識
1.2 church-turing論題
1.3 程序設計語言
1.4 可計算函數(shù)
1.5 宏指令
習題
第二章 原始遞歸函數(shù)
2.1 原始遞歸函數(shù)
2.2 原始遞歸謂詞
2.3 迭代運算、有界量詞和極小化
2.4 配對函數(shù)和godel數(shù)
2.5 原始遞歸運算
2.6 ackermann函數(shù)
2.7 字函數(shù)的可計算性
展開全部
書友推薦
- >
煙與鏡
- >
自卑與超越
- >
中國歷史的瞬間
- >
羅庸西南聯(lián)大授課錄
- >
巴金-再思錄
- >
伊索寓言-世界文學名著典藏-全譯本
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
李白與唐代文化
本類暢銷