Mathematics for Computer Science

“mcs” — 2017/3/3 — 11:21 — page 975 — #983
975
INDEX
generating functions, 546
geometric distribution, 817, 817
geometric series, 675
geometric sum, 547
Gödel, Kurt, 263
going broke, 905
Goldbach, 7
Goldbach’s Conjecture, see also prime,
62, 302
golden ratio, 296, 334
good count, 232, 704, 705
Google, 905
googol, 43
graph
bipartite, 453
coloring problem, 460
diameter, 426
matching, 456
perfect, 456
valid coloring, 460
width, 493
graph coloring, 460
gray edge, 476
Greatest Common Divisor, 301
greatest common divisor, 223, 289,
294
guess-and-verify, 933
half-adder, 69
Hall’s Matching Theorem, 454
Hall’s Theorem, 457, 657
Hall’s theorem, 490
Halting Problem, 255
Hamiltonian Cycle Problem, 501
Handshaking Lemma, 449
Hardy, G. H., 289
harmonic number, 563
harmonic numbers, 570
Hat-Check problem, 855
homogeneous linear recurrence, 943
homogeneous solution, 947
hypercube, 502
identity relation, 377, 388, 416, 422
image, 98, 102, 457
inverse image, 102
implication, 11, 13, 48
false hypothesis, 48
Inclusion-Exclusion, 628, 630
inclusion-exclusion for probabilities,
735
Inclusion-Exclusion Rule, 628
incompleteness theorem, 263
independence, 764
independent, 863
independent random variables, 801
indicator random variable, 800
indicator variable, 812, 861, 886
indicator variables, 802
indirect proof, see proof by contradiction
induction, 124, 139, 218
induciton hypothesis, 126
inductive step, 126
structural induction, 203, 205
inference rules, 10
infinity, see countable, Mapping Rules,
set, set theory
inhomogeneous linear recurrence, 947
injection, see binary relation
Integral Method, 581
intended profit, 905
interest rate, 580
intersection, 93
invariant, 159, 161, 163, 293
Invariant Principle, 164
inverse (multiplicative), 317
irreducible, 340
irreflexive relation, 386, 393, 416
isomorphic, 389, 415, 540