幫助中心 | 我的帳號 | 關於我們

離散數學概要(第3版)(英文版)

  • 作者:(美)D.J.亨特
  • 出版社:世界圖書出版公司
  • ISBN:9787519248512
  • 出版日期:2018/10/01
  • 裝幀:平裝
  • 頁數:492
人民幣:RMB 119 元      售價:
放入購物車
加入收藏夾

內容大鋼
    《離散數學概要》是一部教材,初版于2008年,這是第3版。主要面向電腦和數學等相關專業本科生,學時一個學期。本書旨在指導學生深入理解建立在數學複雜性之上的離散數學的基本理論,內容涉及邏輯思維,關係思維,遞歸式思維,數量思維和分析思維等5部分內容。為便於讀者快速了解全書內容,該書開頭首先引入核心和輔助內容樹圖,演算法理論出現在書的後半部分。書中有大量應用實例,最後一章介紹離散數學在生物、社會學、語言學、經濟學等領域的應用。

作者介紹
(美)D.J.亨特

目錄
Preface
How to Use This Book
Chapter 1  Logical Thinking
  1.1 Formal Logic
    1.1.1 Inquiry Problems
    1.1.2 Connectives and Propositions
    1.1.3 Truth Tables
    1.1.4 Logical Equivalences
  Exercises 1.1
  1.2 Propositional Logic
    1.2.1 Tautologies and Contradictions
    1.2.2 Derivation Rules
    1.2.3 Proof Sequences
    1.2.4 Forward-Backward
  Exercises 1.2
  1.3 Predicate Logic
    1.3.1 Predicates
    1.3.2 Quantifiers
    1.3.3 Translation
    1.3.4 Negation
    1.3.5 Two Common Constructions
  Exercises 1.3
  1.4 Logic in Mathematics
    1.4.1 The Role of Definitions in Mathematics
    1.4.2 Other Types of Mathematical Statements
    1.4.3 Counterexamples
    1.4.4 Axiomatic Systems
  Exercises 1.4
  1.5 Methods of Proof
    1.5.1 Direct Proofs
    1.5.2 Proof by Contraposition
    1.5.3 Proof by Contradiction
  Exercises 1.5
Chapter 2  Relational Thinking
  2.1 Graphs
    2.1.1 Edges and Vertices
    2.1.2 Terminology
    2.1.3 Modeling Relationships with Graphs
  Exercises 2.1
  2.2 Sets
    2.2.1 Membership and Containment
    2.2.2 New Sets from Old
    2.2.3 Identities
  Exercises 2.2
  2.3 Functions
    2.3.1 Definition and Examples
    2.3.2 One-to-One and Onto Functions
    2.3.3 New Functions from Old
  Exercises 2.3
  2.4 Relations and Equivalences

    2.4.1 Definition and Examples
    2.4.2 Graphs of Relations
    2.4.3 Relations vs. Functions
    2.4.4 Equivalence Relations
    2.4.5 Modular Arithmetic
  Exercises 2.4
  2.5 Partial Orderings
    2.5.1 Definition and Examples
    2.5.2 Hasse Diagrams
    2.5.3 Topological Sorting
    2.5.4 Isomorphisms
    2.5.5 Boolean Algebras*
  Exercises 2.5
  2.6 Graph Theory
    2.6.1 Graphs: Formal Definitions
  ……
Chapter 3  Recursive Thinking
Chapter 4  Quantitative Thinking
Chapter 5  Analytical Thinking
Chapter 6  Thinking Through Applications
Hints, Answers, and solutions to selected Exercises
Selected References
Index
Index of Symbols

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們Top↑
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話:02-2381-2033 02-2381-1863 時間:週一-週五 10:00-17:00
 服務信箱:bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證:浙B2-20060032