可計算性理論

內(nèi)容概要

本書全面系統(tǒng)地介紹了50年代至今在可計算性理論方面的主要方法與成果．主要內(nèi)容包括：可計算性理論基礎(chǔ)知識，可計算枚舉集，有窮和無窮延伸方法，有窮損害優(yōu)先方法，無窮損害優(yōu)先方法，計算復雜性理論，及時單純集和間段、余間段方法，n一可計算枚舉集和可計算逼近函數(shù)的圖靈度，樹構(gòu)造和O”方法，圍界極小度定理．
    本書可供大學數(shù)學系和計算機科學系的教師和研究生、科研人員閱讀．

書籍目錄

前言
第一章  可計算性理論基礎(chǔ)知識
1  關(guān)于可計算性的基本概念
2  算法可計算函數(shù)的定義：無窮存儲機器
3  遞歸函數(shù)的可計算性
4  對程序配數(shù), Smn定理, 通用函數(shù)定理

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    可計算性理論 PDF格式下載

---