Today it forms the basis of many functional programming languages such as Haskell or Idris. The \(\lambda\)-calculus is a universal model of computation, i.e. it can simulate any Turing machine, that was introduced by Alonzo Church in the 1930s.
Tutorial Solution 12, Exercise 12.1 Solution Tutorial Solution 11, Exercise 11.2 Solution
Tutorial Solution 10, Exercise 10.3 Solution Tutorial Solution 09, Exercise 9.2 Solution Tutorial Solutions 03, Homework 3.5 Solution Thursday 10:00 ‐ 12:00 in Taurus 1, Galileo The exam review runs until Monday morning, i.e. If you are an external student (e.g. from the LMU), you should contact the tutorial organiser to receive the link. You have received a link for the online review together with the grade published on TUMonline. You are allowed to bring one DIN A4 sheet with hand-written notes on both sides. The exam will be a standard pen-and-paper exam. The weekly homework sheets will be marked but there won’t be a grade bonus.Only one of the two courses can be credited towards your degree. This course overlaps with the second half of the course Equational Logic and Lambda Calculus (IN2048).You can subscribe to all Lambda-* streams by visiting this stream and clicking the curry emoji. Questions regarding the lecture and exercises can be discussed on Zulip.
0 kommentar(er)
