Ich frage mich, ob dieser Beweis schön genug ist, aber das wird schon passen.
Ja, ich habe bei meinem einen Beweis mir festgestellt, dass es anders ein bisschen schöner wäre.
Ich habe ihn hier sehr kurz gemacht, aber wie leicht ist das Beweis?
Bei B-Simulationen muss diese Relation nicht direktiv sein, oder?
Die Definition ist ja, für alle existiert ein.
Kann sie hierher, glaube ich.
Eben, kann sie nicht.
Ich muss weder eine Abbildung noch direktiv sein.
Okay, es muss nur eine Relation sein.
Unrespektiert.
Ich habe hier schon mal Abgaben da.
Ich hoffe nicht zu kurz, wer es feststellt.
In jedem Fall sind sie alle ungefähr gleich lang.
Also es ist schon ein bisschen kalt.
So, ähm...
Ja, wie sieht es aus?
Ich habe schon mal gehört, dass ich ihn vielleicht an ihr andiehe.
Ja, das ist hier noch festgegeben.
Ich nehme an, ihr würdet eine Fernbedienung geben.
Ach nee, da hinten.
Das sind aber die Lichtschalter.
Beamerbeleuchtung, aber ich denke mal...
Wie ist denn hinterdach?
Ja?
Nee, Deckenbeleuchtung und Beamerbeleuchtung.
Außer Beamerbeleuchtung bedeutet Beamer.
Aber jetzt seid ihr an.
Alles in dem Jahr?
Nein.
Was ist das denn? Ist er noch nicht gesehen?
Ach Scheiße, da habe ich jetzt wieder das falsche Netz hier.
Das ist ja auch das falsche Netz.
So, es geht mir nur um den VGST.
Ja, ja, das ist...
Wahrscheinlich weil es das einfachste ist, weil es nicht beschristen ist, oder?
Ja...
Irgendwie hat er damit Öl geholt und so eine Frupe.
Vielleicht ist es etwas interessanter zu beenden, dass du nicht von einem Anfallschuss, sondern von einer Kammerversion bist.
Das habe ich ja streng genommen, auch noch.
Ja, das ist schön.
Ist das wie ein Kampf hier allgemein?
Ja, ja, ich finde eigentlich, es geht halt...
Zumindest das Studd-WLAN geht relativ okay.
Habe ich bisher eigentlich noch nicht so große Probleme gehabt.
An der Tech-Fac ist es schlimmer als drüben an der NatFac.
An der Tech-Fac ist es nämlich meist überlastet.
Ja, vor allem gibt es so manche Bäume da, die...
Aber wir haben da hinten den WLAN-Access-Point.
Zum Beispiel hier, wegen der FSD-Mattezimmer.
Ich weiß, ich bin in der Mathe-Physik-FSI.
Presenters
Zugänglich über
Offener Zugang
Dauer
01:29:18 Min
Aufnahmedatum
2014-05-22
Hochgeladen am
2019-04-21 08:29:03
Sprache
de-DE
-
erläutern semantische Grundbegriffe, insbesondere Systemtypen und Systemäquivalenzen, und identifizieren ihre wesentlichen Eigenschaften
-
erläutern die Syntax und Semantik von Logiken und Prozesskalkülen
-
fassen wesentliche Metaeigenschaften von Logiken und Prozesskalkülen zusammen.
-
übersetzen Prozessalgebraische Terme in ihre denotationelle und operationelle Semantik
-
prüfen Systeme auf verschiedene Formen von Bsimilarität
-
prüfen Erfüllheit modaler Fixpunktformeln in gegebenen Systemen
-
implementieren nebenläufige Probleme in Prozessalgebren
-
spezifizieren das Verhalten nebenläufiger Prozesse im modalen mu-Kalkül.
-
leiten einfache Meta-Eigenschaften von Kalkülen her
-
wählen für die Läsung gegebener nebenläufiger Probleme geeignete Formalismen aus
-
vergleichen prozessalgebraische und logische Kalküle hinsichtlich Ausdrucksmächtigkeit und Berechenbarkeitseigenschaften
-
hinterfragen die Eignung eines Kalküls zur Lösung einer gegebenen Problemstellung
Literatur:
- Robin Milner, Communication and Concurrency, Prentice-Hall, 1989
-
Julian Bradfield and Colin Stirling, Modal mu-calculi. In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721-756. Elsevier, 2006.
-
Jan Bergstra, Alban Ponse and Scott Smolka (eds.), Handbook of Process Algebra, Elsevier, 2006.