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.