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 Überarbeitung | Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
studieninteressierte:formale_sprachen [09.03.2015 21:57] – s/Sie/du/ goldkatze | studieninteressierte:formale_sprachen [09.03.2015 22:01] – goldkatze | ||
---|---|---|---|
Zeile 44: | Zeile 44: | ||
* 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 111: | Zeile 112: | ||
* **Konzeptionelle Modellierung** | * **Konzeptionelle Modellierung** | ||
* Logische Grundlagen der Datenbanktheorie | * Logische Grundlagen der Datenbanktheorie | ||
+ | * Multimedia-Technik (MMT) | ||
===== Programmieren an sich ===== | ===== Programmieren an sich ===== |