D120.de/forum

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

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

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

Sind leider schon zu 4.

Suchen immernoch 2, bei interesse bittw melden

Hab dir eine PN geschickt

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

Interessenten?

Hab dir eine PN geschickt

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