Prof. Dr. Heinrich Herre

Prof. Dr. Heinrich Herre
Informatik
Uni Leipzig

Lehrveranstaltungen von Prof. Dr. Heinrich Herre

Veranstaltung Umfang Beschreibung Bewertungen
Automaten und Formale Sprachen
Vorlesung + Übung/Tutorium
4 SWS - 1
Deduktionssysteme 1
Vorlesung
2 SWS - 1
Formale Ontologie für Informationssysteme
Vorlesung
2 SWS - 2
Mengentheoretisch-algebraische Grundlagen
Vorlesung
4 SWS - 0
Metatheorie formalisierter Theorien
Vorlesung
2 SWS - 1