Moses - Lehrveranstaltung

Semester

WiSe 2024/25

SoSe 2025

WiSe 2025/26

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.

Fr.

Name	Format
Logische Methoden der Informatik (Vorlesung)	LV / Vorlesung	Export Veranstaltungen exportieren
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”

Lehrveranstaltung Logische Methoden der Informatik (Vorlesung)