離散數(shù)學(xué)

內(nèi)容概要

　　《離散數(shù)學(xué)(英文版)》是信息與計(jì)算科學(xué)和計(jì)算機(jī)科學(xué)核心課程——離散數(shù)學(xué)的基礎(chǔ)教材。全書共分七章，分別介紹了離散數(shù)學(xué)的最基本內(nèi)容：命題邏輯、潮邏輯、集合理論、關(guān)系、圖論、樹和布爾代數(shù)。內(nèi)容敘述嚴(yán)謹(jǐn)，推理詳盡?！峨x散數(shù)學(xué)(英文版)》適合作為普通高等學(xué)校信息與計(jì)算科學(xué)專業(yè)和計(jì)算機(jī)專業(yè)學(xué)生離散數(shù)學(xué)課程的雙語教學(xué)教材，亦可作為自動(dòng)控制、電子工程、管理科學(xué)等有關(guān)專業(yè)的教學(xué)用書和工作人員的閱讀參考。

書籍目錄

1. Propositional Logic  1.1  Propositions and Connectives  1.2  Propositional WFF and Assignment  1.3  Propositional Equivalences  1.4  Disjunctive Normal Form  1.5  Functionally Complete Set of Logical Connectives  1.6  Rules of Inference2. Predicate Logic  2.1  Predicates and Quantifiers  2.2  Well-Formed Formulas in Predicate Logic  2.3  Equivalent Formulas  2.4  Prenex Normal Form  2.5  Inference Rules in Predicate Calculus3. Set Theory  3.1  Sets  3.2  Set Operations  3.3  Inclusion-Exclusion4. Relations  4.1  Cartesian Products and Relations  4.2  Properties of Relations  4.3  Representing Relations  4.4  Closure of Relations  4.5  Equivalence Relations  4.6  Partial Orderings5. Graphs  5.1  Graph Terminology  5.2  Representing Graphs and Graph Isomorphism  5.3  Subgraphs  5.4  Euler and Hamilton Paths  5.5  The Shortest-Path Problem  5.6  Planar Graphs6. Trees  6.1  Basic Concepts  6.2  Roots and Orderings  6.3  Spanning Trees7. Boolean Algebras  7.1  Basic Concepts  7.2  Boolean Functions  7.3  Logic Gates  7.4  Minimization of CircuitsReference

編輯推薦

《離散數(shù)學(xué)(英文版)》作為一個(gè)學(xué)期離散數(shù)學(xué)英語教學(xué)的教材，是作者經(jīng)過多年教學(xué)實(shí)踐，對講義反復(fù)增刪提煉的結(jié)晶?？紤]到課時(shí)的限制，《離散數(shù)學(xué)(英文版)》僅包含離散數(shù)學(xué)的最基本內(nèi)容：命題邏輯、謂詞邏輯、集合理論、關(guān)系、圖論、樹和布爾代數(shù)。《離散數(shù)學(xué)(英文版)》力求語言流暢、通俗易懂、簡明精練。為方便初次接觸數(shù)學(xué)英語的同學(xué)，書中配有部分常用專業(yè)詞匯的中文解釋?！峨x散數(shù)學(xué)(英文版)》適合作為普通高等學(xué)校計(jì)算機(jī)類和工程類本、?？粕碾x散數(shù)學(xué)外語或雙語教學(xué)教材，亦可作為其他相關(guān)專業(yè)的教學(xué)用書和工作人員的閱讀參考。

圖書封面

評論、評分、閱讀與下載

---

    離散數(shù)學(xué) PDF格式下載

---