《离散数学及其应用(英文精编版·第6版)》内容简介：Kenneth H. Rosen: Discrete Mathematics and Its Applications, Sixth Edition (ISBN 978-0-07-288008-3). Copyright . 2007 by Kenneth H. Rosen. All rights reserved. No part of this publication may be reproduced or transmitted in any form or by
any means, electronic or mechanical, including without limitation photocopying, recording, taping, or any database, information or retrieval system, without the prior written permission of the publisher. This authorized English Adapt

Adapter's Forword
Preface
To the Student
LIST OF SYMBOLS
Chapter 1 The Foundations: Logic and Proofs 1
11 Propositi0nal Logic 1
12 Propositi0nal Equivalences 16
13 Predicates and Quantiers 24
14 Nested Quantiers 40
15 Rules of Inference 49
16 Introduction to Proofs 59
17 Proof Methods and Strategy 69
End-of-Chapter Material 84

Chapter 2 Basic Structures: Sets, Functions, Sequences, and Sums 91
21 Sets 91
22 Setoperations 98
23 Functions107
24 Sequences and Summations 120
End-of-Chapter Material 131

Chapter3 Counting 137
31 The Basics of Counting 137
32 The Pigeon hole Principle 147
33 Permutations and Combinations 153
34 BinomialCoefcients159
35 Generalized Permutations and Combinations 166
36 Generating Permutations and Combinations 175
End-of-Chapter Material 179

Chapter 4 Advanced Counting Techniques 187
41 Recurrence Relations 187
42 Solving Linear Recurrence Relations 196
43 Divide-and-Conquer Algorithms and Recurrence Relations 207
44 Generating Functions 215
45 Inclusion-Exclusion 227
46 ApplicationsofInclusion-Exclusion233
End-of-Chapter Material 239

Chapter 5 Relations 246
51 Relations and Their Properties 246
52 nary Relations and Their Applications 254
53 Representing Relations 260
54 Closures of Relations 266
55 Equivalence Relations 275
56 Partial Orderings 283
End-of-Chapter Material 296
Chapter 6 Graphs304
61 Graphs and Graph Models 304
62 GraphTerminologyandSpecialTypes of Graphs 312
63 Representing Graphs and GraphIsomorphism 323
64 Connectivity 332
65 Eulerand Hamilton Paths 340
66 Shortest-Path Problems 351
67 PlanarGraphs360
68 Graph Coloring 367
End-of-Chapter Material 374

Chapter 7 Trees 384
71 IntroductiontoTrees 384
72 ApplicationsofTrees 394
73 TreeTraversal 407
74 SpanningTrees 418
75 MinimumSpanningTrees 430
End-of-Chapter Material 435
Answers to Exercises1

《离散数学及其应用(英文精编版·第6版)》是介绍离散数学理论和方法的经典教材。已经成为采用率*高的离散数学教材，仅在美国就被600多所高校用作教材，并获得了极大的成功。第6版在前5版的基础上做了大量的改进。使其成为更有效的教学工具。《离散数学及其应用(英文精编版·第6版)》基于该书第6版进行改编。保留了国内离散数学课程涉及的基本内容，更加适合作为国内高校计算机及相关专业本科生的离散数学课程教材。《离散数学及其应用(英文精编版·第6版)》的具体改编情况如下：·补充了第1章中的基础内容。详细描述了范式和标准型。·删去了在其他课程中讲授的内容，如数论、离散概率、归纳和递归等。·对于保留章节。删去了编号为偶数的练习题。·删去了相关的历史资料。