Wintersemester 2011/2012

Theoretische Informatik I: Automaten und formale Sprachen

 

Kategorientheorie und Logik

 

Methoden des wissenschaftlichen Arbeitens

Ziel des Proseminars ist es, die Methoden des wissenschaftlichen Arbeitens - Lesen, Zusammenfassen, Schreiben und Vortragen wissenschaftlicher Artikel - anhand eines selbstgewählten Themas zu erlernen.

Seminar Theoretische Informatik - Logik und Berechenbarkeit

In diesem Seminar werden vertiefende Themen der theoretischen Informatik und angrenzender Bereiche der Mathematik anhand von ausgewählter Literatur besprochen. Das Thema des WS 2011/12 ist "Logik und Berechenbarkeit".

Theorie-Kolloquium