Sie befinden sich hier: Termine » Studieninteressierte » Formale Sprachen im Informatik-Studium   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

Both sides previous revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
studieninteressierte:formale_sprachen [09.03.2015 22:57]
goldkatze s/Sie/du/
studieninteressierte:formale_sprachen [03.10.2018 13:10] (aktuell)
Clubfan
Zeile 17: Zeile 17:
   * Advanced C++ Programming (Seminar)   * Advanced C++ Programming (Seminar)
   * **Advanced Programming Techniques**   * **Advanced Programming Techniques**
-  * Algorithmik kontinuierlicher Systeme 
   * Betriebssysteme   * Betriebssysteme
   * Betriebssystemtechnik   * Betriebssystemtechnik
Zeile 44: Zeile 43:
   * Funktionale Programmierung in Haskell   * Funktionale Programmierung in Haskell
   * Grundlagen der Logik in der Informatik   * Grundlagen der Logik in der Informatik
 +  * Monad-Based Programming (MoBBing)
   * Ontologien im Semantic Web   * Ontologien im Semantic Web
   * Theorie der Programmierung   * Theorie der Programmierung
Zeile 80: Zeile 80:
  
 ==== Python ==== ==== Python ====
 +  * **Algorithmik kontinuierlicher Systeme**
   * Applied Visualization   * Applied Visualization
   * Hackerpraktikum   * Hackerpraktikum
Zeile 111: Zeile 112:
   * **Konzeptionelle Modellierung**   * **Konzeptionelle Modellierung**
   * Logische Grundlagen der Datenbanktheorie   * Logische Grundlagen der Datenbanktheorie
 +  * Multimedia-Technik (MMT)
  
 ===== Programmieren an sich ===== ===== Programmieren an sich =====