●1.Propositional Logic
●1.1 Propositions and Connectives
●1.2 Propositional WFF and Assignment
●1.3 Prepositional Equivalences
●1.4 Disjunefive Normal Form
●1.5 Functionally Complete Set of Logical Connecdves
●1.6 Rules of Inferenee
●2.Predicate Logict
●2.1 Predicates and Quanfifiers
●2.2 WellFormed 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 Operationst
●3.3 Inclusion.Exclusion
●4.Relations
●4.1 Cartesian Products and Relations
●4.2 Properties of Relations......
內容簡介
《離散數學(英文版)》是信息與計算科學和計算機科學核心課程――離散數學的基礎教材。全書共分七章,分別介紹了離散數學的很基本內容:命題邏輯、謂詞邏輯、集合理論、關繫、圖論、樹和代數結構。內容敘述嚴謹,推理詳盡。
劉紅美編著的《離散數學(英文版)》可作為普通高等學校信息與計算科學專業和計算機專業學生離散數學課程的雙語教學教材,亦可作為自動控制、電子工程、管理科學等有關專業的教學用書和工作人員的閱讀參考。