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 ÜberarbeitungNächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
studieninteressierte:formale_sprachen [25.08.2014 16:03] – LV-Listen sortiert *Ralf | studieninteressierte:formale_sprachen [09.03.2015 22:01] – goldkatze | ||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
Im Studium der Informatik an der Universität Erlangen-Nürnberg lernt man die ein oder andere formale Sprache kennen. Der Zweck des Studiums ist zwar nicht, möglichst viele formale Sprachen zu lernen, aber diese Werkzeuge werden gerade bei Bewerbungen und Vorstellungsgesprächen gerne abgefragt. | Im Studium der Informatik an der Universität Erlangen-Nürnberg lernt man die ein oder andere formale Sprache kennen. Der Zweck des Studiums ist zwar nicht, möglichst viele formale Sprachen zu lernen, aber diese Werkzeuge werden gerade bei Bewerbungen und Vorstellungsgesprächen gerne abgefragt. | ||
- | Diese Übersicht dient der Orientierung, | + | Diese Übersicht dient der Orientierung, |
**Fett** markierte Lehrveranstaltungen bieten eine umfassende Einführung in die jeweilige Sprache, durch die man diese grundlegend erlernen kann. | **Fett** markierte Lehrveranstaltungen bieten eine umfassende Einführung in die jeweilige Sprache, durch die man diese grundlegend erlernen kann. | ||
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 ===== |