中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
離散數學-(第二版) 版權信息
- ISBN：9787517045748
- 條形碼：9787517045748 ; 978-7-5170-4574-8
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
離散數學-(第二版) 本書特色
離散數學是計算機科學基礎理論的核心課程，是 高等院校計算機專業必修的重要專業基礎課程。賈振 華主編的《離散數學(第2版21世紀高等院校規劃教材 )》介紹了離散數學的基礎理論知識，全書共分11章 ：包括命題邏輯、謂詞邏輯、集合、關系、函數、集 合的基數、圖、歐拉圖和哈密爾頓圖、特殊圖、代數 結構、格與布爾代數等內容?br/> 本書內容安排合理、體系嚴謹，敘述力求深入淺 出、簡明扼要，書中配有典型例題和習題，并與計算 機科學的理論和實踐緊密結合?br/> 本書可作為高等院校計算機及其相關專業離散數 學課程的教材，也可供從事計算機工作的科學技術人 員以及相關人員使用或參考?br/>
離散數學-(第二版) 內容簡介
離散數學是計算機科學基礎理論的核心課程，是高等院校計算機專業必修的重要專業基礎課程。本書介紹了離散數學的基礎理論知識，全書共分11章：包括命題邏輯、謂詞邏輯、集合、關系、函數、集合的基數、圖論、歐拉圖和哈密爾頓圖、特殊 圖、代數結構、格與布爾代數等內容。本書內容安排合理、體系嚴謹，敘述力求深入淺出、簡明扼要，書中配有典型例題和習題，并與計算機科學的理論和實踐緊密結合。本書可作為高等院校計算機及其相關專業離散數學課程的教材，也可供從事計算機工作的科學技術人員以及其相關人員使用或參考。
離散數學-(第二版) 目錄
第二版前言**版前言**部分 數理邏輯第1章 命題邏輯 本章學習目標 1.1 命題和命題聯結詞 1.1.1 命題 1.1.2 命題聯結詞 1.2 命題公式與解釋 1.2.1 命題公式 1.2.2 命題公式的解釋 1.3 真值表與等價公式 1.3.1 真值表 1.3.2 命題公式的分類 1.3.3 等價公式 1.3.4 代入規則和替換規則 1.4 對偶定理 1.5 范式 1.5.1 合取范式和析取范式 1.5.2 主析取范式和主合取范式 1.6 公式的蘊涵 1.6.1 蘊涵的概念 1.6.2 蘊涵式的證明方法 1.6.3 基本蘊涵式 1.7 其他聯結詞與*小聯結詞組 1.7.1 其他聯結詞 1.7.2 *小聯結詞組 l.8 命題邏輯推理理論 1.8.1 命題邏輯推理理論 1.8.2 推理規則 1.8.3 判斷有效結論的常用方法 本章小結 習題1第2章 謂詞邏輯 本章學習目標 2.1 謂詞邏輯命題的符號化 2.1.1 個體詞與謂詞 2.1.2 量詞 2.1.3 謂詞邏輯中命題的符號化 2.2 謂詞邏輯公式與解釋 2.2.1 謂詞邏輯的合式公式 2.2.2 謂詞的約束和替換 2.2.3 謂詞邏輯公式的解釋 2.3 謂詞邏輯公式的等價與蘊涵 2.3.1 謂詞邏輯的等價公式 2.3.2 謂詞邏輯的蘊涵公式 2.3.3 多個量詞的使用 2.4 前束范式 2.5 謂詞邏輯的推理理論 本章小結 習題2第二部分 集合論第3章 集合 本章學習目標 3.1 集合的概念與表示 3.1.1 集合的基本概念 3.1.2 集合的表示 3.1.3 集合之間的關系 3.2 集合的運算……第三部分 圖論第四部分 代數系統
展開全部
書友推薦
- >
名家帶你讀魯迅:故事新編
- >
【精裝繪本】畫給孩子的中國神話
- >
有舍有得是人生
- >
我與地壇
- >
經典常談
- >
姑媽的寶刀
- >
伯納黛特,你要去哪(2021新版)
- >
龍榆生：詞曲概論/大家小書
本類暢銷
