|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Hein J.L. — Discrete Mathematics |
|
|
|
| Предметный указатель |
Infinite list 37
Infinite polynomial 286
Infinite sequence 37
Infinite set 12 100—107
Infinite set, continuum hypothesis 107
Infinite set, countable 101
Infinite set, diagonalization 106
Infinite set, uncountable 101
Infix expression 42 63
Informal proof 2 312
Inherit 569
Injection 92
Injective function 92
InOrder 166 548
Insert for binary functions 89 174 557
Insert into binary search tree 164 245 250
Insert into priority queue 548
Insert into sorted list 160 249
Instance of a set 463
Instance of a wff 372
Instance of an expression 462
Integers 5 12
Interpretation 362
Intersection bags 26
Intersection collection of sets 19
Intersection properties 19
Intersection sets 18
Invalid 366
Inverse element 512
Inverse function 94
Inverse image 64
Invertible function 94
Involution law 527
IP See Indirect proof rule
Irreflexive partial order 216
Isomorphic 573
Isomorphism 573
Iverson's convention 308
Jefferson, Thomas 355
Join operation 553
Kernel factorization 209
Kernel partition 207
Kernel relation 207
Key 96
Knuth, D.E. 308 640
Konigsberg bridges 47
Kruskal's algorithm 211
Kruskal, J.В., Jr. 211 640
l'Hopital's rule 304
Language 129—148
Language closure 133
Language morphism 576 578
Language of a grammar 139
Language parse 134
Language product 131
Language properties of product 132
Language, positive closure 133
Language, well-formed formula 130
Lattice 220 233 536
Law of identity 413
Laws of exponents 155
Lazy evaluation 170
LCM See Least common multiple
Leaf 50
Least common multiple 26
Least element 219
Least upper bound 219
Lee, R.C 474 639
Lees relation 540
Left subtree 52
Leftmost derivation 139
Leibniz, Gottfried Wilhelm von 61
Length list 35 156 542
Length path, walk, trail 47
Length string 37
Length tuple 32
Lexicographic order 226
LIFO property 543
Linear order 216
Linear probing 97
Linearly ordered set 216
LIST 35—37 116—120 155—161 541—542
List, cone 116
List, empty 35
List, generalized 36 119
List, head 35 116
List, infinite 37
List, length 35 156
List, stream 37 169—173
List, tail 35 116
Literal 323 380 454
Little oh 303
Liu, С.L. 640
LOG function 74
Logarithm See Log function
Logic circuit See Digital circuit
Logic gate 528
Logic program 484
Logic programming 502
Logic programming, atom 479
Logic programming, backtracking 493
Logic programming, breadth-first search strategy 497
Logic programming, clause 483
Logic programming, computation tree 492
Logic programming, depth-first search strategy 493
Logic programming, functions 499
Logic programming, goal 480 484
Logic programming, program 484
Logic programming, relations 498
Logic programming, SLD-resolution 488
Logic programming, techniques 498—502
Logic, Absorption laws 318
Logic, DeMorgan's laws 318
Logic, first-order 444
Logic, first-order predicate calculus 359
Logic, fuzzy 353
Logic, higher-order 442—450
Logic, modal 353
Logic, monadic 476
Logic, n-valued 353
Logic, nth-order 446
Logic, partial order theory 417
Logic, program 484
Logic, program clause 483
Logic, three-valued 353
Logic, two-valued 353
Logic, zero-order 444
Loop invariant 428
Lower bound 219
Lub See Least upper bound
Lucas numbers 248 252
Lucas, Edouard 248 297
Lukasiewicz, J. 352 640
Lusk, E. 476 641
Mallows, С L. 173 641
map function 86 161
Mapping See Function
Mathematical induction 236 242
Matrix 35
Matrix algebra 520
Matrix multiplication 255
max function 85
Maximal element 219
McAllister, D.F. 641
Meaning of a wff 364
Member 10 31 542
Mendelson, E. 641
Mgu See Most general unifier
Minimal CNF 533
Minimal DNF 532
| Minimal element 219
Minimal spanning tree 53
Minimum condition 226
MOD function 71
Modal logic 353
Model 366
modus ponens 310 333
Modus Tollens 310 333
Monadic logic 476
Monoid 517
Monomorphism 573
Monotonic 234
Monus operation 549
Morphism 570 573—576
Morphism, epimorphism 573
Morphism, homomorphism 573
Morphism, isomorphism 573
Morphism, language 576 578
Morphism, monomorphism 573
Most general unifier 465
MP See Modus ponens
MT See Modus tollens
Mult operation 538
Multigraph 44
Multiset 25
n-ary relation 42
n-colorable graph 44
n-ovals problem 279
n-tuple 32
n-valued logic 353
Nagel, E. 448 641
Natural deduction 369
Natural numbers 12 113—116 117 152—155 359 537—540
Necessary condition 3
Negation 2 313 523 534
Negative literal 454
Newman, J.R. 448 641
Newton — Raphson method 175
Nil process 554
Node 43 50
Noether, Emmy 226
Non sequitur 311
Nonterminals 137
Normal form 378—381
Normal form, conjunctive 325
Normal form, disjunctive 323
Normal form, full conjunctive 325
Normal form, full disjunctive 324
Normal form, fundamental conjunction 323
Normal form, fundamental disjunction 325
Normal form, prenex 378
Normal form, prenex conjunctive 380
Normal form, prenex disjunctive 380
NOT See Negation
NOT gate 528
nth-order logic 446
Null set 11
Numeral 39
Numeral, binary 39 128 149
Numeral, decimal 39 115 128 129 130 131 132 144 149
Numeral, even decimal 144
Numeral, finite rational 145
Numeral, Roman 39
Object 10 31
One-to-one correspondence 94
One-to-one function 92
Onto function 93
Operation table 516
Operations on sets 16
Operator See Function
Optimal algorithm, average case 275
Optimal algorithm, problem 254
Optimal algorithm, worst case 255
OR See Disjunction
OR gate 528
Order of a predicate 444
Order of a quantifier 445
Order of a wff 445
Order, lower 303
Ordered pair 32
Ordered tree 50
Ordered triple 32
Ordinal numbers 231
Ordinal numbers, finite 231
Ordinal numbers, infinite 231
Ordinal numbers, limit 232
Outdegree 44
Overbeek, R. 476 641
P (premise) 336
P for IP 341
Pairs See Pairs function
Pairs function 76 158
Palindrome 128 146
Pan, V. 256 641
Pancake recipe 214
Parallel computation 215
Paramodulation 476
Parent 50
parse 134
Parse tree 134
Partial correctness 435
Partial fraction 291
Partial function 76
Partial order 215—232
Partial order theory 417
Partial order, ascending chain 217
Partial order, chain 217
Partial order, descending chain 217
Partial order, greatest element 219
Partial order, greatest lower bound 219
Partial order, Hasse diagram 218
Partial order, immediate predecessor 217
Partial order, immediate successor 217
Partial order, irreflexive 216
Partial order, least element 219
Partial order, least upper bound 219
Partial order, lower bound 219
Partial order, maximal element 219
Partial order, minimal element 219
Partial order, minimum condition 226
Partial order, poset diagram 218
Partial order, predecessor 217
Partial order, reflexive 216
Partial order, set, poset 215
Partial order, sorting problem 221
Partial order, successor 217
Partial order, topological sorting problem 222
Partial order, topologically sorted 222
Partial order, upper bound 219
Partially decidable 369
Partially ordered set 215 535
Partially ordered structure 418
Partially solvable 369
Partition 198 199—204
Partition, coarser 203
Partition, equivalence class 199
Partition, finer 203
Partition, refinement 203
Pascal's triangle 267
Pascal, Blaise xiii 267
Patashnik, O. 308 640
Paterson, M.S. 476 641
Path 46
Path cycle 46
Path problems 188—193
Pattern-matching definition 152
Paulson, L.C 641
Peano, Giuseppe 114 537
permutations 262—265
Permutations bag 263
|
|
|
| Реклама |
|
|
|
|
|
О проекте