Tagesarchive: 22. Mai 2008

Intelligent Designed

Veröffentlicht unter Initializing /dev/chaos | Hinterlasse einen Kommentar

Typkorrektheit – Reverse Engineering & Systemidentifikation

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 … Weiterlesen

Veröffentlicht unter Initializing /dev/chaos | Hinterlasse einen Kommentar

RAP

Veröffentlicht unter Initializing /dev/chaos | Hinterlasse einen Kommentar