![]() ![]() Due to the Curry-Howard correspondence terms of the \(\lambda\)-calculus can not only be interpreted as programs but also as proofs. 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 10, Exercise 10.2 Solution Tutorial Solution 09, Exercise 9.2 Solution Tutorial Solution 08, Exercise 8.1 Solution Tutorial Solutions 03, Homework 3.5 Solution The exam review runs until Sunday midnight, i.e. 00:15. You have received a link for the online review together with the grade published on TUMonline. You may bring an A4 sheet with hand-written notes on both sides. Additionally, students are required to wear an FFP2 mask that they can take off while seated. ![]() In accordance with the hygiene provisions for exams, the 3G rule applies which means that unvaccinated people need to provide an official rapid certificate not older than 24 hours or PCR test certificate not older than 48 hours. The exam will be in written form and take place on 08:00 - 09:30 in MW 2001. Masks are mandatory both when entering the room and when seated. Additionally, you must check in when entering the room using the QRONITON contact tracing system. In accordance with the rules set by the TUM, we will check your 2G status (recovered, vaccinated) before you enter the lecture hall.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.The date of the first tutorial was changed. : The lecture hall as well as the time and date of the lecture were changed.: Added information about hygiene provisions.The homework submissions will be marked but there won’t be a grade bonus. : Homework submissions are managed with Moodle.: Homework solutions are now also published but only on Moodle.: Entered the correct starting time for the tutorial: 10:05.: Due to the Dies Academicus, the tutorial will not take place tomorrow.: Merry Christmas and a happy New Year! See you again in January.Due to the relatively high number of registrations, the exam will be a written exam. : The exam will take place on 8:00 - 9:30 in MW 2001. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |