本書包括數理邏輯的遞歸論和形式語言論兩部分內容. 一至八章為遞歸論部分,詳盡地研究瞭初等函數、原始遞歸函數、遞歸函數及給類算子,充分地討論瞭Turing機與Turing可計算性概念. 九、十兩章為形式語言論部分,係統地介紹瞭各種形式語言及相應的語言識彆器——各類自動機. 作為遞歸論內容的深入,本書還概要地介紹瞭遞歸集、遞歸枚舉集及遞歸度的概念;作為上述兩部分內容的應用,第十一章還討論瞭判定問題.
發表於2024-11-19
可計算性理論 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機 數學 邏輯 可計算性 計算理論 數理邏輯 nemlophics ComputabilityTuring
可計算性理論 2024 pdf epub mobi 電子書 下載