可計算性與計算復(fù)雜性導(dǎo)引

內(nèi)容概要

本書是學(xué)習(xí)理論計算機科學(xué)基礎(chǔ)的教材和參考書，內(nèi)容包括三部分：可計算性、形式語言與自動機、計算復(fù)雜性。主要介紹幾種計算模型及它們的等價性，函數(shù)、謂詞和語言的可計算性等基本概念，形式語言及其對應(yīng)的自動機模型，時間和空間復(fù)雜性，NP完全性等。
    本書可作為計算機專業(yè)本科生和研究生的教材，也可作為從事計算機科學(xué)技術(shù)的研究和開發(fā)人員的參考書，還可作為對理論計算機科學(xué)感興趣的讀者的入門教材。

書籍目錄

第一章  程序設(shè)計語言和可計算函數(shù)
1.1 預(yù)備知識
1.2 程序設(shè)計語言
1.3 可計算函數(shù)
1.4 宏指令
習(xí)題
第二章  原始遞歸函數(shù)
2.1 原始遞歸函數(shù)
2.2 原始遞歸謂詞
2.3 迭代運算、有界量詞和極小化
2.4 配對函數(shù)和Godel數(shù)
2.5 原始遞歸運算
2.6

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    可計算性與計算復(fù)雜性導(dǎo)引 PDF格式下載

---