{"id":756,"date":"2017-05-30T11:54:17","date_gmt":"2017-05-30T09:54:17","guid":{"rendered":"http:\/\/theory-of-science.com\/de\/?page_id=756"},"modified":"2021-02-04T16:53:33","modified_gmt":"2021-02-04T15:53:33","slug":"uebung-17-04","status":"publish","type":"page","link":"https:\/\/theory-of-science.com\/de\/uebungen\/abschnitt-17\/uebung-17-04\/","title":{"rendered":"\u00dc17-4: Zeitpunkte einf\u00fcgen"},"content":{"rendered":"\n

Wir betrachten ein dynamisches Netz von Tripeln. Ein Tripel besteht aus einer Menge Z<\/em> von Zeitpunkten, aus einer Menge \"\cal M\" von Modellmengen, und aus einer Menge \"\cal D\" von Mengen von Faktensammlungen. Eine Relation h<\/em> \u2208 Z<\/em> \u00d7 \"\cal M\" \u00d7 \"\cal D\" sei gegeben. (siehe U17-3<\/a>).<\/p>\n\n\n\n

a)<\/strong> Stellen Sie die endliche Menge Z<\/em> der Zeitpunkte als eine Liste dar. Diese Liste hat eine nat\u00fcrliche Ordnung. F\u00fcgen Sie der Menge Z<\/em> einen weiteren Zeitpunkt z <\/em>*<\/sup> hinzu: Z <\/em>*<\/sup> = Z<\/em> \u222a { z <\/em>*<\/sup> }. Ordnen Sie den neuen Zeitpunkt in die Liste so ein, dass z <\/em>*<\/sup> kein Anfangs- oder Endpunkt der Liste ist. Beschreiben Sie die neue Menge Z <\/em>*<\/sup> wieder als eine Liste.<\/p>\n\n\n\n

b)<\/strong> F\u00fcgen Sie zum Netz Sachverhalte hinzu, so dass es auch Beziehungen zwischen Modellen, Faktensammlungen und dem Zeitpunkt z <\/em>*<\/sup> gibt. Erweitern Sie die Relation h<\/em> mengentheoretisch zu h <\/em>*<\/sup>.<\/p>\n\n\n\n

c)<\/strong> Stellen Sie den Erweiterungsprozess innerhalb des Netzes graphisch dar. D.h. ziehen Sie eine weitere Ebene in das Netz ein.
<\/p>\n\n\n