Praktikumsthemen für

Informatikpraktikum 1 (185.253), Informatikpraktikum 2 (185.955),
Freifachpraktikum (185.279),
Projektpraktikum für Informatik (185.285),
Project in Computational Logic (185.302).


Betreuer: Bernhard Gramlich

Wenn Sie sich für eines der angeführten Themen interessieren, wenden Sie sich bitte direkt an mich (Email: gramlich@logic.at, Tel.: 58801-18544, Sprechstunde siehe hier bzw. nach Vereinbarung). Die Themen können auch in kleinen Gruppen bearbeitet werden.

Andere als die unten angegebenen Themen sind nach Absprache ebenfalls möglich. Dazu zählen insbesondere solche Themen, die in einem inhaltlichen Zusammenhang zu einer der Vorlesungen Termersetzungssysteme (siehe auch VMTL - Vienna Modular Termination Tool), Computational Equational Logic, Formale Methoden der Informatik und Semantik von Programmiersprachen stehen.

Angebotene Praktikumsthemen (u.a.):

  • SAT solving interface

  • Eine Gesamtübersicht der von unserer Arbeitsgruppe Theoretische Informatik und Logik (E185/2) angebotenen Praktikumsthemen(bereiche) findet sich hier.

    Grundsätzlich können auch extern abgeleistete Praktika betreut werden. Allerdings müssen dabei einige generelle Richtlinien eingehalten werden!



    Last modified: Fri Oct 2 18:46:36 CEST 2009

    Home Page B.G. | LVAs B.G. | LVAs 185/2 | Home Page B.G. | AG 185/2 | Institut 185 | Server Home Page | Faculty of Informatics | TU Wien

    Valid HTML 4.01! Viewable With Any Browser Bernhard Gramlich