Proseminar: Automatentheorie

 

Wintersemester 2014/2015

 

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 sowohl schriftlich als auch im Vortrag.

 

Organisation

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

Informationen findet man auf den Folien aus der Einführung, sowie die Templates ausarbeitung.tex, ausarbeitung.bib und praesentation.tex.