max planck institut
informatik
informatik
| Lecture time | Tuesday 16-18 | ||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Exercise time | Wednesday 16-18 | ||||||||||||||||||||||||||||||||||||||||||||||||
| Lecture rooms | Tuesdays: E1.4 Room 024;
Wednesdays: E1.4 Room 023 |
||||||||||||||||||||||||||||||||||||||||||||||||
| Lecturers | Timo Kötzing, Xavier Pérez-Giménez, Chandan Saha, Thomas Sauerwald, Reto Spöhel, Jens Schmidt and Carola Winzen | ||||||||||||||||||||||||||||||||||||||||||||||||
| Audience | The course aims at providing the basic tools for master's level courses in theoretical computer science. Thus, the intended audience are students early in their master's studies who, for example, would like to (re-)learn how to write formal proofs. The course is designed as an English language revision of basic math material for students from backgrounds, where this material was not part of the curriculum. | ||||||||||||||||||||||||||||||||||||||||||||||||
| Credits | There will be no credits given for the course.
|
||||||||||||||||||||||||||||||||||||||||||||||||
| Exercises | We will hand out exercises every week. These exercises will be discussed in the exercise session of the following week. Exercise 1 Exercise 2 |
||||||||||||||||||||||||||||||||||||||||||||||||
| Lesson Plan | Note that there is no lecture on May 1. Instead, the exercise session on May 2 is partly a lecture.
|