Fachrichtung Theoretische Informatik

Präsentation zum Thema: "Fachrichtung Theoretische Informatik"—  Präsentation transkript:

1 Fachrichtung Theoretische Informatik

2 Zugehörige Fachgebiete
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Zugehörige Fachgebiete FG „Theoretische Informatik“ (bis SoSe 2017) Prof. Dr. Otto N.N. FG „Theoretische Informatik / Formale Methoden“ Prof. Dr. Lange

3 Wesentliche Lehrinhalte
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Wesentliche Lehrinhalte allgemeine Grundlagen Was lässt sich mit Computern machen? grundlegende Techniken zum Klassifizieren und Lösen von Problemen Spezialisierung Verifikation und Spezifikation dynamischer Systeme Berechnungsmodelle und Beschreibungssprachen ...

4 Lehrveranstaltungen im Bachelor
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Lehrveranstaltungen im Bachelor Pflichtbereich Theoretische Informatik: Formale Sprachen und Berechenbarkeit (2. Semester) Theoretische Informatik: Logik (3. Semester) Wahlpflichtbereich Vorbereitungskurs Theoretische Informatik und Diskrete Mathematik (1. Semester) Einführung in die formale Verifikation (WP Schwerpunkt) ...

5 Lehrveranstaltungen im Master
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Lehrveranstaltungen im Master Titel FG Vor. nächst. Ang. Theoretische Informatik III FMV SoSe17 Formale Sprachen und Automaten II TI Form.Sp.u.Aut. I Datenbanktheorie WiSe17/18 Automaten, Spiele, Logiken Einf. form. Ver. Verifikation eingebetteter Systeme SoSe18 ...

6 Technische Anwendungsgebiete
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Technische Anwendungsgebiete Entwurf komplexer Systeme (z.B. Verifikation eingebetteter Systeme) Stichwort „correct-by-design“ Sprachverarbeitung (z.B. Formale Sprachen und Automaten, TI3) formale Sprachen und Grammatiken Logik künstliche Intelligenz effiziente Algorithmen ...

7 Praktika zur Zeit keine, jedoch in Planung: Logikprogrammierung
Fachrichtung Theoretische Informatik | Tag der offenen Tür | | Praktika zur Zeit keine, jedoch in Planung: Logikprogrammierung Model Checking / Theorembeweisen SAT/SMT-Solver

8 Fachrichtung Theoretische Informatik | Tag der offenen Tür | 20. 04
Gibt es noch Fragen?