Du befindest dich hier: FSI Informatik » Studieninteressierte » Formale Sprachen im Informatik-Studium (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige Überarbeitung | ||
studieninteressierte:formale_sprachen [09.03.2015 21:57] – s/Sie/du/ goldkatze | studieninteressierte:formale_sprachen [03.10.2018 11: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 ===== |