Willkommen in der Theoretischen Informatik
Willkomen beim Arbeitsbereich für Formale Sprachen/Theoretische Informatik. Dieser Arbeitsbereich wird von Prof. Klaus-Jörn Lange geleitet. Wie der Name schon sagt, beschäftigen wir uns mit den mathematischen Grundlagen der theoretischen Informatik. Mehr über uns und das Lehrangebot finden Sie hier.
Themen des Lehrstuhls Theoretische Informatik/Formale Sprachen
Die Theoretische Informatik behandelt die mathematischen Grundlagen und formale Methoden der Informatik. Wie der Name des Lehrstuhls andeutet, spielen die Formalen Sprachen dabei eine zentrale Rolle.
Neuste Angebote
- Konstruktion minimaler Automaten und Grammatiken (Diplomarbeit, Masterarbeit, Bachelorarbeit, Studienarbeit)
- Kontextfreie Komplemente (Diplomarbeit, Masterarbeit, Bachelorarbeit, Studienarbeit)
- Gutartigkeit von SAT (Diplomarbeit, Masterarbeit, Bachelorarbeit, Studienarbeit)
- Probleme als formale Sprache (Diplomarbeit, Masterarbeit, Bachelorarbeit, Studienarbeit)
- Bachelor-/Master-Arbeiten: Neue Themen (Diplomarbeit, Masterarbeit, Bachelorarbeit, Studienarbeit)