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

計算理論導引 pdf簡介

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

計算理論導引第三版目錄節選

前言

第1章 導引

1.1 自動機、可計算性與復雜性

1.1.1 計算復雜性理論

1.1.2 可計算性理論

1.1.3 自動機理論

1.2 數學概念和術語

1.2.1 集合

1.2.2 序列和多元組

1.2.3 函數和關系

1.2.4 圖

1.2.5 字符串和語言

1.2.6 布爾邏輯.

1.2.7 數學名詞匯總

1.3 定義、定理和證明

1.4 證明的類型

1.4.1 構造性證明