Die Suche ergab 24 Treffer
- 14. Sep 2014 13:33
- Forum: Archiv
- Thema: Nachklausur 2014
- Antworten: 1
- Zugriffe: 670
Nachklausur 2014
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...
- 22. Okt 2013 10:51
- Forum: Archiv
- Thema: Spin unter OS X
- Antworten: 2
- Zugriffe: 488
Re: Spin unter OS X
Vielen Dank!
- 22. Okt 2013 09:59
- Forum: Archiv
- Thema: Spin unter OS X
- Antworten: 2
- Zugriffe: 488
Spin unter OS X
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
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
- 29. Apr 2011 18:56
- Forum: Archiv
- Thema: TUD PowerPoint Vorlage
- Antworten: 1
- Zugriffe: 3740
TUD PowerPoint Vorlage
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/...
- 29. Apr 2011 13:36
- Forum: Archiv
- Thema: 3er Gruppe sucht weiteres Mitglied
- Antworten: 4
- Zugriffe: 494
3er Gruppe sucht weiteres Mitglied
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...
- 19. Apr 2011 14:54
- Forum: Archiv
- Thema: Vorlesungslautstärke
- Antworten: 3
- Zugriffe: 710
Vorlesungslautstärke
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 ...
- 13. Apr 2011 09:00
- Forum: Archiv
- Thema: GdI 2 Vorlesungsseite
- Antworten: 43
- Zugriffe: 4371
Re: GdI 2 Vorlesungsseite
Ich bräuchte das Passwort bitte auch
.
Vielen Dank =]

Vielen Dank =]
- 14. Mär 2011 15:13
- Forum: Archiv
- Thema: Asynchrone Nebenläufigkeit
- Antworten: 3
- Zugriffe: 431
Re: Asynchrone Nebenläufigkeit
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...
- 14. Mär 2011 13:27
- Forum: Archiv
- Thema: Asynchrone Nebenläufigkeit
- Antworten: 3
- Zugriffe: 431
Asynchrone Nebenläufigkeit
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 ...
Re: Klausuren
*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 =]
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 =]
- 4. Nov 2010 14:30
- Forum: Archiv
- Thema: Bitte weiterhin EiSE Übertragung im C110
- Antworten: 5
- Zugriffe: 900
Bitte weiterhin EiSE Übertragung im C110
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 ...
- 4. Sep 2010 07:55
- Forum: Archiv
- Thema: Wann und wo Klausurergebnisse?
- Antworten: 119
- Zugriffe: 7027
Re: Wann und wo Klausurergebnisse?
Hey,
Bin scheinbar auch übersehen worden.
Bitte eine PM oder ester@rbg.informatik.tu-darmstadt.de
Danke
Edit : Erhalten. Besten Dank
Bin scheinbar auch übersehen worden.
Bitte eine PM oder ester@rbg.informatik.tu-darmstadt.de
Danke

Edit : Erhalten. Besten Dank
- 3. Sep 2010 20:52
- Forum: Archiv
- Thema: Wann und wo Klausurergebnisse?
- Antworten: 119
- Zugriffe: 7027
Re: Wann und wo Klausurergebnisse?
Ich hätte die Ergebnisse auch gerne als PM 
Vielen Dank im Voraus

Vielen Dank im Voraus
- 24. Sep 2009 16:23
- Forum: Archiv
- Thema: Klausur - zeitlich eher knapp bemessen?
- Antworten: 8
- Zugriffe: 832
Klausur - zeitlich eher knapp bemessen?
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...
- 24. Sep 2009 16:20
- Forum: Archiv
- Thema: Minimalautomat
- Antworten: 11
- Zugriffe: 1522
Re: Minimalautomat
Vielen Dank Jungs =)
Ich bin heute morgen aufgestanden und es hat
gemacht.
Hätte das ohne euch nicht hinbekommen <3
Ich bin heute morgen aufgestanden und es hat

Hätte das ohne euch nicht hinbekommen <3