Preface |
|
vii | |
Acknowledgments |
|
ix | |
|
|
1 | (20) |
|
|
1 | (2) |
|
1.2 Basic Logical Operators |
|
|
3 | (4) |
|
1.3 Conditional Statements |
|
|
7 | (4) |
|
1.4 Propositional Equivalences |
|
|
11 | (6) |
|
|
17 | (4) |
|
|
21 | (16) |
|
|
21 | (1) |
|
|
22 | (5) |
|
2.3 Negations of Quantified Statements |
|
|
27 | (2) |
|
|
29 | (8) |
|
|
37 | (18) |
|
|
37 | (2) |
|
3.2 Rules of Inference for Propositional Logic |
|
|
39 | (3) |
|
3.3 Rules of Inference for Predicate Logic |
|
|
42 | (2) |
|
|
44 | (11) |
|
|
55 | (1) |
|
|
55 | (1) |
|
|
56 | (11) |
|
4.3 Proof by Counterexample |
|
|
57 | (1) |
|
4.4 Vacuous Proofs and Trivial Proofs |
|
|
58 | (1) |
|
|
58 | (1) |
|
4.6 Proofs by Contraposition and Proofs by Contradiction |
|
|
59 | (2) |
|
4.7 Proof by Cases and Proofs by Exhaustion |
|
|
61 | (1) |
|
4.8 Existence Proofs: Constructive Proofs and Nonconstructive Proofs |
|
|
62 | (1) |
|
4.9 Proof of a Disjunction |
|
|
63 | (1) |
|
|
63 | (4) |
|
|
67 | (26) |
|
5.1 Definitions and Notation |
|
|
67 | (6) |
|
|
73 | (4) |
|
5.3 Set Identities and Methods of Proof |
|
|
77 | (3) |
|
|
80 | (4) |
|
5.5 Computer Representation of Sets |
|
|
84 | (1) |
|
|
85 | (2) |
|
|
87 | (1) |
|
5.8 Paradoxes in Set Theory |
|
|
88 | (5) |
|
|
93 | (20) |
|
6.1 Definitions and Special Matrices |
|
|
93 | (3) |
|
6.2 Matrix Addition and Scalar Multiplication |
|
|
96 | (1) |
|
6.3 Matrix Multiplication |
|
|
97 | (3) |
|
|
100 | (4) |
|
|
104 | (1) |
|
6.6 Applications of Matrices |
|
|
105 | (8) |
|
|
113 | (18) |
|
|
113 | (4) |
|
|
117 | (4) |
|
7.3 One-to-One and Onto Functions |
|
|
121 | (2) |
|
7.4 Compositions of Functions |
|
|
123 | (8) |
|
|
131 | (24) |
|
|
131 | (2) |
|
8.2 Boolean Expressions and Boolean Functions |
|
|
133 | (2) |
|
8.3 Identities of Boolean Algebra |
|
|
135 | (1) |
|
8.4 Representing Boolean Functions |
|
|
136 | (2) |
|
8.5 Functional Completeness |
|
|
138 | (2) |
|
|
140 | (4) |
|
8.7 Minimization of Combinational Circuits |
|
|
144 | (11) |
|
|
155 | (22) |
|
|
155 | (1) |
|
9.2 Properties of Relations |
|
|
156 | (4) |
|
9.3 Representations of Relations |
|
|
160 | (5) |
|
9.4 Operations on Relations |
|
|
165 | (2) |
|
|
167 | (2) |
|
9.6 Equivalence Relations |
|
|
169 | (2) |
|
|
171 | (1) |
|
|
172 | (5) |
|
|
177 | (20) |
|
|
177 | (1) |
|
|
178 | (1) |
|
|
179 | (2) |
|
10.4 Greatest Common Divisors and Least Common Multiples |
|
|
181 | (3) |
|
|
184 | (2) |
|
|
186 | (6) |
|
10.7 Representations of Integers |
|
|
192 | (2) |
|
|
194 | (3) |
|
|
197 | (14) |
|
11.1 Classical Cryptography |
|
|
197 | (4) |
|
|
201 | (1) |
|
11.3 Private-Key Cryptography |
|
|
202 | (2) |
|
11.4 Public-Key Cryptography |
|
|
204 | (1) |
|
11.5 The RSA Cryptosystem |
|
|
205 | (6) |
|
|
211 | (20) |
|
12.1 Algorithm Requirements |
|
|
211 | (2) |
|
12.2 Algorithmic Paradigms |
|
|
213 | (2) |
|
12.3 Complexity of Algorithms |
|
|
215 | (2) |
|
12.4 Measuring Algorithm Efficiency |
|
|
217 | (6) |
|
|
223 | (4) |
|
|
227 | (4) |
|
|
231 | (18) |
|
13.1 Deductive Reasoning and Inductive Reasoning |
|
|
231 | (1) |
|
13.2 Mathematical Induction |
|
|
232 | (3) |
|
13.3 Applications of Mathematical Induction |
|
|
235 | (7) |
|
|
242 | (2) |
|
13.5 The Well-Ordering Principle |
|
|
244 | (5) |
|
|
249 | (22) |
|
|
249 | (2) |
|
14.2 Recursively Defined Functions |
|
|
251 | (1) |
|
14.3 Recursive Algorithms |
|
|
252 | (3) |
|
14.4 Solving Recurrence Relations by Iteration |
|
|
255 | (2) |
|
14.5 Solving Linear Homogeneous Recurrence Relations with Constant Coefficients |
|
|
257 | (4) |
|
14.6 Solving Linear Nonhomogeneous Recurrence Relations with Constant Coefficients |
|
|
261 | (4) |
|
14.7 Solving Recurrence Relations Using Generating Functions |
|
|
265 | (6) |
|
|
271 | (14) |
|
15.1 Basic Rules of Counting |
|
|
271 | (3) |
|
15.2 The Pigeonhole Principle |
|
|
274 | (2) |
|
15.3 Random Arrangements and Selections |
|
|
276 | (1) |
|
15.4 Permutations and Combinations |
|
|
277 | (3) |
|
|
280 | (5) |
|
|
285 | (22) |
|
|
285 | (2) |
|
16.2 The Axioms of Probability |
|
|
287 | (2) |
|
16.3 Joint Probability and Conditional Probability |
|
|
289 | (1) |
|
16.4 Statistically Independent Events and Mutually Exclusive Events |
|
|
290 | (3) |
|
16.5 Law of Total Probability and Bayes' Theorem |
|
|
293 | (4) |
|
16.6 Applications in Probability |
|
|
297 | (10) |
|
17 Discrete Random Variables |
|
|
307 | (20) |
|
17.1 The Cumulative Distribution Function |
|
|
307 | (1) |
|
17.2 The Probability Mass Function |
|
|
308 | (2) |
|
|
310 | (5) |
|
17.4 Conditional Distributions |
|
|
315 | (1) |
|
17.5 Upper Bounds on Probability |
|
|
316 | (2) |
|
17.6 Special Random Variables and Their Applications |
|
|
318 | (9) |
|
|
327 | (24) |
|
18.1 Basic Definitions and Terminology |
|
|
327 | (3) |
|
|
330 | (4) |
|
18.3 Graph Representation and Isomorphism |
|
|
334 | (3) |
|
|
337 | (4) |
|
18.5 Euler Circuits and Hamilton Circuits |
|
|
341 | (2) |
|
18.6 Shortest-Path Problem |
|
|
343 | (8) |
|
|
351 | (22) |
|
19.1 Basic Definitions and Terminology |
|
|
351 | (3) |
|
|
354 | (2) |
|
|
356 | (4) |
|
19.4 Minimum Spanning Trees |
|
|
360 | (2) |
|
19.5 Applications of Trees |
|
|
362 | (11) |
|
|
373 | (16) |
|
20.1 Types of Finite-State Machines |
|
|
373 | (2) |
|
20.2 Finite-State Machines with No Output |
|
|
375 | (7) |
|
20.3 Finite-State Machines with Output |
|
|
382 | (7) |
List of Symbols |
|
389 | (4) |
Glossary of Terms |
|
393 | (14) |
Bibliography |
|
407 | (2) |
Answers/Hints to Exercises |
|
409 | (32) |
Index |
|
441 | |