Diskussion:Logische Uhr

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 4 Jahren von 2A00:1398:300:308:0:0:0:13CF in Abschnitt Happened-Before-Notation
Zur Navigation springen Zur Suche springen

Happened-Before-Notation

[Quelltext bearbeiten]

Im Abschnit Uhrenbedingung und Kausalordnung wird implizit vorausgesetzt, dass für "e1 ist Ursache von e2" und für "e1 ist nebenläufig zu e2" steht. Entweder sollte man das am Anfang definieren, oder (was ich persönlich besser fände) gleich das Zeichen für Happened-Before () bzw. deren Negation () verwenden, das bisher erst später eingeführt wird. Oder gibt es da andere, die mir als Laien nicht klar sind? -- Bobbl 13:12, 30. Nov. 2011 (CET)Beantworten

Notation entsprechend angepasst. --2A00:1398:300:308:0:0:0:13CF 19:13, 26. Aug. 2020 (CEST)Beantworten

monoton steigend

[Quelltext bearbeiten]

In der Einleitung heißt es „der einzige Anspruch an eine logische Uhr [ist], dass sie monoton steigende Werte abgibt“. Müssten es nicht sogar streng monoton steigende Werte sein?
())¯_¯_¯_¯_>2 (Diskussion) 15:44, 14. Mai 2013 (CEST)Beantworten

Korrekt und angepasst (aktuell noch ungesichtet). --2A00:1398:300:308:0:0:0:13CF 19:11, 26. Aug. 2020 (CEST)Beantworten