Sommersemester 2019

Anmeldung zu den LVAs über TISS erforderlich / Enrollment to the courses via TISS required!!!

Diplomarbeiten und Projekte

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)

Peter Schüller

`184.090`	`2.0`	`VU`	SAT Solving und Erweiterungen	Uwe Egly
`184.215`	`2.0`	`VU`	Complexity Analysis	Thomas Eiter
`184.266`	`2.0`	`VO`	Geschichte der Logik	Hans Tompits
`184.730`	`4.0`	`VU`	Knowledge-Based Systems	Uwe Egly, Thomas Eiter, Hans Tompits, Christoph Redl, Medina-Petrina Andresel
`184.735`	`2.0`	`VU`	Einführung in die künstliche Intelligenz	Thomas Eiter, Hans Tompits, Christoph Redl, Medina-Petrina Andresel, Rafael Peter David Kiesel,
`184.711`	`2.0`	`VU`	Proof Systems in Modal Logic	Hans Tompits
`184.765`	`2.0`	`VU`	Argumentieren und Beweisen	Uwe Egly, Wolfgang Dvorak
`185.291`	`4.0`	`VU`	Formale Methoden der Informatik	Uwe Egly, Stefan Woltran Florian Zuleger Laura Kovács
`192.084`	`2.0`	`VU`	Practical Applications of Answer Set Programming	Antonius Weinzierl

Seminare

`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.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

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

Dissertationen

Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Dissertationsthemen.

LVAs im vergangenen Semester

Wintersemester 2018/19

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.