計算理論導(dǎo)引 pdf是一本專為想要學(xué)習(xí)計算機的朋友準(zhǔn)備的入門教程，以獨特的視角，綜合地描述了計算機科學(xué)理論，并以清新的筆觸，生動的語言給出了寬泛的數(shù)學(xué)原理，非常適合入門學(xué)習(xí)，喜歡可以免費下載！

計算理論導(dǎo)引 pdf簡介

《計算理論導(dǎo)引》本書系統(tǒng)地介紹了計算理論的三個主要內(nèi)容：自動機與語言、可計算性和計算復(fù)雜性。絕大部分內(nèi)容是基本的，同時對可計算性和計算復(fù)雜性理論中的某些高級內(nèi)容作了重點介紹。作者以清閑的筆觸、生動的語言給出了寬泛的數(shù)學(xué)原理，而沒有拘泥于某些低層次的細節(jié)。本書可作為計算機專業(yè)高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。

計算理論導(dǎo)引第三版目錄節(jié)選

前言

第1章 導(dǎo)引

1.1 自動機、可計算性與復(fù)雜性

1.1.1 計算復(fù)雜性理論

1.1.2 可計算性理論

1.1.3 自動機理論

1.2 數(shù)學(xué)概念和術(shù)語

1.2.1 集合

1.2.2 序列和多元組

1.2.3 函數(shù)和關(guān)系

1.2.4 圖

1.2.5 字符串和語言

1.2.6 布爾邏輯.

1.2.7 數(shù)學(xué)名詞匯總

1.3 定義、定理和證明

1.4 證明的類型

1.4.1 構(gòu)造性證明