Preface |
|
ix | |
Authors |
|
xi | |
|
|
1 | (38) |
|
|
1 | (1) |
|
|
1 | (1) |
|
1.3 Compound Propositions |
|
|
1 | (1) |
|
|
2 | (1) |
|
|
2 | (7) |
|
|
2 | (1) |
|
|
2 | (1) |
|
|
3 | (1) |
|
1.5.4 Molecular Statements |
|
|
3 | (1) |
|
1.5.5 Conditional Statement [ If ... then] [ →] |
|
|
3 | (1) |
|
1.5.6 Biconditional [ If and only if or iff] [ ↔ or] |
|
|
4 | (1) |
|
|
4 | (2) |
|
|
6 | (1) |
|
|
6 | (1) |
|
|
6 | (1) |
|
1.5.11 Equivalence Formulas |
|
|
6 | (1) |
|
1.5.12 Equivalent Formulas |
|
|
7 | (1) |
|
|
7 | (1) |
|
1.5.14 Tautological Implication |
|
|
7 | (1) |
|
1.5.15 Some More Equivalence Formulas |
|
|
7 | (1) |
|
|
8 | (1) |
|
|
9 | (4) |
|
1.6.1 Principal Disjunctive Normal Form or Sum of Products Canonical Form |
|
|
9 | (1) |
|
1.6.2 Principal Conjunctive Normal Form or Product of Sum Canonical Form |
|
|
10 | (1) |
|
|
10 | (3) |
|
|
13 | (6) |
|
|
14 | (1) |
|
|
15 | (4) |
|
1.8 Indirect Method of Proof |
|
|
19 | (2) |
|
1.8.1 Method of Contradiction |
|
|
19 | (1) |
|
|
19 | (2) |
|
1.9 Method of Contrapositive |
|
|
21 | (1) |
|
|
21 | (1) |
|
1.10 Various Methods of Proof |
|
|
21 | (1) |
|
|
21 | (1) |
|
|
22 | (1) |
|
|
22 | (1) |
|
|
22 | (10) |
|
|
23 | (1) |
|
1.11.2 Universe of Discourse, Free and Bound Variables |
|
|
23 | (1) |
|
|
24 | (4) |
|
1.11.4 Inference Theory for Predicate Calculus |
|
|
28 | (1) |
|
|
28 | (4) |
|
1.12 Additional Solved Problems |
|
|
32 | (7) |
|
|
39 | (96) |
|
|
39 | (1) |
|
2.2 Mathematical Induction |
|
|
39 | (19) |
|
2.2.1 Principle of Mathematical Induction |
|
|
39 | (1) |
|
2.2.2 Procedure to Prove that a Statement P(n) is True for all Natural Numbers |
|
|
40 | (1) |
|
|
40 | (16) |
|
2.2.4 Problems for Practice |
|
|
56 | (1) |
|
|
57 | (1) |
|
2.2.6 Well-Ordering Property |
|
|
57 | (1) |
|
|
58 | (12) |
|
2.3.1 Generalized Pigeonhole Principle |
|
|
58 | (1) |
|
|
58 | (2) |
|
2.3.3 Another Form of Generalized Pigeonhole Principle |
|
|
60 | (1) |
|
|
61 | (8) |
|
2.3.5 Problems for Practice |
|
|
69 | (1) |
|
|
70 | (10) |
|
2.4.1 Permutations with Repetitions |
|
|
71 | (1) |
|
|
72 | (7) |
|
2.4.3 Problems for Practice |
|
|
79 | (1) |
|
|
80 | (10) |
|
|
81 | (4) |
|
2.5.2 Problems for Practice |
|
|
85 | (2) |
|
2.5.3 Recurrence Relation |
|
|
87 | (1) |
|
|
87 | (1) |
|
2.5.5 Linear Recurrence Relation |
|
|
88 | (1) |
|
2.5.6 Homogenous Recurrence Relation |
|
|
88 | (1) |
|
2.5.7 Recurrence Relations Obtained from Solutions |
|
|
89 | (1) |
|
2.6 Solving Linear Homogenous Recurrence Relations |
|
|
90 | (5) |
|
2.6.1 Characteristic Equation |
|
|
91 | (1) |
|
2.6.2 Algorithm for Solving kth-order Homogenous Linear Recurrence Relations |
|
|
91 | (1) |
|
|
92 | (3) |
|
2.7 Solving Linear Non-homogenous Recurrence Relations |
|
|
95 | (8) |
|
|
96 | (6) |
|
2.7.2 Problems for Practice |
|
|
102 | (1) |
|
|
103 | (14) |
|
|
103 | (3) |
|
2.8.2 Solution of Recurrence Relations Using Generating Function |
|
|
106 | (1) |
|
|
106 | (10) |
|
2.8.4 Problems for Practice |
|
|
116 | (1) |
|
2.9 Inclusion-Exclusion Principle |
|
|
117 | (18) |
|
|
118 | (13) |
|
2.9.2 Problems for Practice |
|
|
131 | (4) |
|
|
135 | (38) |
|
|
135 | (1) |
|
3.2 Graphs and Graph Models |
|
|
135 | (3) |
|
3.3 Graph Terminology and Special Types of Graphs |
|
|
138 | (11) |
|
|
140 | (5) |
|
|
145 | (1) |
|
|
145 | (4) |
|
3.4 Representing Graphs and Graph Isomorphism |
|
|
149 | (7) |
|
|
151 | (4) |
|
3.4.2 Problems for Practice |
|
|
155 | (1) |
|
|
156 | (5) |
|
3.5.1 Connected and Disconnected Graphs |
|
|
158 | (3) |
|
3.6 Eulerian and Hamiltonian Paths |
|
|
161 | (12) |
|
3.6.1 Hamiltonian Path and Hamiltonian Circuits |
|
|
163 | (1) |
|
|
164 | (5) |
|
3.6.3 Problems for Practice |
|
|
169 | (1) |
|
3.6.4 Additional Problems for Practice |
|
|
169 | (4) |
|
|
173 | (50) |
|
|
173 | (1) |
|
|
173 | (50) |
|
4.2.1 Semigroups and Monoids |
|
|
174 | (1) |
|
|
175 | (8) |
|
|
183 | (3) |
|
|
186 | (6) |
|
|
192 | (1) |
|
|
193 | (2) |
|
|
195 | (2) |
|
4.2.8 Cosets and Normal Subgroups |
|
|
197 | (5) |
|
|
202 | (6) |
|
4.2.10 Permutation Functions |
|
|
208 | (3) |
|
|
211 | (5) |
|
4.2.12 Problems for Practice |
|
|
216 | (1) |
|
|
217 | (3) |
|
|
220 | (2) |
|
4.2.15 Problems for Practice |
|
|
222 | (1) |
|
5 Lattices and Boolean Algebra |
|
|
223 | (34) |
|
|
223 | (1) |
|
5.2 Partial Ordering and Posets |
|
|
223 | (8) |
|
5.2.1 Representation of a Poset by Hasse Diagram |
|
|
224 | (2) |
|
|
226 | (4) |
|
5.2.3 Problems for Practice |
|
|
230 | (1) |
|
5.3 Lattices, Sublattices, Direct Product, Homomorphism of Lattices |
|
|
231 | (9) |
|
5.3.1 Properties of Lattices |
|
|
231 | (2) |
|
5.3.2 Theorems on Lattices |
|
|
233 | (3) |
|
|
236 | (4) |
|
5.3.4 Problem for Practice |
|
|
240 | (1) |
|
|
240 | (8) |
|
|
242 | (5) |
|
5.4.2 Problems for Practice |
|
|
247 | (1) |
|
|
248 | (9) |
|
|
252 | (3) |
|
5.5.2 Problems for Practice |
|
|
255 | (2) |
Bibliography |
|
257 | (2) |
Index |
|
259 | |