可計算性理論

內(nèi)容概要

本書包括數(shù)理邏輯的遞歸論和形式語言論兩部分內(nèi)容. 一至八章為遞歸論部分，詳盡地研究了初等函數(shù)、原始遞歸函數(shù)、遞歸函數(shù)及給類算子，充分地討論了Turing機(jī)與Turing可計算性概念. 九、十兩章為形式語言論部分，系統(tǒng)地介紹了各種形式語言及相應(yīng)的語言識別器——各類自動機(jī). 作為遞歸論內(nèi)容的深入，本書還概要地介紹了遞歸集、遞歸枚舉集及遞歸度的概念；作為上述兩部分內(nèi)容的應(yīng)用，第十一章還討論了判定問題.

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    可計算性理論 PDF格式下載

---