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

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

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

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

前言

第1章 導(dǎo)引

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

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

1.1.2 可計(jì)算性理論

1.1.3 自動機(jī)理論

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)造性證明