Die Suche ergab 71 Treffer
- 23. Mär 2010 09:34
- Forum: Archiv
- Thema: Axiome Datentypdefinition
- Antworten: 3
- Zugriffe: 323
Re: Axiome Datentypdefinition
Ohne Gewähr würd ich folgendes sagen: AX_{tree[@T]}=\{ (1) (a) eq_{tree[@T]}(leaf,leaf)\equiv true (2) (a_1) \forall\, l,r : tree[@T], k : @T\;\; left(node(l,k,r)) \equiv l (2) (a_2) \forall l,r : tree[@T], k : @T\;\; key(node(l,k,r)) \equiv k (2) (a_3) \forall l,r : tree[@T], k : @T\;\; right(node(...
- 22. Mär 2010 11:08
- Forum: RBG/Rechner
- Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
- Antworten: 222
- Zugriffe: 57049
Re: MSDNAA-Angebot (Windows7 Deutsch verfügbar!)
Wer ist denn "Wir"?Michl hat geschrieben: Wir sind schon fleissig dabei die Jugend wieder auf den richtigen Weg zu bringen
- 22. Mär 2010 10:19
- Forum: RBG/Rechner
- Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
- Antworten: 222
- Zugriffe: 57049
Re: MSDNAA-Angebot (Windows7 Deutsch verfügbar!)
Ich glaub eher dass die sich freuen, wenn unter Informatikern überhaupt Windoze zum Einsatz kommt.. Die versuchen ja schon Student Partner zu finden die für andere vorträge etc. halten :) Allerdings, wenn ich mich so umschaue - die "neue Generation" kennt quasi nur noch Win oder Mac... Traurig, abe...
- 22. Mär 2010 10:03
- Forum: Archiv
- Thema: Maßterm ugh...
- Antworten: 15
- Zugriffe: 578
Re: Maßterm ugh...
in einer Übung oder so von kA wann wurde als Massterm mal min(x,y) genommen, wobei min eine Methode/Funktion sei die die kleinere Zahl von x und y zurückgibt. Ausgeschrieben ist die min Methode ja auch nur eine Verknüpfung aus ifs. Laut Definition von einem Maßterm ist das auch gültig, da ein Maßte...
- 22. Mär 2010 09:53
- Forum: RBG/Rechner
- Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
- Antworten: 222
- Zugriffe: 57049
Re: MSDNAA-Angebot (Windows7 Deutsch verfügbar!)
...ich darf die heruntergeladene Software "nicht fur die Entwicklung kommerzieller Software verwenden" - heißt das, dass ich, wenn ich Windows 7 als Betriebssystem installiere, dann keine kommerzielle Software entwickeln darf... Wenn es so geschrieben steht, dann bedeutet es wohl genau das. Sonst h...
- 17. Mär 2010 17:53
- Forum: Archiv
- Thema: Noten verfügbar
- Antworten: 16
- Zugriffe: 1979
Re: Noten verfügbar
Gerade die Aufzeichnungen habe ich oft angeschaut. Das hat wirklich viel geholfen!!! Vielen Dank! Schön, dass sich die Mühe gelohnt hat (ich hab das ja alleine ohne Hiwi o.ä. gemacht). Nachdem ich jetzt endlich ja einen zuverlässigeren Laptop habe, nehme ich nun die Verbesserung der Tonqualität in ...
- 17. Mär 2010 16:50
- Forum: Archiv
- Thema: Noten verfügbar
- Antworten: 16
- Zugriffe: 1979
Re: Noten verfügbar
Da kann ich mich nur anschliessen: Vielen Dank an die Veranstalter. Vor allem ein Praktikum durch das man auch bestehen konnte.Frufus hat geschrieben:Gott bin ich froh das es das Praktikum gab
Vielen Dank!!!
- 6. Mär 2010 10:10
- Forum: Archiv
- Thema: Informationen zur Klausur
- Antworten: 44
- Zugriffe: 3387
Re: Informationen zur Klausur
Danke für die schnelle Reaktion!Sascha hat geschrieben:Ich habe es wieder hochgeladen und verlinkt.
Schönes WE!
- 6. Mär 2010 09:21
- Forum: Archiv
- Thema: Informationen zur Klausur
- Antworten: 44
- Zugriffe: 3387
Re: Informationen zur Klausur
Eben habe ich erst gesehen, dass es anscheinend nicht mehr online ist. Verliert es dementsprechend komplett die Bedeutung? Ich konnte es auch nicht finden. Hatte mich schon gewundert, da es in den news noch drin steht, aber das entfernen nicht. Kann es mir jemand vielleicht zukommen lassen? Danke! ...
- 4. Mär 2010 01:39
- Forum: Archiv
- Thema: Und, wie war's
- Antworten: 27
- Zugriffe: 3093
Re: Und, wie war's
Das hat er zumindest am Ende der Klausur gesagtLucasR hat geschrieben:Laut Herrn Mitschke ist mit einer Korrektur nicht vor Ostern zu rechnen.

- 18. Feb 2010 19:33
- Forum: Allgemein
- Thema: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
- Antworten: 107
- Zugriffe: 20853
Re: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
Ich denke da speziell an den freien Platz direkt vor den Treppen wo im Sommer eh immer die Fahrräder rumstehen. Und zwar auf beiden Seiten des Piloty - Richtung Physiker und Richtung Herrengarten. Wobei der Platz von der Physikerseite her glaube ich Feuerwehrzufahrt oder so ist und somit ausscheide...
- 10. Feb 2010 14:05
- Forum: Offtopic
- Thema: Handtuchspender
- Antworten: 5
- Zugriffe: 608
Re: Handtuchspender
Manchmal muss man auch erst warten bis sich dieser infernalische Apparat von selbst entklemmt, obwohl nachweislich niemand kurz davor das Gerät benutzt hat. In der Tat geht es mir meistens auch so. Besonders oft ist es aber nachdem ein anderer direkt davor dran war - was damit zusammenhaengen mag, ...
- 10. Feb 2010 13:11
- Forum: Allgemein
- Thema: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
- Antworten: 107
- Zugriffe: 20853
Re: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
Um das mal am laufen zu halten - push (btw: wollte Andreas nicht noch mitte Dez. was schreiben ;) ) Hier zuerst einmal was andere vorgeschlagen haben und ich nur zustimmen kann: - Heraufsetzung der Druckgrenze, Möglichkeit zum Druck ganzer Skripte, bzw. kostenloser Druck ganzer Skripte - Verbesserte...
- 7. Jan 2010 22:15
- Forum: Archiv
- Thema: Zulassung zur 2.Prüfung für PO07
- Antworten: 12
- Zugriffe: 974
Re: Zulassung zur 2.Prüfung für PO07
Danke Thorsten.Thorti hat geschrieben: es wird auf dem 10. Blatt nochmal eine Möglichkeit geben, einen Schein für TGDI2 zu bekommen.
- 17. Dez 2009 20:28
- Forum: Archiv
- Thema: Abgabedatum Blatt 8
- Antworten: 5
- Zugriffe: 271
Re: Abgabedatum Blatt 8
Ging mir eher um die Abreise am Freitag (manche haben Flug/Zug gebucht)Michl hat geschrieben:Die Bearbeitungszeit ist aber doch genau so lang wie bei jedem vorhergehenden Übungsblatt auch, oder irre ich mich?
