Deutschland » Sachsen » Uni Leipzig » Informatik » Prof. Dr. Herre » Kurse
Prof. Dr. Heinrich Herre
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
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 |