Moses - Lehrveranstaltung

Semester

SoSe 2025

WiSe 2025/26

SoSe 2026

Legende

Kalenderoptionen

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

Mo.

Logische Methoden der Informatik (Vorlesung)
Charlottenburg, E-N 181

Di.

Logische Methoden der Informatik (Vorlesung)
LMI-Übung
Charlottenburg, A 151
Cavallaro, Dario Giuliano

Mi.

Do.

Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg, MA 041
Kreutzer, Stephan

Fr.

Logische Methoden der Informatik (Vorlesung)
Charlottenburg, E-N 189

Name	Format
Logische Methoden der Informatik (Vorlesung)	LV / Vorlesung	Export Veranstaltungen exportieren
Logische Methoden der Informatik (Vorlesung)	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Fr. 08.08.25, 10:00 - 12:00		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “E-N 189”
Logische Methoden der Informatik (Vorlesung)	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Mo. 06.10.25, 14:00 - 16:00		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “E-N 181”
LMI-Vorlesung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Do. 17.04 - 17.07.25, wöchentlich, 12:00 - 13:30		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “MA 041”
LMI-Übung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Di. 15.04 - 15.07.25, wöchentlich, 14:00 - 15:30		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “A 151”