Prof. Dr. Heinrich Herre

Prof. Dr. Heinrich Herre
Informatik
Uni Leipzig

Lehrveranstaltungen (5)

Veranstaltung #
Automaten und Formale Sprachen (Vorlesung + Übung/Tutorium) 1
Deduktionssysteme 1 (Vorlesung) 1
Formale Ontologie für Informationssysteme (Vorlesung) 2
Mengentheoretisch-algebraische Grundlagen (Vorlesung) 0
Metatheorie formalisierter Theorien (Vorlesung) 1

Durchschnittsbewertung

Bewertungen:

5

Gesamt: Bewertungen können nur von
registrierten Nutzern eingesehen werden.

Wenn du schon ein Nutzerkonto hast, dann log dich ein, anderenfalls kannst du dich hier registrieren.
Fairness:
Unterstützung:
Material:
Verständlichkeit:
Spaß:
Interesse:
Note/Aufwand:
Empfehlung: