Ü17-4: Zeitpunkte einfügen – Wissenschaftstheorie

Wir betrachten ein dynamisches Netz von Tripeln. Ein Tripel besteht aus einer Menge Z von Zeitpunkten, aus einer Menge $\cal M$ von Modellmengen, und aus einer Menge $\cal D$ von Mengen von Faktensammlungen. Eine Relation h ∈ Z × $\cal M$ × $\cal D$ sei gegeben. (siehe U17-3).

a) Stellen Sie die endliche Menge Z der Zeitpunkte als eine Liste dar. Diese Liste hat eine natürliche Ordnung. Fügen Sie der Menge Z einen weiteren Zeitpunkt z ^* hinzu: Z ^* = Z ∪ { z ^* }. Ordnen Sie den neuen Zeitpunkt in die Liste so ein, dass z ^* kein Anfangs- oder Endpunkt der Liste ist. Beschreiben Sie die neue Menge Z ^* wieder als eine Liste.

b) Fügen Sie zum Netz Sachverhalte hinzu, so dass es auch Beziehungen zwischen Modellen, Faktensammlungen und dem Zeitpunkt z ^* gibt. Erweitern Sie die Relation h mengentheoretisch zu h ^*.

c) Stellen Sie den Erweiterungsprozess innerhalb des Netzes graphisch dar. D.h. ziehen Sie eine weitere Ebene in das Netz ein.