Logic and
Theory of
Discrete Systems

Informatik 7

Proseminar über Automatentheorie (Wintersemester 2014/15)

Inhalt

In diesem Proseminar werden weiterführende Themen im Anschluss an die Vorlesung Formale Systeme, Automaten, Prozesse behandelt. Die genaue Auswahl der Themen wird sich nach der Anzahl der Teilnehmer richten.

Neben der Erarbeitung der Inhalte tritt mit gleichem Gewicht das Training in der Literatur-Recherche, der Strukturierung des Stoffes und der kompetenten Präsentation (schriftlich und im Vortrag).

Organisatorisches

Die Vergabe der Plätze erfolgt über das zentrale Vergabeverfahren.

Die Folien aus der Einführung in Latex gibt es hier sowie die Templates ausarbeitung.tex, ausarbeitung.bib und praesentation.tex.

Bei Fragen wenden Sie sich bitte an Prof. Wolfgang Thomas.