Lehrende: Prof. Dr. Ringo Baumann; Prof. Dr. Gerhard Brewka; Dr. Frank Loebe
Veranstaltungsart: Vorlesung
Orga-Einheit: 10-Informatik
Anzeige im Stundenplan:
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Deutsch
Organisatorisches: Vorlesungsbeginn: Donnerstag, 12.04.2018 Übungsbeginn: Montag, 16.04.2018 (B-Woche) Begleitend zur Durchführung der Lehrveranstaltungen wird das OLAT eingesetzt. Unter Kurse > Katalog > Sommersemester 2018 finden Sie den zugehörigen Kurs S18.Inf.Logik [1]. Bitte melden Sie sich dort erneut für die Vorlesung und eine der Übungsgruppen an. [1] https://olat.informatik.uni-leipzig.de/url/RepositoryEntry/89751554/CourseNode/79325145728746
Literatur: Materialien von Prof. Brewka finden Sie unter: http://www.informatik.uni-leipzig.de/~brewka/TheorieII.html