News
Additional Quiz on July 6thWritten on 09.06.26 by Gideon Mohr There will be a 7th quiz on July 6th, 2026. This quiz will explicitly cover the entire semester and not just content from the previous weeks. For exam admission you need 50% out of your 6 best quizzes. Thus, the threshold for exam admission remains at 45 points. Especially people who have missed a… Read more There will be a 7th quiz on July 6th, 2026. This quiz will explicitly cover the entire semester and not just content from the previous weeks. For exam admission you need 50% out of your 6 best quizzes. Thus, the threshold for exam admission remains at 45 points. Especially people who have missed a previous quiz can benefit from this quiz since participation in quiz 7 will discard the quiz you did not participate in. |
Project 1 GradedWritten on 27.05.26 by Gideon Mohr We have finished grading project 1 and the first project quiz. You can see your points on your personal status page alongside whether you have passed the project quiz. You can also download some high-level feedback next to your submission. If you have any more questions, please come to the next… Read more We have finished grading project 1 and the first project quiz. You can see your points on your personal status page alongside whether you have passed the project quiz. You can also download some high-level feedback next to your submission. If you have any more questions, please come to the next office hour.
If you have zero points on the project, you might not have submitted the CONTRIBUTIONS.md file correctly. In this case, please check your emails and reply to get your points entered on the CMS. |
Typo in Proof for the Depth of the Parallel Prefix SumWritten on 06.05.26 by Guillaume DIDIER Good afternoon everyone, The proof of the Depth of PP(n) on the slide today was incorrect, the slides PDF (05. Adders) were just updated with the correct proof. Note that the PDF 05.Adders was covered partly on 26.04 and finished on 06.05, which then also covered 07. Arithmetic. Good afternoon everyone, The proof of the Depth of PP(n) on the slide today was incorrect, the slides PDF (05. Adders) were just updated with the correct proof. Note that the PDF 05.Adders was covered partly on 26.04 and finished on 06.05, which then also covered 07. Arithmetic. |
Team Registration Deadline for Project 1 Today at 23:59Written on 04.05.26 by Gideon Mohr Please remember to register your teams for project 1 today. Starting tomorrow, you will be able to submit project 1 on your personal status page and teams can no longer be changed. |
Lecture on Wednesday, April 22Written on 21.04.26 by Jan Reineke Due to a clash with another important meeting, tomorrow's lecture may start around 15 minutes later than usual, i.e., at 12:45. |
Lectures Recording UploadedWritten on 16.04.26 by Guillaume DIDIER The recording for yesterday's lecture has been uploaded, alongside the recovered audio of last Friday's lecture. I also would like to apologise for the not very clear explanation of the modelling of circuits, Jan should go again over the syntactic modelling of circuits tomorrow. |
Office Hour & Quiz InspectionWritten on 14.04.26 by Gideon Mohr Today the first office hour will take place from 3pm-5pm in E1.3, SR 401. Generally, you will be able to inspect your quiz in the first office hour after the quiz. This means you can inspect the first quiz in today's office hour. |
Tutorial AssignmentWritten on 10.04.26 by Gideon Mohr We have assigned the tutorials. You can find your tutor and the room on your personal status page. The tutorials start on Monday, April 13th either at 8:30am, 10:15am or 12:15pm. Please remember that the first quiz will take place at the beginning of the first tutorial, so be there on time. We… Read more We have assigned the tutorials. You can find your tutor and the room on your personal status page. The tutorials start on Monday, April 13th either at 8:30am, 10:15am or 12:15pm. Please remember that the first quiz will take place at the beginning of the first tutorial, so be there on time. We have also transferred the points for the quizzes and project from those who already got the exam admission in the last iteration. You can see your updated admission status on your personal status page. |
