計算模型導引

內容概要

　　《計算機科學與技術研究生系列教材：計算模型導引》是理論計算機科學的入門教材，主要介紹遞歸函數、算盤機、演算、組合邏輯和Turing機等計算模型。書中每章附有適量習題，供讀者選做。　　《計算機科學與技術研究生系列教材：計算模型導引》可作為高等學校計算機及相關專業(yè)高年級本科生和研究生的教材，也可作為計算機科學與技術研究人員的參考書。

作者簡介

　　宋方敏，南京大學計算機科學與技術系教授，博士生導師。主要研究領域是數理邏輯和量子計算，曾主持國家自然科學基金項目、863項目和中法合作項目的研究，在國內外核心刊物上發(fā)表論文50余篇。曾獲國家教委科技進步三等獎、江蘇省優(yōu)秀科技工作者稱號和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 組合子的形式系統(tǒng)§4.2 弱歸約§4.3 CL與氳畝雜習題第五章 Turing機§5.1 Turing機的形式描述§5.2 Turing機的計算能力§5.3 可判定性與停機問題§5.4 通用Turing機§5.5 Church-Turing論題習題參考文獻

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    計算模型導引 PDF格式下載

---