FSI-Zimmer: offen
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 ÜberarbeitungLetzte ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
| studieninteressierte:formale_sprachen [09.03.2015 21:57] – s/Sie/du/ goldkatze | studieninteressierte:formale_sprachen [03.10.2018 09:36] – 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 ===== | ||