出版時(shí)間:2005-1-1 出版社:機(jī)械工業(yè)出版社 作者:Andrew Simpson,馮速 譯者:馮速
Tag標(biāo)簽:無(wú)
內(nèi)容概要
本書通過(guò)大量簡(jiǎn)單易懂的示例和練習(xí)介紹了有關(guān)離散數(shù)學(xué)的基本概念與基礎(chǔ)知識(shí),并把理論知識(shí)與一系列實(shí)際應(yīng)用聯(lián)系起來(lái)。主要內(nèi)容包括:命題邏輯和謂詞邏輯、類型集合論、布爾代數(shù)、關(guān)系、函數(shù)、序列、歸納法、圖論、組合數(shù)學(xué)等。通過(guò)適當(dāng)?shù)慕虒W(xué)方法,可以加深學(xué)生對(duì)離散數(shù)學(xué)的理解。 本書適合所有學(xué)習(xí)離散數(shù)學(xué)的學(xué)生,并可作為相關(guān)專業(yè)的教材。
作者簡(jiǎn)介
Andrew Simpson目前任教于牛津大學(xué),擔(dān)任軟件工程項(xiàng)目主任。他擁有牛津大學(xué)的計(jì)算機(jī)專業(yè)碩士和博士學(xué)位。他曾在牛津大學(xué)、牛津魯斯金等學(xué)院和北倫敦大學(xué)講授各種層次離散數(shù)學(xué)課程,擁有豐富的教學(xué)經(jīng)驗(yàn)和理論知識(shí),以在教學(xué)中善于結(jié)合實(shí)際需求著稱。
書籍目錄
出版者的話專家指志委員會(huì)譯者序第1章 導(dǎo)論 1.1 學(xué)習(xí)動(dòng)機(jī) 1.2 教材內(nèi)容 1.3 組織結(jié)構(gòu)第2章 數(shù) 2.1 自然數(shù) 2.2 Peano算術(shù) 2.3 其他類型的數(shù) 2.4 附加練習(xí) 2.5 練習(xí)解答第3章 命題邏輯 3.1 原子命題 3.2 真值 3.3 否定運(yùn)算符 3.4 合取運(yùn)算符 3.5 析取運(yùn)算符 3.6 蘊(yùn)合運(yùn)算符 3.7 等值運(yùn)算符 3.8 運(yùn)算的優(yōu)先級(jí) 3.9 重言式、矛盾式和不定式 3.10 真值表 3.11 等值推理 3.12 自然演繹 3.13 附加練習(xí) 3.14 練習(xí)解答第4章 集合論 4.1 集合 4.2 單集 4.3 空集 4.4 集合成員 4.5 子集 4.6 超集 4.7 集合的并集 4.8 集合的交集 4.9 集合的差集 4.10 有關(guān)集合的推理 ……第5章 布爾代數(shù)第6章 類型集合論第7章 謂詞邏輯第8章 關(guān)系第9章 函數(shù)第10章 序列第11章 歸納法第12章 圖論第13章 組合數(shù)學(xué)第14章 應(yīng)用實(shí)例參考文獻(xiàn)
圖書封面
圖書標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載
離散數(shù)學(xué)導(dǎo)學(xué) PDF格式下載