出版時間:1999-04-01 出版社:科學出版社 作者:金晶
內(nèi)容概要
本書闡述了離散數(shù)學的基本概念、基本思想和基本方法,內(nèi)容主要包括數(shù)理邏輯、集合論、代數(shù)系統(tǒng)與圖論四部分,每章后附有豐富的習題,便于加強讀者對章節(jié)內(nèi)容的理解與掌握。本書通俗易懂,循序漸進,適合作為計算機相關專業(yè)的大專教材,講授時間約需72學時。本書也可作為有關專業(yè)的數(shù)學工具書或參考書。
書籍目錄
第一章數(shù)理邏輯
第一節(jié)命題邏輯
一、命題及其表示法
二、命題公式、真值表與等價公式
三、重言式與重言蘊含式
四、對偶與范式
五、命題演算的推理理論
習題1.1
第二節(jié)謂詞邏輯
一、謂詞、個體詞和量詞
二、謂詞公式
三、等價式與重言蘊含式
四、前束范式
五、謂詞演算的推理理論
習題1.2
第二章集合論
第一節(jié)集合及集合間的關系
一、集合的概念及其表示法
二、集合間
圖書封面
評論、評分、閱讀與下載