Fachschaft Informatik - Benutzerbeiträge [de]

Gedächtnisprotokoll FGI208-1

2008-02-15T12:00:14Z

80.171.23.233: +allgemeine bemerkungen

__NOTOC__
Es gab 13 Aufgaben.
* Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),
* zwei zu P/T-Netzen,
* eine zu Harrel-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.

Interessant war die Überprüfung der Personalien beim Eintritt in den Hörsaal.

Es kamen kaum Fragen dran die nicht auch in den Übungsaufgaben behandelt wurden.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie ''re-irgendwas''.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer Krippke-Struktur hat eine Laufzeit von:
* exponentiell

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:43:35Z

80.171.23.233: /* Prozessterme */

__NOTOC__
Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie ''re-irgendwas''.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

Der Algorithmus zur Überprüfung eines CTL-Ausdrucks an einer Krippke-Struktur hat eine Laufzeit von:
* exponentiell

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:27:20Z

80.171.23.233:

__NOTOC__
Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie ''re-irgendwas''.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:20:41Z

80.171.23.233: /* Harrel-Graphen */

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie ''re-irgendwas''.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:20:06Z

80.171.23.233: /* P/T-Netze */

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie re-irgendwas.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:18:59Z

80.171.23.233:

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Gegeben ein P/T-Netz.

Zeichnen Sie den Erreichbarkeitsgraphen.

Multiple-Choice:
* Ist der Erreichbarkeitsgraph endlich?
* Ist das Netz beschränkt?
* Sind p_1 und p_3 ''irgendwas''
*

Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)

Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)

Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie re-irgendwas.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:14:39Z

80.171.23.233:

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* 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')
* \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie re-irgendwas.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T11:05:14Z

80.171.23.233:

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen (je drei Punkte),

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

== P/T-Netze==
Welches ist die richtige Definition einer Lebendigkeitsinvarianz
* \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m')
* \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m)

Eine multiple-choice-Frage zum Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.

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

Um was erweitern Harrel-Graphen endliche Automaten?

Definieren sie re-irgendwas.

== Prozessterme ==
Gegeben zwei Prozessterme.

Zeichnen Sie den Baum dazu.

Markieren Sie bisimilare Knoten.

Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.

Sind die Terme bisimilar? Warum?

Multiple-Choice dazu.

== 13: verteilte Systeme ==
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.

Es sollten Modelle gemalt werden, die
* total, aber nich kausal
* kausal, aber nicht total
sind

[[Kategorie:Gedaechtnisprotokoll]]

Gedächtnisprotokoll FGI208-1

2008-02-15T10:52:23Z

80.171.23.233: Die Seite wurde neu angelegt: Es gab 13 Aufgaben. Davon drei mit kurzen multiple-choice Fragen, zwei zu P/T-Netzen, eine zu Harrel-Graphen, drei zu Prozesstermen (vor allem BPA), eine zu Nachri...

Es gab 13 Aufgaben.

Davon drei mit kurzen multiple-choice Fragen,

zwei zu P/T-Netzen,

eine zu Harrel-Graphen,

drei zu Prozesstermen (vor allem BPA),

eine zu Nachrichten in verteilten Systemen.

[[Kategorie:Gedaechtnisprotokoll]]