Die Suche ergab 24 Treffer

von Informatik Jones
14. Sep 2014 13:33
Forum: Archiv
Thema: Nachklausur 2014
Antworten: 1
Zugriffe: 635

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...
von Informatik Jones
22. Okt 2013 10:51
Forum: Archiv
Thema: Spin unter OS X
Antworten: 2
Zugriffe: 464

Re: Spin unter OS X

Vielen Dank!
von Informatik Jones
22. Okt 2013 09:59
Forum: Archiv
Thema: Spin unter OS X
Antworten: 2
Zugriffe: 464

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
von Informatik Jones
29. Apr 2011 18:56
Forum: Archiv
Thema: TUD PowerPoint Vorlage
Antworten: 1
Zugriffe: 3551

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/...
von Informatik Jones
29. Apr 2011 13:36
Forum: Archiv
Thema: 3er Gruppe sucht weiteres Mitglied
Antworten: 4
Zugriffe: 472

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...
von Informatik Jones
19. Apr 2011 14:54
Forum: Archiv
Thema: Vorlesungslautstärke
Antworten: 3
Zugriffe: 682

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 ...
von Informatik Jones
13. Apr 2011 09:00
Forum: Archiv
Thema: GdI 2 Vorlesungsseite
Antworten: 43
Zugriffe: 4200

Re: GdI 2 Vorlesungsseite

Ich bräuchte das Passwort bitte auch :oops: .
Vielen Dank =]
von Informatik Jones
14. Mär 2011 15:13
Forum: Archiv
Thema: Asynchrone Nebenläufigkeit
Antworten: 3
Zugriffe: 415

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...
von Informatik Jones
14. Mär 2011 13:27
Forum: Archiv
Thema: Asynchrone Nebenläufigkeit
Antworten: 3
Zugriffe: 415

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 ...
von Informatik Jones
7. Mär 2011 09:57
Forum: Archiv
Thema: Klausuren
Antworten: 2
Zugriffe: 931

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 =]
von Informatik Jones
4. Nov 2010 14:30
Forum: Archiv
Thema: Bitte weiterhin EiSE Übertragung im C110
Antworten: 5
Zugriffe: 853

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 ...
von Informatik Jones
4. Sep 2010 07:55
Forum: Archiv
Thema: Wann und wo Klausurergebnisse?
Antworten: 119
Zugriffe: 6441

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
von Informatik Jones
3. Sep 2010 20:52
Forum: Archiv
Thema: Wann und wo Klausurergebnisse?
Antworten: 119
Zugriffe: 6441

Re: Wann und wo Klausurergebnisse?

Ich hätte die Ergebnisse auch gerne als PM :)
Vielen Dank im Voraus
von Informatik Jones
24. Sep 2009 16:23
Forum: Archiv
Thema: Klausur - zeitlich eher knapp bemessen?
Antworten: 8
Zugriffe: 781

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...
von Informatik Jones
24. Sep 2009 16:20
Forum: Archiv
Thema: Minimalautomat
Antworten: 11
Zugriffe: 1469

Re: Minimalautomat

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

Zur erweiterten Suche