Fachschaft Informatik - Benutzerbeiträge [de]

Gedächtnisprotokoll FGI210-1

2010-02-19T16:19:31Z

85.176.77.62:

Aufgabe 1

TS1 und TS2 gegeben

1. L(TS1) und L(TS2) angeben

2. Produktautomaten TS3 konstruieren

3. L(TS3) "berechnen"

4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? Falls ja, gilt dies sogar allgemein?

5.

Aufgabe X

Algorithmus so ungefähr gegeben:

f(n)
{
v := 0
for i=0 to n
{
v:=v+i;
}
return v;
}

1. Welchen Ausdruck berechnet der Algorithmus für n>0?

2. und 3. Zeit- und Platzkomplexität uniform und logarithmisch

Aufgabe X

Kripke-Struktur gegeben.

Per CTL-Algorithmus soll geprüft werden, ob EGa gilt.

1. Markiere alle Zustände (+ dazugehörende Kanten), in denen a gilt

2. Markiere alle SZK und kennzeichne die nicht trivialen.

3. Falls EGa gilt, gib einen entsprechenden Pfad in klein-omega-Schreibweise an. Wie berechnet der Algorithmus diesen Pfad?

Außerdem gabs noch Aufgaben: Petrinetze, Vektorielle Zeitstempel, BPA Prozessgraphen und Bisimilarität, Paralleloperator und Prozessgraph

Gedächtnisprotokoll FGI210-1

2010-02-19T16:15:24Z

85.176.77.62: Die Seite wurde neu angelegt: Aufgabe 1 TS1 und TS2 gegeben 1. L(TS1) und L(TS2) angeben 2. Produktautomaten TS3 konstruieren 3. L(TS3) "berechnen" 4. Gilt L(TS3) = L(TS1) geschnitten L(TS2)? ...

StuPaWahlUrnenbesetzung2009

2009-01-06T22:31:55Z

85.176.77.119:

= Die Regeln =

* Die Urne soll im Foyer von Haus D stehen.
* Die Urne darf '''nie unbewacht''' sein, während sie entsiegelt ist.
* Vor der Wahl wird die Urne vom Pförtner geholt und entsiegelt.
* Nach der Wahl wird die Urne versiegelt und zum Pförtner gebracht.
* In jedem Slot müssen '''mindestens zwei''' Personen die Urne besetzen.
* Diese Personen dürfen nicht auf der selben Liste kandidieren.
* '''Die Pförtner müssen informiert werden, dass der Feueralarm in Haus D abgeschaltet werden soll.'''
* Ihr müsst Waffeln machen können (Zutaten und Eisen werden vom FSR gestellt).
* Wer schummelt, fliegt raus!

= Notfälle =

* Während der Wahlwoche ist das [[StuPa]]-Präsidium durchgehend unter folgender Rufnummer für Rückfragen zu erreichen: +49-40-450204-39
* Fuer FBI Notfaelle am besten Kai (6hildebr) unter +49-176-4818 8519 anrufen.

= Waffeln und Anderes =

Eine Kiste mit dem Waffel-Zeug steht in der Teeküche vom RZ im Foyer von Haus D. Eier und Butter sind im Kühlschrank im c.t. Wenn etwas nachgekauft werden muss, bitte nach Möglichkeit selbt auf Rechnung (der FSR zahlt das dann) oder siehe Notfälle, damit wir was organisieren können.

Anderes sinnvolles Zeug, was man aus dem c.t. oder sonstwoher beschaffen könnte wäre
* Handtuch (für nachher zum Abtrocknen)
* Servietten

= Der Plan =

* Bitte nach Möglichkeit zuerst die Kernzeit von 12-16 Uhr besetzen! Wir brauchen '''mindestens zwei''' pro Termin. (FSR-Party > 2)
* Die Urne darf nur zwischen 10-18 Uhr besetzt werden. Das hat das StuPa-Präsidium so beschlossen (warum auch immer ;).
* Die Wahl findet vom '''12. bis zum 16.01.09''' statt.
* in Klammern kann man seine Liste eintragen, obwohl diejenigen die in derselben Liste sind das wohl auch selber wissen.
{| class="wikitable" border="1"
! Zeit !! Montag !! Dienstag !! Mittwoch !! Donnerstag !! Freitag
|-
| 10-12 || ''Urne evt. noch nicht geliefert'' || 5koehn(CampusGrün), 5upadek(null) || || || 6weber (null) <ref name=6weber>irgendwann brauch ich auch mal ne pause, dürfen zwischendurch also auch gerne >2 leute eingetragen sein.</ref>
|-
| 12-14 || 6hildebr (CampusGrün)/7schulz (Juso-HSG) || 5koehn(CampusGrün), 5upadek(null) || 2burmest (CampusGrün) || 7kraemer(CampusGrün) || 6weber (null) <ref name=6weber />
|-
| 14-16 || 6hildebr (CampusGrün)/7schulz (Juso-HSG) || 5koehn(CampusGrün), 5upadek(null) || 2burmest (CampusGrün) || 7clausen, 8pridoeh <ref name=8pridoeh>die schicht davor könnte ich zur not auch, ab 13 uhr aber erst</ref> || 6weber (null) <ref name=6weber />
|-
| 16-18 || FSR-Party an der Urne || || || 7clausen, 7kraemer(CampusGrün) || 6weber (null) <ref name=6weber />
|}
<references />

