News
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. |