Wintersemester 2014/2015
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to
the courses via TISS required!!!
Vorlesungen (mit Übung) und Konversatorien
184.189 |
2.0 |
VU |
Cryptography |
Uwe Egly |
184.208 |
2.0 |
VO |
Logik für Wissensrepräsentation |
Michael Fink,
Hans Tompits |
184.266 |
2.0 |
VO |
History of Logic |
Michael Fink, Hans Tompits |
184.682 |
3.0 |
VU |
Abstract Argumentation |
Uwe Egly,
Johannes Wallner,
|
184.698 |
4.0 |
VU |
KBS for Business Informatics |
Uwe Egly,
Hans Tompits,
Thomas Krennwallner |
184.711 |
2.0 |
VU |
Proof Systems in Modal Logic |
Hans Tompits |
184.737 |
3.0 |
VU |
Einführung in wissensbasierte Systeme |
Uwe Egly,
Hans Tompits,
Thomas Krennwallner
|
185.291 |
4.0 |
VU |
Formal Methods in Computer Science |
Uwe Egly,
Reinhard Pichler,
Gernot Salzer,
Helmut Veith |
Übungen
Seminare
Bachelorarbeit und Projekte
Diplomarbeiten und Dissertationen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Diplomarbeits- und Dissertationsthemen.
LVAs im vergangenen Semester