Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Sie sind hier: Startseite

Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme - Einzelansicht

Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer 552121
SWS Semester WiSe 2022/23
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfristen 04.10.2022 - 10.11.2022

Belegung über PULS
04.10.2022 - 10.11.2022

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung/Übung Mo 12:00 bis 14:00 wöchentlich 17.10.2022 bis 06.02.2023  2.70.0.11 Prof. Dr. Kreitz 19.12.2022: Akademische Weihnachtsferien
26.12.2022: 2. Weihnachtstag
Einzeltermine anzeigen
Vorlesung/Übung Di 10:00 bis 12:00 wöchentlich 18.10.2022 bis 07.02.2023  2.70.0.11 Prof. Dr. Kreitz 20.12.2022: Akademische Weihnachtsferien
27.12.2022: Akademische Weihnachtsferien

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2022/23 , Aktuelles Semester: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG