計(jì)算模型導(dǎo)引

內(nèi)容概要

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

作者簡介

　　宋方敏，南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系教授，博士生導(dǎo)師。主要研究領(lǐng)域是數(shù)理邏輯和量子計(jì)算，曾主持國家自然科學(xué)基金項(xiàng)目、863項(xiàng)目和中法合作項(xiàng)目的研究，在國內(nèi)外核心刊物上發(fā)表論文50余篇。曾獲國家教委科技進(jìn)步三等獎(jiǎng)、江蘇省優(yōu)秀科技工作者稱號和2004年度教育部提名國家科學(xué)技術(shù)獎(jiǎng)。為本科生主講“離散數(shù)學(xué)”和“數(shù)理邏輯”課程，為研究生主講“計(jì)算理論”課程。

書籍目錄

第一章 遞歸函數(shù)§1.1 數(shù)論函數(shù)§1.2 配對函數(shù)§1.3 初等函數(shù)§1.4 原始遞歸函數(shù)§1.5 遞歸函數(shù)§1.6 結(jié)論習(xí)題第二章 算盤機(jī)§2.1 算盤機(jī)的定義§2.2 算盤機(jī)可計(jì)算函數(shù)§2.3 算盤機(jī)的計(jì)算能力習(xí)題第三章 γ演算§3.1 γ-演算的語法§3.2 轉(zhuǎn)換§3.3 歸約§3.4 Church-Rosser定理§3.5 不動點(diǎn)定理§3.6 遞歸函數(shù)的γ-可定義性§3.7 與遞歸論對應(yīng)的結(jié)果習(xí)題第四章 組合邏輯§4.1 組合子的形式系統(tǒng)§4.2 弱歸約§4.3 CL與氳畝雜習(xí)題第五章 Turing機(jī)§5.1 Turing機(jī)的形式描述§5.2 Turing機(jī)的計(jì)算能力§5.3 可判定性與停機(jī)問題§5.4 通用Turing機(jī)§5.5 Church-Turing論題習(xí)題參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    計(jì)算模型導(dǎo)引 PDF格式下載

---