Isnochys

Was für ein Chaos.
20 Studenten, 7 Fächer, 2 pro Nase, ihr könnt die Kombinationen ja mal ausrechnen.
Die Verteilung der Aufgabenblätter hat 20 Minuten gedauert.
In Evo war mir bis auf Knapsack, was ist das?, und die letzte Aufgabe alles klar.
Gut, fehlen mir 20 Punkte.
schade.
Eigentlich dachte ich das durch Linux ausgleichen zu können.
Weit gefehlt.
Denn hier waren Dinge gefragt, uiuiui, Erklären sie verschiedene Lizenzsysteme.
Was sind Distributionen und erläutern sie diese im Zusammenhang mit einer bestimmten Fragestellung.
Hä?
Ja, genauso gings mir auch.
Hab ich eben wieder improvisieren müssen
:))

Gerade haben der Moskaukonsultant und ich unsere letzte Lernstunde vor der morgigen Evolutinary Computing /Linux Klausur abgeschlossen.
Im Anschluß daran gabs eine Aufgabe zur Typenkorrektheit.

Zeigen Sie, dass der Term

get(put(m,x,l), y)

den Typ list(string) hat. Die Signaturen der Funktionen und Variablen sind wie folgt gegeben:

get: Map(K,V) * K -> V;
put: Map(X, Y) * X * Y -> Map(X,Y);
m: Map(int, list(string));
x: int;
l: list(string);
y: int;

Berechnen Sie die Typgleichungen und lösen Sie diese mit dem in der Vorlesung diskutierten Verfahren.

Das haben wir in den Vorlesungen nie wirklich durchgenommen. Kommt nächste Woche aber in der Prüfung dran.
Zum Glück hatten wir die Systemidentifikation in EA durchgenommen.
Wir haben 2 Aufgaben, eine davon mit Lösung.
Jetzt wenden wir einen GA an und schon haben wir das Ergebnis.
Will heißen, eine Aufgabe als Input, die Lösung als Fitnesswert und schon können wir daraus eine Formel erraten, welche uns die Aufgabe 2 errechnet.
Und für sowas zahlt meine Firma 500,- Studiengebühren?
Jetzt muß ich mir nur nochmal Linux durchlesen.

Folgender Anhang hat mich gerade via Mail erreicht:
chickenc.wav
Hierzu möchte ich nur ergänzen, dass mir der Absender sehr wohl bekannt ist.
Heute trinken geht leider nicht, aber wenn er seine Prüfungen und Abgaben hat, können wir uns vorher gerne besaufen.
🙂

SMBC