EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

teaching [2018/09/28 17:22]
sergey bump semester
teaching [2019/04/15 16:50] (current)
christoph updated to current semester
Line 1: Line 1:
 ===== Lehrveranstaltungen ===== ===== Lehrveranstaltungen =====
   * [[wpf|Regelmäßig angebotene Wahlpflichtveranstaltungen]]   * [[wpf|Regelmäßig angebotene Wahlpflichtveranstaltungen]]
-<!--  * [[ober|Oberseminar Theoretische Informatik]] (**[[ss16:ober|→ Laufendes Semester]]**) --> +  * [[ws19:|Nächstes Semester (WiSe 2019/20)]] 
- +  * **[[ss19:|Laufendes Semester (SoSe 2019)]]** 
-  * [[ss19:|Nächstes Semester (SoSe 2019)]] +    * [[ss19:thprog|Theorie der Programmierung]] 
-  * **[[ws18:|Laufendes Semester (WiSe 2018/19)]]** +    * [[ss19:tiet|Theoretische Informatik für Wirtschaftsinformatik und Lehramt]] 
-    * [[ws18:gloin|Grundlagen der Logik in der Informatik]] +    * [[ss19:semprog|Praktische Semantik von Programmiersprachen]] 
-    * [[ws18:algprog|Algebra des Programmierens]] +    * [[ss19:topcat|Themen der Kategorientheorie]] 
-    * [[ws18:fmsoft|Formale Methoden der Softwareentwicklung]] +    * [[ss19:mbp|Monad-Based Programming]] 
-    * [[ws18:aloa|Algebraische und Logische Aspekte der Automatentheorie]] +    * [[ss19:autoinf|Seminar nominale Mengen und Automaten]] 
-    * [[ws18:kommpar|Kommunikation und Parallele Prozesse]] +    * [[ss19:ober|Oberseminar]]
-    * [[ws18:ober|Oberseminar]]+
   * Vorige Semester:    * Vorige Semester: 
 +    * [[ws18:|Wintersemester 2018/19]]
     * [[ss18:|Sommersemester 2018]]      * [[ss18:|Sommersemester 2018]] 
     * [[ws17:|Wintersemester 2017/18]]     * [[ws17:|Wintersemester 2017/18]]