Heute mal etwas Theorie zum Thema λ-Kalkül. Hierbei handelt es sich um eine von Alonzo Church etablierte Theorie zur Ausführung von Funktionen. Hierbei nehmen wir Funktionen als anonyme Funktionen λ an und können die Identität (also die Funktion, die alle Argumente auf sich selbst abbildet) wie folgt darstellen:

λx.x …

Lange ist es her seit meine letzte Nachricht an die Menschheit in dieses öffentliche Forum meiner Seite verkündet wurde. Nun bin ich aber wieder zurück und wünsche in guter höflicher Manier allen meinen Lesern - und ich weiß, dass es wenige sind - ein Frohes Neues Jahr.

Um diesen Eintrag noch weiter …

Die RWTH-Aachen bietet reichhaltige Informationen» – wozu Videos, Uebungsblaetter und Skripten gehoeren – zu einer Model-Checking-Vorlesung aus dem Wintersemester 2003/2004. Wirklich hinschauenswert.

Man muss es wohl gesehen haben, um es zu glaube, was die Jungs und Mädels beim MIT so mit graphischen Systemen machen. "Painting with patterns" und "painting with movements" heißt es da schlicht. Doch was dabei rauskommt, ist schon erstaunlich und kann in einem Video bestaunt werden.

Haben wir das nicht endlich gebraucht? Käfige für unsere lieben Kleinen, um sie vor der bösen Umwelt zu schützen. Das Problem ist nun gelöst dank babycage, dem Käfig für jedes Alter.

Neben Wurst, Käse und etwas unfrischem Gemüse wird es bei uns im Plus demnächst auch eine Waffentasche geben. Endlich hat man die Zeichen der Zeit erkannt und stellt sich auf die immer anspruchsvollere Kundschaft ein. Mit praktischem seitlich integriertem gepolstertem Gewehrfach mit Reißverschluss und viel Staurraum für das erlegte Was-auch-immer …

Shining, und wie der Film eigentlich hätte verlaufen sollen, verrät dieses Video. Ob Kubrick damit einverstanden wäre?

Heute war es soweit und ich habe meine letzte Nebenfachprüfung in meinem Nebenfach Psychologie (Hauptfach Informatik) bei Prof. Hellmuth Metz-Göckel (siehe Bild) mit eine Note von 1.0 abgelegt. Thematisch drehte sich alles um Motivationspsychologie, Emotionspsychologie und Intelligenztheorien. Gelernt habe ich nach einer Zusammenfassung von Michael Gregorius, dem Vorlesungsscript, einigen …