Die Suche ergab 9 Treffer

von sb98dero
3. Apr 2014 14:08
Forum: Archiv
Thema: Testexam 1 Aufgabe 5 b)
Antworten: 0
Zugriffe: 475

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...
von sb98dero
16. Dez 2013 23:42
Forum: Archiv
Thema: Weak-Fairness
Antworten: 1
Zugriffe: 564

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...
von sb98dero
5. Nov 2013 13:52
Forum: Archiv
Thema: Übungen des letzten Semesters
Antworten: 0
Zugriffe: 494

Ü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 :P

Danke!

MfG
von sb98dero
31. Okt 2013 23:15
Forum: Archiv
Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
Antworten: 5
Zugriffe: 608

Re: 2er Gruppe sucht 2 weitere Mitglieder

Sind leider schon zu 4.
von sb98dero
29. Okt 2013 16:14
Forum: Archiv
Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
Antworten: 5
Zugriffe: 608

Re: 2er Gruppe sucht 2 weitere

Suchen immernoch 2, bei interesse bittw melden ;)
von sb98dero
29. Okt 2013 12:17
Forum: Archiv
Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
Antworten: 5
Zugriffe: 608

Re: 2er Gruppe sucht 2 weitere

Hab dir eine PN geschickt
von sb98dero
29. Okt 2013 10:45
Forum: Archiv
Thema: 2er Gruppe sucht 2 weitere Mitglieder (voll)
Antworten: 5
Zugriffe: 608

2er Gruppe sucht 2 weitere Mitglieder (voll)

Wir sind zu zweit und suchen noch 2 weitere Mitglieder für die Bearbeitung der Labs.

Interessenten?
von sb98dero
23. Okt 2013 14:24
Forum: Archiv
Thema: Gruppensuche #2
Antworten: 1
Zugriffe: 290

Re: Gruppensuche #2

Hab dir eine PN geschickt :wink:
von sb98dero
4. Jul 2013 16:16
Forum: Offtopic
Thema: SurfaceRT Aktion Microsofts (Uni Bestellung erforderlich)
Antworten: 34
Zugriffe: 8864

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...

Zur erweiterten Suche