具體描述
《計算機科學與技術研究生係列教材:計算模型導引》主要介紹瞭計算模型領域的主要概念，方法和技術，旨在通過介紹遞歸函數，Lambda演算和Turing機來理解計算理論。本課程講述如下專題：遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。 書中每章附有適量習題，供讀者選做。
著者簡介
宋方敏，南京大學計算機科學與技術係教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國傢自然科學基金項目、863項目和中法閤作項目的研究，在國內外核心刊物上發錶論文50餘篇。曾獲國傢教委科技進步三等奬、江蘇省優秀科技工作者稱號和2004年度教育部提名國傢科學技術奬。為本科生主講“離散數學”和“數理邏輯”課程，為研究生主講“計算理論”課程。
圖書目錄
第一章遞歸函數
1.1 數論函數
1.2 配對函數
1.3 初等函數
1.4 原始遞歸函數
1.5 遞歸函數
1.6 結論
習題
第二章算盤機
2.1 算盤機的定義
2.2 算盤機可計算函數
2.3 算盤機的計算能力
習題
第三章λ-演算
3.1 λ-演算的語法
3.2 轉換
3.3 歸約
3.4 Church-Rosser 定理
3.5 不動點定理
3.6 遞歸函數的λ-可定義性
3.7 與遞歸論對應的結果
習題
第四章組閤邏輯
4.1 組閤子的形式係統
4.2 弱歸約
4.3 CL 與λ的對應
習題
第五章Turing 機
5.1 Turing 機的形式描述
5.2 Turing 機的計算能力
5.3 可判定性與停機問題
5.4 通用Turing 機
5.5 Church-Turing 論題
習題
參考文獻
· · · · · · (收起)
1.1 數論函數
1.2 配對函數
1.3 初等函數
1.4 原始遞歸函數
1.5 遞歸函數
1.6 結論
習題
第二章算盤機
2.1 算盤機的定義
2.2 算盤機可計算函數
2.3 算盤機的計算能力
習題
第三章λ-演算
3.1 λ-演算的語法
3.2 轉換
3.3 歸約
3.4 Church-Rosser 定理
3.5 不動點定理
3.6 遞歸函數的λ-可定義性
3.7 與遞歸論對應的結果
習題
第四章組閤邏輯
4.1 組閤子的形式係統
4.2 弱歸約
4.3 CL 與λ的對應
習題
第五章Turing 機
5.1 Turing 機的形式描述
5.2 Turing 機的計算能力
5.3 可判定性與停機問題
5.4 通用Turing 機
5.5 Church-Turing 論題
習題
參考文獻
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
符號使用一塌糊塗，跟國外教材差距實在太大
评分提升內力~
评分宋公大作
评分宋公大作
评分宋公的書，確實不易自學
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有