Moses - Lehrveranstaltung

Semester

SoSe 2024

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.

Di.

Mi.

Do.

Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg, A 151
Kreutzer, Stephan

Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Ohne Ort
Kreutzer, Stephan

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

Logische Methoden der Informatik (Vorlesung)
LMI-Übung
Ohne Ort
Cavallaro, Dario Giuliano

Fr.

Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg, H 0105 (Audimax)
Kreutzer, Stephan

Name	Format
Logische Methoden der Informatik (Vorlesung)	LV / Vorlesung	Export Veranstaltungen exportieren
LMI-Übung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Do. 18.04 - 18.07.24, wöchentlich, 14:00 - 15:30		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “A 151”
LMI-Vorlesung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Do. 18.04 - 18.07.24, wöchentlich, 10:00 - 11:30		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “A 151”
Fr. 16.08.24, 10:00 - 14:00		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “H 0105 (Audimax)”