Die Suche ergab 71 Treffer

von hm
23. Mär 2010 09:34
Forum: Archiv
Thema: Axiome Datentypdefinition
Antworten: 3
Zugriffe: 291

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(...
von hm
22. Mär 2010 11:08
Forum: RBG/Rechner
Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
Antworten: 222
Zugriffe: 54285

Re: MSDNAA-Angebot (Windows7 Deutsch verfügbar!)

Michl hat geschrieben: Wir sind schon fleissig dabei die Jugend wieder auf den richtigen Weg zu bringen :)
Wer ist denn "Wir"?
von hm
22. Mär 2010 10:19
Forum: RBG/Rechner
Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
Antworten: 222
Zugriffe: 54285

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...
von hm
22. Mär 2010 10:03
Forum: Archiv
Thema: Maßterm ugh...
Antworten: 15
Zugriffe: 536

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...
von hm
22. Mär 2010 09:53
Forum: RBG/Rechner
Thema: MSDNAA-Angebot der TU-Darmstadt (Update: 23. August 2012)
Antworten: 222
Zugriffe: 54285

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...
von hm
17. Mär 2010 17:53
Forum: Archiv
Thema: Noten verfügbar
Antworten: 16
Zugriffe: 1860

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 ...
von hm
17. Mär 2010 16:50
Forum: Archiv
Thema: Noten verfügbar
Antworten: 16
Zugriffe: 1860

Re: Noten verfügbar

Frufus hat geschrieben:Gott bin ich froh das es das Praktikum gab
Da kann ich mich nur anschliessen: Vielen Dank an die Veranstalter. Vor allem ein Praktikum durch das man auch bestehen konnte.

Vielen Dank!!!
von hm
6. Mär 2010 10:10
Forum: Archiv
Thema: Informationen zur Klausur
Antworten: 44
Zugriffe: 3026

Re: Informationen zur Klausur

Sascha hat geschrieben:Ich habe es wieder hochgeladen und verlinkt.
Danke für die schnelle Reaktion!

Schönes WE!
von hm
6. Mär 2010 09:21
Forum: Archiv
Thema: Informationen zur Klausur
Antworten: 44
Zugriffe: 3026

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! ...
von hm
4. Mär 2010 01:39
Forum: Archiv
Thema: Und, wie war's
Antworten: 27
Zugriffe: 2796

Re: Und, wie war's

LucasR hat geschrieben:Laut Herrn Mitschke ist mit einer Korrektur nicht vor Ostern zu rechnen.
Das hat er zumindest am Ende der Klausur gesagt :|
von hm
18. Feb 2010 19:33
Forum: Allgemein
Thema: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
Antworten: 107
Zugriffe: 19567

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...
von hm
10. Feb 2010 14:05
Forum: Offtopic
Thema: Handtuchspender
Antworten: 5
Zugriffe: 546

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, ...
von hm
10. Feb 2010 13:11
Forum: Allgemein
Thema: "Wir haben zu viel Geld": Ideen für QSL-Mittel gesucht
Antworten: 107
Zugriffe: 19567

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...
von hm
7. Jan 2010 22:15
Forum: Archiv
Thema: Zulassung zur 2.Prüfung für PO07
Antworten: 12
Zugriffe: 884

Re: Zulassung zur 2.Prüfung für PO07

Thorti hat geschrieben: es wird auf dem 10. Blatt nochmal eine Möglichkeit geben, einen Schein für TGDI2 zu bekommen.
Danke Thorsten.
von hm
17. Dez 2009 20:28
Forum: Archiv
Thema: Abgabedatum Blatt 8
Antworten: 5
Zugriffe: 243

Re: Abgabedatum Blatt 8

Michl hat geschrieben:Die Bearbeitungszeit ist aber doch genau so lang wie bei jedem vorhergehenden Übungsblatt auch, oder irre ich mich?
Ging mir eher um die Abreise am Freitag (manche haben Flug/Zug gebucht) ;)

Zur erweiterten Suche