-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數學及其應用(本科教材) 版權信息
- ISBN:9787302341581
- 條形碼:9787302341581 ; 978-7-302-34158-1
- 裝幀:暫無
- 冊數:暫無
- 重量:暫無
- 所屬分類:>
離散數學及其應用(本科教材) 內容簡介
《離散數學及其應用》系統地介紹了信息科學領域離散數學的基礎知識和應用方法,全書共分9章,其主要內容有:命題邏輯、謂詞邏輯、關系、函數、代數系統、幾個特殊的代數系統、圖論基礎、樹、格與布爾代數。 《離散數學及其應用》在內容安排上,結構新穎,有問題導入式的引言,以此激發學生的學習興趣和目標關注點;正文內容中穿插提示、拓展等環節,在強調基礎知識點的重要性和特殊性的同時,又對主要內容進行了適度延伸,使得抽象的教材內容更具體化,更具有鮮活的生命力;同時每章都安排了應用環節,突出將離散數學的基本知識與信息科學本身以及生活實際結合起來,通過解決具體的實際問題,增強該門課程講授內容的現實性和生動性。并結合信息科學專業學生的特點,積極引導學生通過離散數學的基本知識對現實生活中的實際問題進行建模,并編寫計算機程序去實現問題解決的自動化,在提高編程能力的同時,也增進了對算法的理解和應用能力。 《離散數學及其應用》內容豐富,可讀性強,可作為應用型普通高等院校計算機科學與技術、信息與計算科學、信息工程等相關本、專科專業學生的離散數學教材,也可供從事計算機、自動控制、電子工程等領域的科學工作者及有關工程技術人員參考。
離散數學及其應用(本科教材) 目錄
1.1 命題與邏輯聯結詞
1.1.1 命題的概念
1.1.2 邏輯聯結詞
1.1.3 原子命題和復合命題
1.1.4 應用
習題1.1
1.2 命題公式及公式分類
1.2.1 命題公式的概念
1.2.2 命題公式的分類
1.2.3 應用
習題1.2
1.3 等值式與等值演算
1.3.1 基本等值式
1.3.2 等值演算
1.3.3 應用
習題1.3
1.4 范式與主范式
1.4.1 范式
1.4.2 主范式
1.4.3 應用
習題1.4
1.5 推理理論
1.5.1 形式證明
1.5.2 應用
習題1.5
第2章 謂詞邏輯
2.1 基本概念
2.1.1 個體與謂詞
2.1.2 量詞
習題2.1
2.2 謂詞公式
2. 2.1 謂詞公式概述
2.2.2 謂詞公式的類型
習題2.2
2.3 謂詞邏輯蘊含式和等值式
2.3.1 謂詞邏輯蘊含式和等值式
2.3.2 量詞的收縮與擴張
2.3.3 常用的量詞等值式
2.3.4 多個量詞的使用
習題2.3
2.4 前束范式
2.4.1 前柬范式
2.4.2 前束合取范式
2.4.3 前束析取范式
習題2.4
2.5 謂詞邏輯推理理論
習題2.5
2.6 應用
2.6.1 人工智能中的歸結演繹推理
2.6.2 基本思路
2.6.3 使用步驟
2.6.4 完備性
2.6.5 舉例說明
第3章 關系
3.1 笛卡兒積
3.1.1 有序對
3.1.2 笛卡兒積
3.1.3 知識點:笛卡兒積與數據庫
3.1.4 拓展
習題3.1
3.2 關系的概念與表示方法
3.2.1 關系的基本概念
3.2.2 拓展:n-ary關系與關系型數據庫
3.2.3 關系矩陣與關系圖
習題3.2
3.3 關系的運算
3.3.1 關系的逆運算
3.3.2 關系的復合運算
……
第4章 函數
第5章 代數系統
第6章 幾個特殊的代數系統
第7章 圖論基礎
第8章 樹
第9章 格與布爾代數
專用術語漢英對照
參考文獻
- >
我與地壇
- >
中國歷史的瞬間
- >
羅曼·羅蘭讀書隨筆-精裝
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
有舍有得是人生
- >
上帝之肋:男人的真實旅程
- >
經典常談
- >
月亮與六便士