D120.de/forum

Hallo, Ich hätte ein paar Fragen: Zunächst organisatorisch: Im WS wurde ja gesagt, dass Büchi Automaten nicht in der Klausur drankommen. Ist diese Aussage auch für die Nachklausur gültig? Zu LTL: Wenn b ein boolean ist. Ist dann []!b (b ist immer falsch) äquivalent zu !(<>b) (es ist nicht wahr, dass...

Vielen Dank!

Hallo,

Ich würde mich sehr freuen, wenn mir (als Linux-Muffel) jemand hier kurz erklären könnte wie ich Spin unter OS X installiert bekomme. Ich bin sicher das wäre auch für andere hilfreich.

Vielen Dank im Voraus!

LG,
Andre

Da die Hausübungen als Präsentation gemacht werden soll hier ein nützlicher Link zum PowerPoint Template im Corporate Design der TUD. Ich denke mal viele Ersties werden den vielleicht noch nicht kennen. Wird ja immer wieder gerne gesehen und benutzt. http://www.fachschaft.informatik.tu-darmstadt.de/...

Hallo, Wegen der neuen Gruppengröße in HCS suchen wir ein oder zwei "Quotenmitglieder" die sich zu uns gesellen wollen. Gute Kommunikationsfähigkeit und ein gewisses Grundverständnis der Informatik wäre wünschenswert =]. Bei Interesse bitte PN hier übers Forum. Danke und Viel Erfolg für den Rest des...

Hallo, Ich hätte nur eine kurze Bitte an den Veranstalter. Wäre es bitte möglich in der Zukunft die Hörsaal PA etwas lauter zu stellen? Auch wenn man ruhig ist und sich konzentriert ist es manchmal sehr schwehr der Vorlesung (akustisch) zu folgen. Besonders wenn der Hörsaal so voll ist wie es heute ...

Ich bräuchte das Passwort bitte auch .
Vielen Dank =]

OK =) Das dachte ich mir schon. Wollte aber doch 100% sicher sein. Eine paar weitere Fragen stellen sicht mir mittlerweile: Ist es beim produkt TS wichtig anzugebem um es sich um eine Transition aus TS1 bzw TS2 handelt? Muss es also korrekt heißen, (S1,S2),E ->1 (S1',S2) und (S1,S2),E ->2 (S1,S2') o...

Hallöchen, Ich hätte da mal eine Frage zur asynchronen Nebenläufigkeit: Angenommen TS1 und TS2 haben ein gemeinsames Ereignis E - also E ist Element von E1 und E ist Element von E2. Es gelte außerdem S1 E -> S1' | mit S1,S1' Element aus TS1 und S2 E -> S2' | mit S2, S2' Element aus TS2 Nun steht im ...

*bump

Hat sich zu dem Thema irgendetwas getan? Wenn jemand ne alte Klausur hat wäre ich sehr dankbar für eine kopie per PM.

Danke =]

Hallo, Ich fände es super, wenn die EiSE Vorlesung auch weiterhin in den kleinen Hörsaal gestreamt werden könnte. Um im großen Hörsaal einen (vernünftigen) Platz bekommen zu können muss man mindestens 15 Minuten vor der Vorlesung im Saal sein und das ist leider nicht für jeden möglich. Ich denke es ...

Hey,
Bin scheinbar auch übersehen worden.

Bitte eine PM oder ester@rbg.informatik.tu-darmstadt.de

Danke

Edit : Erhalten. Besten Dank

Ich hätte die Ergebnisse auch gerne als PM
Vielen Dank im Voraus

Hi Jungs und Mädels, Die Klausur fand ich generell sehr fair aber persönlich hatte ich das Gefühl es wäre eher eine Klausur for 120 als für 90 minuten gewesen. Ich weiss, dass ich bei der Minimalisierung sehr langsam gearbeitet habe um sicherzugehen dass ich keine Flüchtigkeitsfehler mache. Aber tro...

Vielen Dank Jungs =)
Ich bin heute morgen aufgestanden und es hat gemacht.
Hätte das ohne euch nicht hinbekommen <3