Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2017
2.01.400 Theoretische Informatik I -
Event date(s) | room
- Dienstag, 4.4.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 7.4.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 11.4.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Dienstag, 18.4.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 21.4.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 25.4.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 28.4.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 2.5.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 5.5.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 9.5.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 12.5.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 16.5.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 19.5.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 23.5.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 26.5.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 30.5.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 2.6.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 6.6.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 9.6.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 13.6.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 16.6.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 20.6.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 23.6.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 27.6.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 30.6.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Dienstag, 4.7.2017 12:00 - 14:00 | A11 1-101 (Hörsaal B)
- Freitag, 7.7.2017 10:00 - 12:00 | A07 0-030 (Hörsaal G)
- Mittwoch, 19.7.2017 11:00 - 14:00 | A14 1-102 (Hörsaal 2)
- Mittwoch, 19.7.2017 11:00 - 14:00 | A14 1-101 (Hörsaal 1)
- Mittwoch, 4.10.2017 13:00 - 16:00 | A14 1-102 (Hörsaal 2)
- Mittwoch, 4.10.2017 13:00 - 16:00 | A14 1-101 (Hörsaal 1)
Lecturers
Tutors
Modules
- inf400 Theoretische Informatik I
Study fields
- Studium generale / Gasthörstudium
Lehrsprache
deutsch
Anzahl der freigegebenen Plätze für Gasthörende
5
Für Gasthörende / Studium generale geöffnet:
Ja
Hinweise zum Inhalt der Veranstaltung für Gasthörende
In der "Theoretischen Informatik I" geht es um Logik in den
Formen Aussagenlogik, Prädikatenlogik, Logik-Programmierung und
Temporale Logik.
Hinweise zur Teilnahme für Gasthörende
Ein Verständnis mathematischer Notationen ist notwendig
für das Verständnis dieser Lehrveranstaltung.