FT 2013
Lehrveranstaltungen I1 im FT 2013
Fakultät für Informatik, Institut 1
Lehrveranstaltungen im FT 2013
(Stand der Planung 11.9.12, vorläufig nur Veranstaltungen zu Theoretischer Informatik und Mathematik, Operations Research folgt; Änderungen im Verlauf des Studienjahres sind durchaus möglich)
- Formale Sprachen und Automatentheorie
- Mathematische Logik
- Numerik und Differentialgleichungen
- Spatial Data Analysis und hochauflösende GIS-Analysen
-
Informatik und Gesellschaft
- Komplexitätstheorie
- Projekt "Logik und Semantik"
- Seminar "Automatisches Beweisen"
- Seminar "Algorithmen und Komplexität"
