|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Grimaldi R.P. — Discrete and combinatorial mathematics. An introduction |
|
|
|
| Предметный указатель |
Scalar product A-15 A-16
Scattering function 720 732
Schroder, Ernst 138
Searching (algorithm) 517
Searching process 300
Second level of reachability 350
Second-order homogeneous recurrence relations 471—480
Sefer Yetzirah (The Book of Creation) 44
Selection 19—22 24—27 44
Selection structure 55
Selection with repetition 440 496 497
Self-complementary graph 549
Self-dual 764 765
Self-dual Boolean function 774
Self-orthogonal Latin square 859
Semiconductor band theory 43
Sentences 317
SEQUENCE 254
Sequence recognizer 335 343
Sequential circuit 315 (see also “Finite state machine”)
Serial binary adder 332
Series network 73
Seshu, S. 600 602
Set braces 144
Set equality 145 146 164 250 321
Set theory 99 143—149 156—167 171 176—179 184 202 245 246 248 309—311 315 317 343 A-27 A-30 A-34
Set theory cardinality 144 A-27 A-28
Set theory member 143
Set theory membership 143
Set theory membership table 163 164
Set theory, complement of a set 159
Set theory, countable set 309 A-27 A-29
Set theory, denumerable set 309 A-29
Set theory, disjoint sets 158 171
Set theory, element 143
Set theory, element argument 147
Set theory, empty set  148
Set theory, equality of sets 145
Set theory, finite set 144 A-28
Set theory, generalized intersection of sets 166
Set theory, generalized union of sets 166
Set theory, infinite set 144 A-28
Set theory, intersection of sets 157
Set theory, intuitive definition of a set 143
Set theory, laws of set theory 160
Set theory, mutually disjoint sets 158 171
Set theory, null set 148
Set theory, power set 148
Set theory, proper subset 144
Set theory, relative complement 159
Set theory, set braces 144
Set theory, set of indices 166
Set theory, singleton subset 148
Set theory, size of a set 144 A-27
Set theory, subset 144
Set theory, superset 158
Set theory, symmetric difference 157
Set theory, uncountable set 310 A-30 A-37
Set theory, union of sets 157
Set theory, universe 143 144
Set theory, universe of discourse 143 144
Set theory, Venn diagram 162 165
Set theory, well-ordered set 184
Seven Bridges of Konigsberg 396 529 535 551—553 598
Seyffarth, Karen 429
Shannon, Claude Elwood 735 772 773 793 831 833
Sherbert, Donald R. 523 524
Shi-kie, Chu 178
Shier, Douglas R. 695 696
Shmoys, D.B. 585 600 602
Shortest-Path algorithm 657—664 694
Shrikhande, S.S. 858 872
Siblings 615
Sieve method 428
Sigma notation 22
Signed numbers 710
Silvestri, Richard 831 833
Simple group 831
Singleton subset 148 173
Sink in a finite state machine 341
Sink in a transport network 672
Sink state 341
Size of a set 144 A-27
Sloane, Neil James Alexander 831 832
Smith, Henry John Stephen 239
Snowflake curve 486
Soifer, Alexander 311 312
Solow, Daniel 140
Solution of polynomial equations 871
Solvable group 872
Sorting 634—638 651
Sorting technique 463—466
Source in a network 672
Source of a directed edge 363 530
Source program 252 308
Space complexity function 294
Spanning forest 607
Spanning subgraph 538
Spanning tree 607 624 657 665
Spencer, Joel H. 311 312
Sphere S(x, k) 799 (see also “Algebraic coding theory”)
Spine (of a caterpillar) 655
Split input (for a gating network) 745 746
Spokes (in the wheel graph) 537
Square matrix A-13
Square of a graph 653
Stabilizer 820
STACK 502—504 523
Staircase paths 10 149 151 152
Stanat, Donald F. 139 140 343 345 396 523 524
Standard form of a Latin square 855
Stanley, Richard Peter 458
Star of David 486 487
Starting state 329
State diagram 329
State table 329
Statement 52 55 56 58 62—69 78—88 98—114 121—134 137 139 183
Statement compound statement 52
Statement contradiction 58
Statement contrapositive 69
Statement converse 69
Statement definitions 56 121—123
Statement if-then decision structure 55 56
Statement if-then-else decision structure 55 56
Statement inverse 69
Statement logical equivalence 63 64
Statement logical implication 79—88
Statement logically equivalent statements 62—68
Statement logically implies 78
Statement negation 52
Statement negation of quantified statements 109 110 113 114
Statement open statement 99
Statement primitive statement 52
Statement quantified statement 98—114 121—134
Statement tautology 58
Statement theorem 121 123 124 128 131 137 139 183
Statement, dual (of a) statement 65
Statistical mechanics 43 45
Statistical thermodynamics 43 45
Statistics 853
Steiner triple system 870
Steinhaus, Hugo Dynoizy 523 524
Stern, R.G. 585 600 601
Stifel, Michel 45
Stillwell, John 830 833 872 873
Stinson, Douglas R. 873
Stirling numbers of the first kind 606
Stirling numbers of the second kind 36 264 265 310 311 386
STIRLING, JAMES 310
Stirling’s formula 310
| Stoll, Robert R. 139 140
Strang, Gilbert A-24
Street, Anne Penfold 831 833 873
String 23 316—320 325 327
String  (the empty string) 316
String concatenation 318
String empty string 316
String equality of strings 317
String palindrome 327
String prefix 319
String proper prefix 319
String proper substring 320
String proper suffix 319
String reversal 325
String suffix 319
String, length of a string 316 318
String, powers of strings 318
String, substring 320
Strongly connected directed graph 365 558
Strongly connected machine 341 365
Structured programming 194
Subalgebra 771
Subatomic particles 43
Subboard 421 422
Subfield 847 848
Subgraph 538
Subgroup 780 781
Subgroup generated by a group element 787
Submachine 341 712
Subring 712—714 724 725
Subsequence A-30
Subset 144—149 151 159 162 163 247 248 436 442
Subset relation 249 353 373 376 378 765 766
Substitution rules (in logic) 66—68
Substring 320 350
Subtraction (in a ring) 709
Subtree 500 609 615
Succ (successor) function 314
Successor 240
Sufficient condition 52
Suffix 319 350
Sum of bits 746
Sum of Boolean functions 737
Sum of matrices A-14
Sum of minterms 741
Summation 22
Summation formulas 40 51 186 187 245 259 296
Summation index 22
Summation lower limit 22
Summation notation 22
Summation operator 454 455
Summation upper limit 22
Superset 158
Suppes, Patrick C 179
Surjective function 260
Switching function 735—743 745 772
Switching network 72—74
Sylow, Ludwig 831
Sylvester, James Joseph 428 A-13
Symbolic logic 137
Symmetric Boolean function 774
Symmetric difference 157
Symmetric group  783
Symmetric property (of a relation) 351 367 394 395
Syndrome 803 (see also “Algebraic coding theory”)
System of distinct representatives 687 695
System of linear equations A-20
System of recurrence relations 497—499
Systematic form 811 (see also “Algebraic coding theory”)
Table for a relational data base 272 273
Table for decoding 807—810 (see also “Algebraic coding theory”)
Table of Big-Oh forms 296
Table of identities for generating functions 440
Table of particular solutions for the method of undetermined coefficients 490
Table of rules for negating statements with one quantifier 110
Table of rules of inference 88
Table of Stirling numbers of the second kind 264
Tabular form 81
Tarry, G. 858
Tartaglia, Niccolo 178
Tautology 58 64
Terminal vertex 614
Terminals 572
Terminating vertex 363 530
Terminus 363 530
Ternary operation 313
tetrahedron 567 568
The Book of Creation (Sefer Yetzirah) 44
The Calculus of Inference, Necessary and Probable 138
The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning 138
Theorem 121 123 124 128 131 137 139 183
Theorie Analytique des Probabilites 457
Theory of graphs see “Graph theory”
Theory of groups see “Group theory”
Theory of languages 343 349
Theory of numbers see “Number theory”
Theory of rings see “Ring theory”
Theory of sets see “Set theory”
Theory of types 177
Thompson, John 831
Time complexity function for the merge sort 636—638
Top-down approach 44
Topological sorting 375
Topological sorting algorithm 375—377 394
Total order 374—376 394
Totally ordered poset 374
Tournament 581
Towers of Hanoi 484 485 522
Trail 532 533
Transfer sequence 341
Transfinite cardinal number 309
Transient state 340 341
Transition sequence 341
Transition table 329
Transitive property (of a relation) 352 367 373 394 395
Transport network 333 671—681 684 685 690 694 695
Transport network a — z cut 673
Transport network cut 673
Transport network definition 671
Transport network sink 672
Transport network source 672
Transport network,  674
Transport network, capacity of a cut 674
Transport network, capacity of an edge 671 672
Transport network, flow in a network 672 679
Transport network, labeling procedure 676 677 695
Transport network, Max-Flow Min-Cut Theorem 676 677 679 695
Transport network, maximal flow 673
Transport network, network 672
Transport network, saturated edge 673
Transport network, unsaturated edge 673
Transport network, unsaturated edge value of a flow 673
Transpose of a matrix 361
Transposition of a Ferrer’s graph 448
Traveling salesman problem 585 600
Treatise on Algebra 176
TREE 248 499 598 607—612 614—631 634—648 650—655 657 665—670 832
Tree ancestors 615
Tree articulation point 645—647 651
Tree back edge 646
Tree backtrack(ing) 621 624
Tree balanced tree 629
Tree caterpillar 655
Tree child 615
Tree definition 607
Tree depth-first search 624 625 628 651
Tree descendants 615
Tree diagram 247 248 341 499
Tree dictionary order 617
Tree forest 607
|
|
|
| Реклама |
|
|
|
|
|
О проекте