EN
|
DE
Theoretische Informatik
Home
People
Teaching
Research
Publications
Contact
Lehrveranstaltungen
Regelmäßig angebotene Wahlpflichtveranstaltungen
Laufendes Semester (SoSe 2017)
Theorie der Programmierung
Praktische Semantik von Programmiersprachen
Theoretische Informatik für Wirtschaftsinformatik und Lehramt
Modallogik
Algebra des Programmierens
Seminar Homotopy Type Theory
Oberseminar
Nächstes Semester (WiSe 2017)
Vorige Semester:
Wintersemester 2016/17
Sommersemester 2016
Wintersemester 2015/16
Sommersemester 2015
Wintersemester 2014/15
Sommersemester 2014
Wintersemester 2013/14
Sommersemester 2013
Wintersemester 2012/13
Sommersemester 2012
Studentische Arbeiten
Aktuelle Themen für
Bachelor, Master- und Projektarbeiten
Eine
LaTeX-Vorlage
für Bachelor, Master- und Projektarbeiten
