|
|
1 | (22) |
|
|
1 | (1) |
|
1.2 Sets and Elements, Subsets |
|
|
1 | (2) |
|
|
3 | (1) |
|
|
4 | (3) |
|
1.5 Algebra of Sets, Duality |
|
|
7 | (1) |
|
1.6 Finite Sets, Counting Principle |
|
|
8 | (2) |
|
1.7 Classes of Sets, Power Sets, Partitions |
|
|
10 | (2) |
|
1.8 Mathematical Induction |
|
|
12 | (11) |
|
|
12 | (6) |
|
|
18 | (5) |
|
|
23 | (20) |
|
|
23 | (1) |
|
|
23 | (1) |
|
|
24 | (1) |
|
2.4 Pictorial Representatives of Relations |
|
|
25 | (2) |
|
2.5 Composition of Relations |
|
|
27 | (1) |
|
|
28 | (2) |
|
|
30 | (1) |
|
2.8 Equivalence Relations |
|
|
31 | (2) |
|
2.9 Partial Ordering Relations |
|
|
33 | (10) |
|
|
34 | (6) |
|
|
40 | (3) |
|
Chapter 3 Functions and Algorithms |
|
|
43 | (27) |
|
|
43 | (1) |
|
|
43 | (3) |
|
3.3 One-to-One, Onto, and Invertible Functions |
|
|
46 | (1) |
|
3.4 Mathematical Functions, Exponential and Logarithmic Functions |
|
|
47 | (3) |
|
3.5 Sequences, Indexed Classes of Sets |
|
|
50 | (2) |
|
3.6 Recursively Defined Functions |
|
|
52 | (3) |
|
|
55 | (1) |
|
3.8 Algorithms and Functions |
|
|
56 | (1) |
|
3.9 Complexity of Algorithms |
|
|
57 | (13) |
|
|
60 | (6) |
|
|
66 | (4) |
|
Chapter 4 Logic and Propositional Calculus |
|
|
70 | (18) |
|
|
70 | (1) |
|
4.2 Propositions and Compound Statements |
|
|
70 | (1) |
|
4.3 Basic Logical Operations |
|
|
71 | (1) |
|
4.4 Propositions and Truth Tables |
|
|
72 | (2) |
|
4.5 Tautologies and Contradictions |
|
|
74 | (1) |
|
|
74 | (1) |
|
4.7 Algebra of Propositions |
|
|
75 | (1) |
|
4.8 Conditional and Biconditional Statements |
|
|
75 | (1) |
|
|
76 | (1) |
|
4.10 Propositional Functions, Quantifiers |
|
|
77 | (2) |
|
4.11 Negation of Quantified Statements |
|
|
79 | (9) |
|
|
82 | (4) |
|
|
86 | (2) |
|
Chapter 5 Counting: Permutations and Combinations |
|
|
88 | (19) |
|
|
88 | (1) |
|
5.2 Basic Counting Principles |
|
|
88 | (1) |
|
5.3 Mathematical Functions |
|
|
89 | (2) |
|
|
91 | (2) |
|
|
93 | (1) |
|
5.6 The Pigeonhole Principle |
|
|
94 | (1) |
|
5.7 The Inclusion-Exclusion Principle |
|
|
95 | (1) |
|
|
95 | (12) |
|
|
96 | (7) |
|
|
103 | (4) |
|
Chapter 6 Advanced Counting Techniques, Recursion |
|
|
107 | (16) |
|
|
107 | (1) |
|
6.2 Combinations with Repetitions |
|
|
107 | (1) |
|
6.3 Ordered and Unordered Partitions |
|
|
108 | (1) |
|
6.4 Inclusion-Exclusion Principle Revisited |
|
|
108 | (2) |
|
6.5 Pigeonhole Principle Revisited |
|
|
110 | (1) |
|
|
111 | (2) |
|
6.7 Linear Recurrence Relations with Constant Coefficients |
|
|
113 | (1) |
|
6.8 Solving Second-Order Homogeneous Linear Recurrence Relations |
|
|
114 | (2) |
|
6.9 Solving General Homogeneous Linear Recurrence Relations |
|
|
116 | (7) |
|
|
118 | (3) |
|
|
121 | (2) |
|
Chapter 7 Discrete Probability Theory |
|
|
123 | (31) |
|
|
123 | (1) |
|
7.2 Sample Space and Events |
|
|
123 | (3) |
|
7.3 Finite Probability Spaces |
|
|
126 | (1) |
|
7.4 Conditional Probability |
|
|
127 | (2) |
|
|
129 | (1) |
|
7.6 Independent Repeated Trials, Binomial Distribution |
|
|
130 | (1) |
|
|
131 | (5) |
|
7.8 Chebyshev's Inequality, Law of Large Numbers |
|
|
136 | (18) |
|
|
137 | (12) |
|
|
149 | (5) |
|
|
154 | (47) |
|
8.1 Introduction, Data Structures |
|
|
154 | (2) |
|
8.2 Graphs and Multigraphs |
|
|
156 | (2) |
|
8.3 Subgraphs, Isomorphic and Homeomorphic Graphs |
|
|
158 | (1) |
|
|
159 | (1) |
|
8.5 Traversable and Eulerian Graphs, Bridges of Konigsberg |
|
|
160 | (2) |
|
8.6 Labeled and Weighted Graphs |
|
|
162 | (1) |
|
8.7 Complete, Regular, and Bipartite Graphs |
|
|
162 | (2) |
|
|
164 | (2) |
|
|
166 | (2) |
|
|
168 | (3) |
|
8.11 Representing Graphs in Computer Memory |
|
|
171 | (2) |
|
|
173 | (3) |
|
8.13 Traveling-Salesman Problem |
|
|
176 | (25) |
|
|
178 | (13) |
|
|
191 | (10) |
|
Chapter 9 Directed Graphs |
|
|
201 | (34) |
|
|
201 | (1) |
|
|
201 | (1) |
|
|
202 | (2) |
|
|
204 | (2) |
|
9.5 Sequential Representation of Directed Graphs |
|
|
206 | (3) |
|
9.6 Warshall's Algorithm, Shortest Paths |
|
|
209 | (2) |
|
9.7 Linked Representation of Directed Graphs |
|
|
211 | (2) |
|
9.8 Graph Algorithms: Depth-First and Breadth-First Searches |
|
|
213 | (3) |
|
9.9 Directed Cycle-Free Graphs, Topological Sort |
|
|
216 | (2) |
|
9.10 Pruning Algorithm for Shortest Path |
|
|
218 | (17) |
|
|
221 | (7) |
|
|
228 | (7) |
|
|
235 | (29) |
|
|
235 | (1) |
|
|
235 | (2) |
|
10.3 Complete and Extended Binary Trees |
|
|
237 | (2) |
|
10.4 Representing Binary Trees in Memory |
|
|
239 | (1) |
|
10.5 Traversing Binary Trees |
|
|
240 | (2) |
|
|
242 | (2) |
|
10.7 Priority Queues, Heaps |
|
|
244 | (4) |
|
10.8 Path Lengths, Huffman's Algorithm |
|
|
248 | (3) |
|
10.9 General (Ordered Rooted) Trees Revisited |
|
|
251 | (13) |
|
|
252 | (7) |
|
|
259 | (5) |
|
Chapter 11 Properties of the Integers |
|
|
264 | (39) |
|
|
264 | (1) |
|
11.2 Order and Inequalities, Absolute Value |
|
|
265 | (1) |
|
11.3 Mathematical Induction |
|
|
266 | (1) |
|
|
267 | (2) |
|
11.5 Divisibility, Primes |
|
|
269 | (1) |
|
11.6 Greatest Common Divisor, Euclidean Algorithm |
|
|
270 | (3) |
|
11.7 Fundamental Theorem of Arithmetic |
|
|
273 | (1) |
|
|
274 | (4) |
|
11.9 Congruence Equations |
|
|
278 | (25) |
|
|
283 | (16) |
|
|
299 | (4) |
|
Chapter 12 Languages, Automata, Grammars |
|
|
303 | (20) |
|
|
303 | (1) |
|
12.2 Alphabet, Words, Free Semigroup |
|
|
303 | (1) |
|
|
304 | (1) |
|
12.4 Regular Expressions, Regular Languages |
|
|
305 | (1) |
|
12.5 Finite State Automata |
|
|
306 | (4) |
|
|
310 | (13) |
|
|
314 | (5) |
|
|
319 | (4) |
|
Chapter 13 Finite State Machines and Turing Machines |
|
|
323 | (14) |
|
|
323 | (1) |
|
13.2 Finite State Machines |
|
|
323 | (3) |
|
|
326 | (1) |
|
|
326 | (4) |
|
13.5 Computable Functions |
|
|
330 | (7) |
|
|
331 | (3) |
|
|
334 | (3) |
|
Chapter 14 Ordered Sets and Lattices |
|
|
337 | (31) |
|
|
337 | (1) |
|
|
337 | (3) |
|
14.3 Hasse Diagrams of Partially Ordered Sets |
|
|
340 | (2) |
|
14.4 Consistent Enumeration |
|
|
342 | (1) |
|
14.5 Supremum and Infimum |
|
|
342 | (2) |
|
14.6 Isomorphic (Similar) Ordered Sets |
|
|
344 | (1) |
|
|
344 | (2) |
|
|
346 | (2) |
|
|
348 | (1) |
|
14.10 Distributive Lattices |
|
|
349 | (1) |
|
14.11 Complements, Complemented Lattices |
|
|
350 | (18) |
|
|
351 | (9) |
|
|
360 | (8) |
|
Chapter 15 Boolean Algebra |
|
|
368 | (64) |
|
|
368 | (1) |
|
|
368 | (1) |
|
|
369 | (1) |
|
|
370 | (1) |
|
15.5 Boolean Algebras as Lattices |
|
|
370 | (1) |
|
15.6 Representation Theorem |
|
|
371 | (1) |
|
15.7 Sum-of-Products Form for Sets |
|
|
371 | (1) |
|
15.8 Sum-of-Products Form for Boolean Algebras |
|
|
372 | (3) |
|
15.9 Minimal Boolean Expressions, Prime Implicants |
|
|
375 | (2) |
|
15.10 Logic Gates and Circuits |
|
|
377 | (4) |
|
15.11 Truth Tables, Boolean Functions |
|
|
381 | (2) |
|
|
383 | (26) |
|
|
389 | (14) |
|
|
403 | (6) |
|
|
409 | (1) |
|
|
409 | (1) |
|
|
409 | (1) |
|
|
410 | (1) |
|
A.4 Matrix Addition and Scalar Multiplication |
|
|
411 | (1) |
|
A.5 Matrix Multiplication |
|
|
412 | (2) |
|
|
414 | (1) |
|
|
414 | (1) |
|
A.8 Invertible (Nonsingular) Matrices, Inverses |
|
|
415 | (1) |
|
|
416 | (2) |
|
A.10 Elementary Row Operations, Gaussian Elimination (Optional) |
|
|
418 | (4) |
|
A.11 Boolean (Zero-One) Matrices |
|
|
422 | (10) |
|
|
423 | (6) |
|
|
429 | (3) |
|
Appendix B Algebraic Systems |
|
|
432 | (35) |
|
|
432 | (1) |
|
|
432 | (3) |
|
|
435 | (3) |
|
|
438 | (2) |
|
B.5 Subgroups, Normal Subgroups, and Homomorphisms |
|
|
440 | (3) |
|
B.6 Rings, Integral Domains, and Fields |
|
|
443 | (3) |
|
B.7 Polynomials Over a Field |
|
|
446 | (21) |
|
|
450 | (11) |
|
|
461 | (6) |
Index |
|
467 | |