圖書信息
作 者：張興元 等編著
出版時間：2011-10-1
版 次：1頁 數：270字 數：400000
印刷時間：2011-10-1開 本：16開紙 張：膠版紙
印 次：1I S B N：9787030324108包 裝：平裝
內容簡介
《計算理論與符號邏輯》對計算理論和數理邏輯中一組最為基本的問題和重要概念進行詳細介紹．以boolos等的經典教材computability and logic為出發點，從教學效果出發，對內容做了簡化和充實．本書注重體現數理邏輯在計算機科學研究中的套用，強調直觀感受與理論分析相結合．對定義、定理的引入進行了精心設計，採用了易於理解的證明體例，重要章節之後都有小結．力圖引導讀者超越技術細節，更多地關注定義、定理背後所隱藏的一般思維模式和思想方法，使理論學習不再枯燥乏味．
《計算理論與符號邏輯》可作為數學、計算機科學相關專業的教材，對軟體工程、形式化方法、人工智慧、數理邏輯等領域的研究者和工程技術人員提升理性思維的層次和分析能力大有裨益．
目錄
第1章 緒論
1.1 符號邏輯與計算機科學
1.2 全書結構
第2章 集合、關係和函式
2.1 集合的基本概念
2.2 集合的笛卡兒積
2.3 關係
2.4 函式
習題
第3章 集合的可數性
3.1 可數性的基本概念
3.2 有結構集合的可數性
3.3 不可數性
習題
第4章 圖靈可計算性
4.1 能行可計算
4.2 圖靈可計算性
4.3 圖靈機的例子
4.4 圖靈機的多種表示方法
4.5 對定義4.2的進一步討論
4.6 不可計算性
4.7 圖靈論題與通用圖靈機
習題
第5章 算盤可計算性
5.1 算盤機的定義
5.2 算盤機例子程式
5.3 算盤可計算性
5.4 將算盤機編譯為圖靈機
習題
第6章 遞歸函式可計算性
第7章 遞歸函式與遞歸關係
第8章 不同計算模型之間的等價性
第9章 一階謂詞邏輯的基本概念
第10章 蘊涵關係的不可判定性
第11章 模型
第12章 緊緻性定理的證明
第13章 形式化推理系統
第14章 計算行為的邏輯刻畫
第15章 godel不完全性定理
參考文獻
索引
