中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
&面向計算機科學的數理邏輯(第二版) 版權信息
- ISBN：7030096576
- 條形碼：9787030096579 ; 978-7-03-009657-9
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
&面向計算機科學的數理邏輯(第二版) 內容簡介
本書敘述了與計算機科學有緊密聯系并且相互之間又有聯系的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯.本書在選材時考慮了邏輯系統的特征，并且適應計算機科學的要求，本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節附有習題。
本書讀者對象:高校計算機專業師生，科研人員。
&面向計算機科學的數理邏輯(第二版) 目錄
緒論
**章 預備知識
1.1 集
1.2 歸納定義和歸納證明
第二章 經典命題邏輯
2.1 聯結詞
2.2 命題語言
2.3 公式的結構
2.4 語義
2.5 邏輯推論
2.6 形式推演
2.7 析取范式和合取范式
2.8 聯結符號的完備集
第三章 經典一階邏輯
3.1 量詞
3.2 一階語言
3.3 語義
3.4 邏輯推論
3.5 形式推演
3.6 前束范式
第四章 可靠性和完備性
4.1 可滿足性和有效性
4.2 可靠性
4.3 極大協調性
4.4 命題邏輯的完備性
4.5 一階邏輯的完備性
4.6 獨立性
第五章 緊致性定理、Lowenheim-Skolem定理、Herbrand定理
5.1 緊致性定理和Lowenheim-Skolem定理
5.2 Herbrand定理
第六章 公理推演系統
6.1 公理推演系統
6.2 兩種推演系統的關系
第七章 構造性邏輯
7.1 證明的構造性
7.2 形式推演
7.3 語義
7.4 可靠性
7.5 完備性
第八章 模態命題邏輯
8.1 模態命題語言
8.2 形式推演
8.3 語義
8.4 可靠性
8.5 T的完備性
8.6 S4和S5的完備性
第九章 模態一階邏輯
9.1 模態一階語言和形式推演
9.2 語義
9.3 可靠性
9.4 完備性
9.5 相等符號
附錄 自然推演中形式證明的簡明形式
參考文獻
符號表
漢英名詞對照表
**章 預備知識
1.1 集
1.2 歸納定義和歸納證明
第二章 經典命題邏輯
2.1 聯結詞
2.2 命題語言
2.3 公式的結構
2.4 語義
2.5 邏輯推論
2.6 形式推演
2.7 析取范式和合取范式
2.8 聯結符號的完備集
第三章 經典一階邏輯
3.1 量詞
3.2 一階語言
3.3 語義
3.4 邏輯推論
3.5 形式推演
3.6 前束范式
第四章 可靠性和完備性
4.1 可滿足性和有效性
4.2 可靠性
4.3 極大協調性
4.4 命題邏輯的完備性
4.5 一階邏輯的完備性
4.6 獨立性
第五章 緊致性定理、Lowenheim-Skolem定理、Herbrand定理
5.1 緊致性定理和Lowenheim-Skolem定理
5.2 Herbrand定理
第六章 公理推演系統
6.1 公理推演系統
6.2 兩種推演系統的關系
第七章 構造性邏輯
7.1 證明的構造性
7.2 形式推演
7.3 語義
7.4 可靠性
7.5 完備性
第八章 模態命題邏輯
8.1 模態命題語言
8.2 形式推演
8.3 語義
8.4 可靠性
8.5 T的完備性
8.6 S4和S5的完備性
第九章 模態一階邏輯
9.1 模態一階語言和形式推演
9.2 語義
9.3 可靠性
9.4 完備性
9.5 相等符號
附錄 自然推演中形式證明的簡明形式
參考文獻
符號表
漢英名詞對照表
展開全部
書友推薦
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
煙與鏡
- >
回憶愛瑪儂
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
隨園食單
- >
伊索寓言-世界文學名著典藏-全譯本
- >
羅曼·羅蘭讀書隨筆-精裝
- >
二體千字文
本類暢銷
