Moses - Lehrveranstaltung

Semester

WiSe 2025/26

SoSe 2026

WiSe 2026/27

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-Übung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Di. 14.04 - 14.07.26, wöchentlich, 14:00 - 16:00		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “MA 001(EG)”
LMI-Vorlesung	LV / Vorlesung	Export Veranstaltung exportieren Übersicht nach... OE “34352200 FG Logik und Semantik”
Do. 16.04 - 16.07.26, wöchentlich, 10:00 - 12:00		Übersicht nach... OE “34352200 FG Logik und Semantik” Raum “MA 041”

Lehrveranstaltung Logische Methoden der Informatik (Vorlesung)