268 Definitionsverzeichnis
Definition 2-1. Abschnitt in einer Sequenz (Metavariablen: &, S, ¢, &', S', ¢', &*, S*, £*, ...).................48
Definition 2-2. Zuordnung der Menge der Abschnitte von ft (ABS)..............................................................48
Definition 2-3. Abschnitt ............................................................................................................................... 48
Definition 2-4. Teilabschnitt .......................................................................................................................... 48
Definition 2-5. Echter Teilabschnitt ............................................................................................................... 48
Definition 2-6. Passende Folgen naturlicher Zahlen fur Teilmengen von Sequenzen....................................54
Definition 2-7. Abschnittsfolgen fur Sequenzen............................................................................................56
Definition 2-8. Zuordnung der Menge der Abschnittsfolgen fur ft (ABSF)....................................................56
Definition 2-9. ANS-umfassende Abschnittsfolge fur einen Abschnitt in ft...................................................59
Definition 2-10. Zuordnung der Menge der ANS-umfassenden Abschnittsfolgen in ft (ANSUMF)...............59
Definition 2-11. SE-artiger Abschnitt ............................................................................................................ 64
Definition 2-12. NE-artiger Abschnitt ............................................................................................................ 64
Definition 2-13. EA-artiger Abschnitt ............................................................................................................ 65
Definition 2-14. Minimaler SE-geschlossener Abschnitt ............................................................................... 66
Definition 2-15. Minimaler NE-geschlossener Abschnitt ............................................................................... 66
Definition 2-16. Minimaler PB-geschlossener Abschnitt ............................................................................... 66
Definition 2-17. Minimaler geschlossener Abschnitt .................................................................................... 67
Definition 2-18. Proto-Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in
Sequenzen (PERZ) ................................................................................................................................. 68
Definition 2-19. Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in Sequenzen
(ERZ) .....................................................................................................................................................70
Definition 2-20. Menge der ERZ-induktiven Relationen (GSR) ...................................................................... 72
Definition 2-21. Die kleinste ERZ-induktive Relation (GS) ............................................................................. 73
Definition 2-22. Geschlossener Abschnitt ..................................................................................................... 74
Definition 2-23. SE-geschlossener Abschnitt ................................................................................................. 90
Definition 2-24. NE-geschlossener Abschnitt ................................................................................................ 90
Definition 2-25. PB-geschlossener Abschnitt................................................................................................. 91
Definition 2-26. Verfugbarkeit einer Aussage in einer Sequenz an einer Stelle .......................................... 104
Definition 2-27. Verfugbarkeit einer Aussage in einer Sequenz .................................................................. 104
Definition 2-28. Zuordnung der Menge der verfugbaren Satze (VERS).......................................................104
Definition 2-29. Zuordnung der Menge der verfugbaren Annahmesatze (VANS).......................................104
Definition 2-30. Zuordnung der Menge der verfugbaren Aussagen (VER) .................................................. 105
Definition 2-31. Zuordnung der Menge der verfugbaren Annahmen (VAN) ............................................... 105
Definition 3-1. Annahmefunktion (AF) ........................................................................................................ 127
Definition 3-2. Subjunktoreinfuhrungsfunktion (SEF) .................................................................................. 128
Definition 3-3. Subjunktorbeseitigungsfunktion (SBF) ................................................................................ 128
More intriguing information
1. Globalization and the benefits of trade2. The name is absent
3. The name is absent
4. The name is absent
5. An Interview with Thomas J. Sargent
6. The name is absent
7. The Mathematical Components of Engineering
8. EXECUTIVE SUMMARIES
9. REVITALIZING FAMILY FARM AGRICULTURE
10. Spatial Aggregation and Weather Risk Management