Adapter'sForword
Preface
TotheStudent
LISTOFSYMBOLS
Chapter1TheFoundations:LogicandProofs
11PropositionalLogic
12PropositionalEquivalences
13PredicatesandQuantiers
14NestedQuantiers
15RulesofInference
16IntroductiontoProofs
17ProofMethodsandStrategy
End-of-ChapterMaterial
Chapter2BasicStructures:Sets,Functions,Sequences,andSums
21Sets
22Setoperations
23Functions
24SequencesandSummations
End-of-ChapterMaterial
Chapter3Counting
31TheBasicsofCounting
32ThePigeonholePrinciple
33PermutationsandCombinations
34BinomialCoefcients
35GeneralizedPermutationsandCombinations
36GeneratingPermutationsandCombinations
End-of-ChapterMaterial179
Chapter4AdvancedCountingTechniques
41RecurrenceRelations
42SolvingLinearRecurrenceRelations
43Divide-and-ConquerAlgorithmsandRecurrenceRelations
44GeneratingFunctions
45Inclusion-Exclusion
46ApplicationsofInclusion-Exclusion
End-of-ChapterMaterial
Chapter5Relations
51RelationsandTheirProperties
52naryRelationsandTheirApplications
53RepresentingRelations
54ClosuresofRelations
55EquivalenceRelations
56PartialOrderings
End-of-ChapterMaterial
Chapter6Graphs304
61GraphsandGraphModels
62GraphTerminologyandSpecialTypesofGraphs
63RepresentingGraphsandGraphIsomorphism
64Connectivity
65EulerandHamiltonPaths
66Shortest-PathProblems
67PlanarGraphs
68GraphColoring
End-of-ChapterMaterial
Chapter7Trees
71IntroductiontoTrees
72ApplicationsofTrees
73TreeTraversal
74SpanningTrees
75MinimumSpanningTrees
End-of-ChapterMaterial
AnswerstoExercises