Bearbeiten von „Gedächtnisprotokoll FGI208-1“

Zur Navigation springen Zur Suche springen

Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.

Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.

Aktuelle Version Dein Text
Zeile 1: Zeile 1:
__NOTOC__
Es gab 13 Aufgaben.
Es gab 13 Aufgaben.
* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),
* zwei zu P/T-Netzen,
* eine zu Harel-Graphen,
* drei zu Prozesstermen (vor allem BPA),
* eine zu Nachrichten in verteilten Systemen.


Es war gut möglich die Aufgaben in den zwei Zeitstunden zu bearbeiten.
Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),


Interessant war die Überprüfung der Personalien beim Eintritt in den Hörsaal.
zwei zu P/T-Netzen,


Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden.
eine zu Harrel-Graphen,


== P/T-Netze ==
drei zu Prozesstermen (vor allem BPA),
 
eine zu Nachrichten in verteilten Systemen.
 
== P/T-Netze==
Gegeben ein P/T-Netz.
Gegeben ein P/T-Netz.


Zeile 21: Zeile 19:
* Ist der Erreichbarkeitsgraph endlich?
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Ist das Netz beschränkt?
* Sind <math>p_1</math> und <math>p_3</math> ''irgendwas''
* Sind p_1 und p_3 ''irgendwas''


Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)
Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)
Zeile 29: Zeile 27:


Welches ist die richtige Definition einer Lebendigkeitsinvarianz
Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m_0): \phi(m')</math>
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m')</math>
* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m_0)%20%5Cphi(m')
* <math>\forall m \in R(N,m_0): \forall m' \in R(N,m): \phi(m) </math>
* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m')
* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m')
* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m)  
* http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m)


Eine multiple-choice-Frage zum Parikh-Bild einer Markierung (<math>\Psi(m)</math>). Schade, dass es sowas nicht gibt.
Eine multiple-choice-Frage zum Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.


== Harel-Graphen ==
== Harrel-Graphen ==
Es war ein Harel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden.
Es war ein Harrel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden.


Um was erweitern Harel-Graphen endliche Automaten?
Um was erweitern Harrel-Graphen endliche Automaten?


Definieren sie ''reaktives System (?)''
Definieren sie ''re-irgendwas''.


== Prozessterme ==
== Prozessterme ==
Zeile 49: Zeile 50:
Markieren Sie bisimilare Knoten.
Markieren Sie bisimilare Knoten.


Berechnen Sie beide Normalformen mit den Regeln R1 bis R5.
Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.


Sind die Terme bisimilar? Warum?
Sind die Terme bisimilar? Warum?


Multiple-Choice dazu.
Multiple-Choice dazu.
Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer Kripke-Struktur hat eine Laufzeit von:
* exponentiell


== 13: verteilte Systeme ==
== 13: verteilte Systeme ==
Zeile 66: Zeile 64:
sind
sind


[[Kategorie:Gedaechtnisprotokoll|FGI2]]
[[Kategorie:Gedaechtnisprotokoll]]

Bitte beachte, dass alle Beiträge zu Fachschaft_Informatik von anderen Mitwirkenden bearbeitet, geändert oder gelöscht werden können. Reiche hier keine Texte ein, falls du nicht willst, dass diese ohne Einschränkung geändert werden können.

Du bestätigst hiermit auch, dass du diese Texte selbst geschrieben hast oder diese von einer gemeinfreien Quelle kopiert hast (weitere Einzelheiten unter Fachschaft Informatik:Urheberrechte). ÜBERTRAGE OHNE GENEHMIGUNG KEINE URHEBERRECHTLICH GESCHÜTZTEN INHALTE!

Bitte beantworte die folgende Frage, um diese Seite bearbeiten zu können (<a href="/Fachschaft/wiki/index.php?title=Special:Captcha/help" class="internal">weitere Informationen</a>):

Abbrechen Bearbeitungshilfe (wird in einem neuen Fenster geöffnet)
Abgerufen von „https://www2.informatik.uni-hamburg.de/fachschaft/wiki/index.php/Gedächtnisprotokoll_FGI208-1“