tailieunhanh - Ebook Discrete mathematics and its applications (6th edition): Part 1

(BQ) Part 1 book "Discrete mathematics and its applications" has contents: The foundations - Logic and proofs; basic structures - Sets, functions, sequences, and sums; the fundamentals -algorithms, the integers, and matrices; induction and recursion; counting; discrete probability. | Discrete Mathematics and Its Applications SIXTH EDITION 5 k ÌÍ . . V . s - - .I . Kenneth H. Rosen LIST OF SYMBOLS TOPIC SYMBOL MEANING PAGE LOGIC - P negation of p 3 p conjunction of p and q 4 pVq disjunction of p and q 4 p@q exclusive or of p and q 5 p 7 the implication p implies q 6 p Ơ biconditional of p and q 9 p 7 equivalence of p and q T tautology 24 F contradiction 24 P X x propositional function 32 VxP x universal quantification of P x 34 3xP x existential quantification of P x 36 3 .vP x uniqueness quantification of P x 37 therefore 63 p S q partial correctness of 5 323 SETS X e S X is a member of .S 112 X ệ s X is not a member of s 112 1 list of elements of a set 112 x 1 P x set builder notation 112 N set of natural numbers 112 z set of integers 112 z set of positive integers 113 Ọ set of rational numbers 113 R set of real numbers 113 S T set equality 113 0 the empty or null set 114 s c T s is a subset of T 114 ScT s is a proper subset of T 115 S cardinality of s 116 P S the power set of s 116 . an n-tuple 117 ordered pair 117 A X B Cartesian product of A and B 118 AU B union of A and B 121 AT B intersection of A and B 121 A- B the difference of A and B 123 Ã complement of A 123 ĨM Í-I union of A i n 127 n intersection of Aị. i n 128 i l A B symmetric difference of A and B 131 TOPIC SYMBOL MEANING PAGE FUNCTIONS f a value of the function f at a 133 f A - B function from A to B 133 f f2 sum of the functions f and 2 135 fl fl product of the functions f and 2 135 f S image of the set 5 under f 136 Ia s identity function on A 138 J x inverse of 139 og composition of f and g 140 Lx floor function of X 143 M ceiling function of X 143 an term of with subscript n 150 i 1 sum ofỡi Ơ2 153 sum of aa over a e s 156 aeS n n product ofữ Ơ2 . a i 162 f x is O g x x is big-ơ ofg x 180 n n factorial 185 f x is Q g x x is big-Omega of g x 189 f x is 0 g x f x is big-Theta of g x 189 asymptotic 192 min minimum of X and y 216 max x y maximum ofx andy 217 .