国产在线观看免费黄色视频,开心深爱激情无码,极品人妻系列人妻30P

內(nèi)容簡介

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

作者簡介

暫缺《離散數(shù)學(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 Inference
2. 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 Calculus
3. Set Theory
3.1　Sets
3.2　Set Operations
3.3　Inclusion-Exclusion
4. 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 Orderings
5. 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 Graphs
6. Trees
6.1　Basic Concepts
6.2　Roots and Orderings
6.3　Spanning Trees
7. Boolean Algebras
7.1　Basic Concepts
7.2　Boolean Functions
7.3　Logic Gates
7.4　Minimization of Circuits
Reference