Sommersemester 2017
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to
the courses via TISS required!!!
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen
Themen für Diplomarbeiten oder Projekte. Insbesondere lassen sich jederzeit
Themen im Rahmen
unserer Forschungsprojekte finden.
Vorlesungen (mit Übung)
| 184.090 |
2.0 |
VU |
SAT Solving |
Uwe Egly,
Florian Lonsing |
| 184.215 |
2.0 |
VU |
Complexity Analysis |
Thomas Eiter |
| 184.188 |
2.0 |
VU |
Nonmontonic Reasoning |
Hans Tompits |
| 184.700 |
2.0 |
VO |
Deklaratives Problemlösen |
Uwe Egly,
Christoph Redl,
Hans Tompits |
| 184.730 |
4.0 |
VU |
Knowledge Based Systems |
Uwe Egly,
Thomas Eiter,
Christoph Redl,
Hans Tompits
|
| 184.735 |
2.0 |
VU |
Einführung in die künstliche Intelligenz |
Thomas Eiter,
Christoph Redl,
Hans Tompits
|
| 184.711 |
2.0 |
VU |
Proof Systems in Modal Logic |
Hans Tompits |
| 184.765 |
2.0 |
VU |
Argumentieren und Beweisen |
Uwe Egly,
Antonius Weinzierl |
| 185.291 |
4.0 |
VU |
Formale Methoden der Informatik |
Gernot Salzer,
Uwe Egly,
Stefan Woltran
|
Seminare
| 184.010 |
2.0 |
SE |
Seminar für DiplomandInnen |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.067 |
2.0 |
SE |
Seminar in Theoretical Computer Science |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.068 |
2.0 |
SE |
Seminar in Artificial Intelligence |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.226 |
2.0 |
SE |
Seminar Kryptographie |
Uwe Egly
|
| 184.264 |
2.0 |
SE |
Seminar in Logic |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.712 |
2.0 |
SE |
Seminar in Knowledge Representation and Reasoning |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.721 |
2.0 |
SE |
Seminar für DissertantInnen |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.773 |
2.0 |
SE |
Critical Algorithm Studies |
Hans Tompits,
Florian Cech |
Bachelorarbeit und Projekte
| 184.713 |
5.0 |
PR |
Bachelorarbeit für Informatik und Wirtschaftsinformatik |
Uwe Egly,
Thomas Eiter,
Hans Tompits |
| 184.191 |
8.0 |
PR |
Project in Computational Logic |
Uwe Egly,
Thomas Eiter,
Christoph Redl,
Hans Tompits
|
| 184.718 |
4.0 |
PR |
Project in Computer Science 1 |
Uwe Egly,
Thomas Eiter,
Christoph Redl,
Hans Tompits
|
| 184.719 |
4.0 |
PR |
Project in Computer Science 2 |
Uwe Egly,
Thomas Eiter,
Christoph Redl,
Hans Tompits
|
Übungen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen
Dissertationsthemen.
