Lehrveranstaltungen im HT 2012
(Stand der Planung für ThIM 11.9.12; OR folgt; Änderungen im Verlauf des Studienjahres sind durchaus möglich)
Lehrveranstaltungen im WT 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)
- Analysis 2
- Elementare Zahlentheorie und Kryptographie
- Grundlagen der Berechenbarkeit
- Lineare Algebra 2
- Informations- und Codierungstheorie
- Logikprogrammierung
- Rechtsfragen der Informatik
- Höhere Mathematik für Wirtschaftsinformatiker
- Data Mining und Entscheidungsunterstützung
- Operations Research
- Schwarmbasierte Verfahren
- Diskrete Optimierung
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"