書馨卡幫你省薪 2024個人購書報告 2024中圖網(wǎng)年度報告
歡迎光臨中圖網(wǎng) 請 | 注冊

離散數(shù)學

出版社：中國地質(zhì)大學出版社出版時間：2008-09-01
開本： 16開 頁數(shù)： 257
本類榜單：自然科學銷量榜
中 圖 價:¥11.9(3.6折) 定價  ¥33.0 登錄后可看到會員價
加入購物車 收藏
運費6元，滿39元免運費
?新疆、西藏除外
溫馨提示：5折以下圖書主要為出版社尾貨，大部分為全新（有塑封/無塑封），個別圖書品相8-9成新、切口
有劃線標記、光盤等附件不全詳細品相說明>>
本類五星書更多>

離散數(shù)學 版權(quán)信息

離散數(shù)學 內(nèi)容簡介

離散數(shù)學是現(xiàn)代數(shù)學的一個重要分支，是計算機類專業(yè)的重要基礎課程。本書全面介紹了離散數(shù)學的主要內(nèi)容，即數(shù)理邏輯初步、集合論、代數(shù)結(jié)構(gòu)、圖論等基本內(nèi)容，并對離散數(shù)學的應用進行了初步介紹。

離散數(shù)學 目錄

第1章　命題邏輯
1.1　命題與聯(lián)結(jié)詞
1.2　命題公式
1.3　等值演算
1.4　范式
1.5　聯(lián)結(jié)詞的完備集
1.6　命題邏輯的推理演算
1.7　命題邏輯在計算機科學中的應用
小結(jié)
習題
第2章　謂詞邏輯
2.1　個體、謂詞和量詞
2.2　謂詞公式
2.3　等值演算
2.4　范式
2.5　謂詞邏輯的推理演算
2.6　謂詞邏輯在計算機科學中的應用
小結(jié)
習題
第3章　非經(jīng)典邏輯簡介
3.1 引言
3.2　模態(tài)邏輯
3.3　多值邏輯
3.4　非單調(diào)邏輯
小結(jié)
習題
第4章　集合
　4.1　集合及其表示
　4.2　集合的運算
　4.3　文氏圖
　小結(jié)
　習題
第5章　關(guān)系
　5.1　關(guān)系及其表示
5.2　關(guān)系的性質(zhì)
5.3　關(guān)系的運算
5.4　等價關(guān)系
5.5　偏序關(guān)系
5.6　關(guān)系在計算機科學中的應用
小結(jié)
習題
第6章　函數(shù)
6.1 函數(shù)的基本概念
6.2　函數(shù)的性質(zhì)
6.3　函數(shù)的運算
6.4　集合的特征函數(shù)
6.5　集合的基數(shù)
6.6　經(jīng)典集合的擴展
小結(jié)
習題
第7章　代數(shù)結(jié)構(gòu)
7.1　代數(shù)結(jié)構(gòu)及其性質(zhì)
7.2　同態(tài)與同構(gòu)
7.3　同余與商代數(shù)
小結(jié)
習題
第8章　群
　8.1　群及其性質(zhì)
　8.2　置換群與循環(huán)群
　8.3　陪集和拉格朗日定理
　8.4　正規(guī)子群與群同態(tài)基本定理
　8.5　群在計算機科學中的應用
　小結(jié)
　習題
第9章　布爾代數(shù)
9.1　概述
9.2　格
9.3　布爾代數(shù)
9.4　布爾表達式與布爾函數(shù)
9.5　布爾代數(shù)的同態(tài)與同構(gòu)
小結(jié)
習題
第10章　圖的基本概念
第11章　特殊圖
參考文獻
展開全部

離散數(shù)學 節(jié)選

第1章 命題邏輯
邏輯學是研究推理過程規(guī)律的一門科學。數(shù)理邏輯則是用數(shù)學的方法研究思維規(guī)律的一門學科·由于它使用了一套符號，簡潔地表達出各種推理的邏輯關(guān)系，因此數(shù)理邏輯又稱為符號邏輯或理論邏輯。
數(shù)理邏輯和計算機的發(fā)展有著密切的聯(lián)系，它為機器證明、自動程序設計、計算機輔助設計等計算機應用和理論研究提供了必要的理論基礎。
數(shù)理邏輯的主要分支包括公理化集合論、證明論、遞歸函數(shù)論、模型論等。從本章開始，我們用三章的篇幅介紹數(shù)理邏輯的基本內(nèi)容：命題邏輯、謂詞邏輯和非經(jīng)典邏輯簡介。
命題邏輯研究的是以原子命題為基本單位的推理演算，其特征在于，研究和考查邏輯形式時，我們把一個命題只分析到其中所含的原子命題成分為止。通過這樣的分析可以顯示出一些重要的邏輯形式，這種形式和有關(guān)的邏輯規(guī)律就是命題邏輯。
　　1.1　命題與聯(lián)結(jié)詞
　　1.1.1 命題與命題變元
語言的單位是句子。句子可以分為疑問句、祈使句、感嘆句與陳述句等，其中只有陳述句能分辨真假，其他類型的句子無所謂真假。
定義1.1 能夠分辨真假的陳述句叫做命題（Proposition）
從這個定義可以看出命題有兩層含義。①命題是陳述句。其他的語句，如疑問句、祈使句、感嘆句均不是命題。②這個陳述句表示的內(nèi)容可以分辨真假，而且不是真就是假，不能不真也不假，也不能既真又假。
　　……

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網(wǎng)
在線客服