Skip to main content
Wachter Space ­čÜÇ
  1. Posts/

Programmierparadigmen am KIT

├ťbersicht ├╝ber die Themen.

Themen
(Textform f├╝r Sehgesch├Ądigte)

Zur Klausurvorbereitung habe ich viele der Ninety-Nine Haskell Problems und der Ninety-Nine Prolog Problems gemacht. Sehr ├Ąhnliche Probleme waren bereits in Altklausuren dran.

F├╝r alle die sich weitergehend mit dem Lambdakalk├╝l auseinandersetzen wollen, sind Introduction to Lambda Calculus von Henk Barendregt und Erik Barendsen, sowie Lecture Notes on the Lambda Calculus von Peter Selinger lesenswert.