Moin!
Habe zwei Fragen:
1) Auf Seite 48 im Sematik-Teil gibt es die Formeln zu partieller und
totaler Korrektheit (2.3)(2.4). Was bedeutet dort dieser ``runde
Kreis''? Was bedeutet diese eckige Mengenklammer? Etwa eine partielle
Ordnung wie aus dem Fixpunkt-Kapitel?
2) Naive Frage: Was ist eine Programmsprache? Ist das ein Synonym zu Programmiersprache?
Danke im Voraus.
der runde Kreis ist Hintereinanderschaltung von Funktionen,
f g
A -> B -> C
dann ist (g o f) eine Funktion von A -> C
——
und ja, man benötigt die Ordnung zwischen Funktionen aus Satz 1.3:
f <= g <-> Vo e E: [(f(o) = bottom) v (f(o) = g(o))]
——
ich glaube man darf Programmsprache = Programmiersprache annehmen, ja,
mir ist da keine Unterscheidung im Zusammenhang mit LOS bekannt
und ja, man benötigt die Ordnung zwischen Funktionen aus Satz 1.3:
f <= g <-> Vo e E: [(f(o) = bottom) v (f(o) = g(o))]
Opps, Satz 1.13 habe ich total ueberlesen …
Danke nochmal.
Noch eine Unklarheit: Ich dachte bisher, dass es einen Unterschied
zwischen Parallelität und Nebenläufigkeit gibt (Keine Ahnung, wie genau jetzt).
Irgendwie werden in Kapitel 6 beide Begriffe benutzt.
Kann mir jemand, den Unterschied zwischen parallel und nebenläufig erzählen.
http://de.wikipedia.org/wiki/Nebenl%C3%A4ufigkeit hat mir auch nicht geholfen [img]
http://www.fb18.de/gfx/26.gif[/img]
ich persönlich kann mir nicht vorstellen dass da ein Unterschied gemacht wird,
das erkennt man ja allein am Inhaltsverzeichnis mit Überschrift 'Nebenläufigkeit' aber in den Teilkapiteln nur 'Parallelität'
soweit ich weiss ist nebenläufig allgemeiner als paralell: denn paralell ist immer nebenläuig aber nebenläufig nicht unbedingt paralell, denn nebenläufige Programme können auch verzahnt ausgeführt werden.
soweit ich weiss ist nebenläufig allgemeiner als paralell <snip>
So etwas ähnliches habe ich auch im Kopf, suche aber noch nach einer Definition fuer parallel und nebenlaeufig…
Über eine Sache rätsel ich noch:
Beim Fixpunktsatz steht auf Seite 22:
oo
x := |__| f^(n)(bottom)
n=0
Soll hier
bottom
für das kleinste Element einer Domäne stehen?
Andere Frage: Musste jemand schon mal in der Prüfung einen Tableaubeweis fuer die Modallogik durchfuehren? … ich will mich eigentlich nicht totlernen…
das mit bottom siehst du richtig,
das ist ja auch das einizge benennbare Element in der Domäne,
und irgendeinen Anfangpunkt braucht man um zum Fixpunkt zu gelangen