News
Current Exercise Sheet & Reminder Room Change
Written on 20.11.2024 16:14 by Alexander Rogovskyy
Pairing Function & Projections
Since the question came up a few times: The pairing function and the corresponding projections π_i for exercise E5.4 can be found in the script in Lemma 8.3.
(Note that you may not, of course, use the subsequent exercise 8.4 from the script since that's exactly our task!)
LaTeX snippet for FOR and WHILE programs
As promised, we have uploaded a LaTeX snippet for FOR and WHILE programs. Of course, you do not have to use it and are free to use any other implementation / package (as long as it's readable ;) ).
Reminder: Room Change for Office Hour
This is just a quick reminder that tomorrow's (Thursday, 21st Nov) Office Hour will take place in a different room: E1.3, seminar room 014.