離散數學及其套用——Python建模與實現

內容簡介

本書是“基於系統能力培養的計算機專業課程建設研究”項目規劃教材之一。本書系統介紹了數理邏輯、集合論、圖論和代數系統相關內容，以計算為認知模型，重點給出概念、運算及關係的計算表示，並用計算驗證性質與定理。以邏輯為認知模型，給出概念、運算及關係的邏輯表示，並證明性質與定理，既注重概念、運算及關係的理解，又注重探究性質及定理的驗證；既以Python作為認識離散數學知識的模型，同時，又以離散數學作為離散世界的模型，為複雜工程問題提供實際解決方法。

本書可作為計算機科學與技術、軟體工程專業必修課教材，也可以作為其他信息相關專業離散數學教材。同時，本書可作為其他專業技術人員或學生的參考讀物。

圖書目錄

前輔文

緒論

第一篇　數理邏輯

第1章　邏輯語言

1.1　邏輯運算

1.2　命題邏輯合式公式

1.3　謂詞邏輯合式公式

1.4　自然語言命題

習題1

第2章　命題邏輯語義

2.1　命題合式公式語義

2.2　推論式與等價式的語義

2.3　變換合式公式的語義

2.4　命題公式範式

2.5　等式演算

習題2

第3章　謂詞邏輯語義

3.1　合式公式語義

3.2　推論關係和相等關係語義

3.3　前束範式與斯科倫範式

3.4　一階理論語言

3.5　解釋、結構與模型

習題3

第4章　邏輯公理系統

4.1　形式系統

4.2　命題邏輯公理系統

4.3　一階謂詞邏輯公理系統

4.4　一階理論公理系統

4.5　命題邏輯證明

4.6　一階謂詞邏輯證明

4.7　理論證明

習題4

第5章　元定理

5.1　概述

5.2　可靠性、完全性、一致性和獨立性

5.3　可判定性

5.4　哥德爾編碼

習題5

第二篇　集　合　論

第6章　集合

6.1　基本概念

6.2　集合運算

6.3　集合的關係

離散數學及其套用——Python建模與實現

基本介紹

熱門詞條