-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
離散數(shù)學及其應(yīng)用(本科教材) 版權(quán)信息
- ISBN:9787302341581
- 條形碼:9787302341581 ; 978-7-302-34158-1
- 裝幀:暫無
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>
離散數(shù)學及其應(yīng)用(本科教材) 內(nèi)容簡介
《離散數(shù)學及其應(yīng)用》系統(tǒng)地介紹了信息科學領(lǐng)域離散數(shù)學的基礎(chǔ)知識和應(yīng)用方法,全書共分9章,其主要內(nèi)容有:命題邏輯、謂詞邏輯、關(guān)系、函數(shù)、代數(shù)系統(tǒng)、幾個特殊的代數(shù)系統(tǒng)、圖論基礎(chǔ)、樹、格與布爾代數(shù)。 《離散數(shù)學及其應(yīng)用》在內(nèi)容安排上,結(jié)構(gòu)新穎,有問題導入式的引言,以此激發(fā)學生的學習興趣和目標關(guān)注點;正文內(nèi)容中穿插提示、拓展等環(huán)節(jié),在強調(diào)基礎(chǔ)知識點的重要性和特殊性的同時,又對主要內(nèi)容進行了適度延伸,使得抽象的教材內(nèi)容更具體化,更具有鮮活的生命力;同時每章都安排了應(yīng)用環(huán)節(jié),突出將離散數(shù)學的基本知識與信息科學本身以及生活實際結(jié)合起來,通過解決具體的實際問題,增強該門課程講授內(nèi)容的現(xiàn)實性和生動性。并結(jié)合信息科學專業(yè)學生的特點,積極引導學生通過離散數(shù)學的基本知識對現(xiàn)實生活中的實際問題進行建模,并編寫計算機程序去實現(xiàn)問題解決的自動化,在提高編程能力的同時,也增進了對算法的理解和應(yīng)用能力。 《離散數(shù)學及其應(yīng)用》內(nèi)容豐富,可讀性強,可作為應(yīng)用型普通高等院校計算機科學與技術(shù)、信息與計算科學、信息工程等相關(guān)本、專科專業(yè)學生的離散數(shù)學教材,也可供從事計算機、自動控制、電子工程等領(lǐng)域的科學工作者及有關(guān)工程技術(shù)人員參考。
離散數(shù)學及其應(yīng)用(本科教材) 目錄
1.1 命題與邏輯聯(lián)結(jié)詞
1.1.1 命題的概念
1.1.2 邏輯聯(lián)結(jié)詞
1.1.3 原子命題和復合命題
1.1.4 應(yīng)用
習題1.1
1.2 命題公式及公式分類
1.2.1 命題公式的概念
1.2.2 命題公式的分類
1.2.3 應(yīng)用
習題1.2
1.3 等值式與等值演算
1.3.1 基本等值式
1.3.2 等值演算
1.3.3 應(yīng)用
習題1.3
1.4 范式與主范式
1.4.1 范式
1.4.2 主范式
1.4.3 應(yīng)用
習題1.4
1.5 推理理論
1.5.1 形式證明
1.5.2 應(yīng)用
習題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 應(yīng)用
2.6.1 人工智能中的歸結(jié)演繹推理
2.6.2 基本思路
2.6.3 使用步驟
2.6.4 完備性
2.6.5 舉例說明
第3章 關(guān)系
3.1 笛卡兒積
3.1.1 有序?qū)?br />3.1.2 笛卡兒積
3.1.3 知識點:笛卡兒積與數(shù)據(jù)庫
3.1.4 拓展
習題3.1
3.2 關(guān)系的概念與表示方法
3.2.1 關(guān)系的基本概念
3.2.2 拓展:n-ary關(guān)系與關(guān)系型數(shù)據(jù)庫
3.2.3 關(guān)系矩陣與關(guān)系圖
習題3.2
3.3 關(guān)系的運算
3.3.1 關(guān)系的逆運算
3.3.2 關(guān)系的復合運算
……
第4章 函數(shù)
第5章 代數(shù)系統(tǒng)
第6章 幾個特殊的代數(shù)系統(tǒng)
第7章 圖論基礎(chǔ)
第8章 樹
第9章 格與布爾代數(shù)
專用術(shù)語漢英對照
參考文獻
- >
我與地壇
- >
伊索寓言-世界文學名著典藏-全譯本
- >
詩經(jīng)-先民的歌唱
- >
羅曼·羅蘭讀書隨筆-精裝
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學概述
- >
二體千字文
- >
史學評論
- >
經(jīng)典常談