= Alternativen =

* Wer nicht/kaum am Informatikum ist, kann auch andere Urnen besetzen.
* Bei Fragen: FSR.

StuPaWahlUrnenbesetzung2009

2009-01-06T12:15:50Z

85.176.77.119: /* Der Plan */

= Die Regeln =

* Die Urne soll im Foyer von Haus D stehen.
* Die Urne darf '''nie unbewacht''' sein, während sie entsiegelt ist.
* Vor der Wahl wird die Urne vom Pförtner geholt und entsiegelt.
* Nach der Wahl wird die Urne versiegelt und zum Pförtner gebracht.
* In jedem Slot müssen '''mindestens zwei''' Personen die Urne besetzen.
* Diese Personen dürfen nicht auf der selben Liste kandidieren.
* '''Die Pförtner müssen informiert werden, dass der Feueralarm in Haus D abgeschaltet werden soll.'''
* Ihr müsst Waffeln machen können (Zutaten und Eisen werden vom FSR gestellt).
* Wer schummelt, fliegt raus!

= Notfälle =

* Während der Wahlwoche ist das [[StuPa]]-Präsidium durchgehend unter folgender Rufnummer für Rückfragen zu erreichen: +49-40-450204-39
* Fuer FBI Notfaelle am besten Kai (6hildebr) unter +49-176-4818 8519 anrufen.

= Waffeln und Anderes =

Eine Kiste mit dem Waffel-Zeug steht in der Teeküche vom RZ im Foyer von Haus D. Eier und Butter sind im Kühlschrank im c.t. Wenn etwas nachgekauft werden muss, bitte nach Möglichkeit selbt auf Rechnung (der FSR zahlt das dann) oder siehe Notfälle, damit wir was organisieren können.

Anderes sinnvolles Zeug, was man aus dem c.t. oder sonstwoher beschaffen könnte wäre
* Handtuch (für nachher zum Abtrocknen)
* Servietten

= Der Plan =

* Bitte nach Möglichkeit zuerst die Kernzeit von 12-16 Uhr besetzen! Wir brauchen '''mindestens zwei''' pro Termin. (FSR-Party > 2)
* Die Urne darf nur zwischen 10-18 Uhr besetzt werden. Das hat das StuPa-Präsidium so beschlossen (warum auch immer ;).
* Die Wahl findet vom '''12. bis zum 16.01.09''' statt.
* in Klammern kann man seine Liste eintragen, obwohl diejenigen die in derselben Liste sind das wohl auch selber wissen.
{| class="wikitable" border="1"
! Zeit !! Montag !! Dienstag !! Mittwoch !! Donnerstag !! Freitag
|-
| 10-12 || ''Urne evt. noch nicht geliefert'' || 5koehn(CampusGrün), 5upadek(null) || || || 6weber (null) <ref name=6weber>irgendwann brauch ich auch mal ne pause, dürfen zwischendurch also auch gerne >2 leute eingetragen sein.</ref>
|-
| 12-14 || 6hildebr (CampusGrün)/7schulz (Juso-HSG) || 5koehn(CampusGrün), 5upadek(null) || 2burmest (CampusGrün) || || 6weber (null) <ref name=6weber />
|-
| 14-16 || 6hildebr (CampusGrün)/7schulz (Juso-HSG) || 5koehn(CampusGrün), 5upadek(null) || 2burmest (CampusGrün) || || 6weber (null) <ref name=6weber />
|-
| 16-18 || FSR-Party an der Urne || || || 7clausen || 6weber (null) <ref name=6weber />
|}
<references />

= Alternativen =

* Wer nicht/kaum am Informatikum ist, kann auch andere Urnen besetzen.
* Bei Fragen: FSR.