Die Suche ergab 9 Treffer
- 3. Apr 2014 14:08
- Forum: Archiv
- Thema: Testexam 1 Aufgabe 5 b)
- Antworten: 0
- Zugriffe: 507
Testexam 1 Aufgabe 5 b)
Hallo, Wir sind uns etwas unschlüssig wie man nochmal genau ein Modell angibt für eine FOL. In Aufgabe 5b ist uns klar wieso die FOL-Aussage nicht gilt. Kann mir jemand mal eine formale Lösung (Gegenbeispiel) dazu aufschreiben? Danke! MfG PS: Viel Erfolg noch beim lernen ;) PSS: Hat sich erledigt, h...
- 16. Dez 2013 23:42
- Forum: Archiv
- Thema: Weak-Fairness
- Antworten: 1
- Zugriffe: 590
Weak-Fairness
Wir verstehen die Weak-Fairness im Acceptance-Mode wohl nicht ganz. 2 Processe P warten per test und set wie folgt: :: atomic{ !criticalQ; criticalP[me]=true} Jetzt gibt es ein Problem: Prozess P0 und Prozess P1 warten, bis Prozess Q sein criticalQ auf false setzt. Dies passiert in unserem Trail auc...
- 5. Nov 2013 13:52
- Forum: Archiv
- Thema: Übungen des letzten Semesters
- Antworten: 0
- Zugriffe: 511
Übungen des letzten Semesters
Hat jemand die EiSE-Übungen mit Lösungen vom letzten Jahr noch?
Auf der Website finde ich diese nicht mehr :/
Wäre schön wenn mir sie jemand schicken könnte
Danke!
MfG
Auf der Website finde ich diese nicht mehr :/
Wäre schön wenn mir sie jemand schicken könnte

Danke!
MfG
- 31. Okt 2013 23:15
- Forum: Archiv
- Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
- Antworten: 5
- Zugriffe: 670
Re: 2er Gruppe sucht 2 weitere Mitglieder
Sind leider schon zu 4.
- 29. Okt 2013 16:14
- Forum: Archiv
- Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
- Antworten: 5
- Zugriffe: 670
Re: 2er Gruppe sucht 2 weitere
Suchen immernoch 2, bei interesse bittw melden 

- 29. Okt 2013 12:17
- Forum: Archiv
- Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
- Antworten: 5
- Zugriffe: 670
Re: 2er Gruppe sucht 2 weitere
Hab dir eine PN geschickt
- 29. Okt 2013 10:45
- Forum: Archiv
- Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
- Antworten: 5
- Zugriffe: 670
2er Gruppe sucht 2 weitere Mitglieder (voll)
Wir sind zu zweit und suchen noch 2 weitere Mitglieder für die Bearbeitung der Labs.
Interessenten?
Interessenten?
- 23. Okt 2013 14:24
- Forum: Archiv
- Thema: Gruppensuche #2
- Antworten: 1
- Zugriffe: 321
Re: Gruppensuche #2
Hab dir eine PN geschickt 

- 4. Jul 2013 16:16
- Forum: Offtopic
- Thema: SurfaceRT Aktion Microsofts (Uni Bestellung erforderlich)
- Antworten: 34
- Zugriffe: 9154
Re: SurfaceRT Aktion Microsofts (Uni Bestellung erforderlich
War heute auch bei der Fachschaft. Sie meinten es sollen sich alle Interessenten hier im Forum "eintragen" (also einfach als Antwort zu diesem Thema). Der Link dieses Themas wird anschließend weitergegeben, mit der Hoffnung, dass eine Bestellung möglich ist. So ein Schnäppchen gibt es nicht oft, wär...