Discrete Mathematics for Computer Science

Index 597 probability, 504 injection, 234 Inclusion-Exclusion, 491 cross product form, 500 injective, 234, 434 inclusive or, 15, ...

598 Index least upper bound, 217 occur, (^478) polynomial, 291 left child, (^381) odd integer, 75 function, 291 lemma, (^53) odd ...

Index 599 quantification,^135 cross product,^496 second kind,^469 existential, 135 SAT, 310 straight flush, 449 universal, 135 s ...

600 Index trial, 498 Universal Algorithm, 320 odd, 334 dependent, (^516) universal quantification, 135 terminal, 371 triangle, 3 ...

Terms Meaning Section Functions F: X --- Y Function with dom. X and codom. Y 4.1.2 y = F(x) Image of x under F 4.1.2 F-1(y) Inve ...

Terms Meaning Section Aim, ni or A(m, it) Two dimensional array notation 6.5 W(G) = ZeeE(G) w(e) Weight of graph G 6.11.3 indeg( ...

In recent years, an increasing number of computer scientists from diverse areas have used discrete mathematical structures to ex ...