IMAT-LVs

Auf dieser Seite finden sich die Kurzbeschreibungen der IMAT-Lehrveranstaltungen (Informatik Master Aufbau Theoretische Informatik):

• Approximation Algorithms
• Algorithms and Uncertainty
• Beschreibungslogik
• Formale Sprachen: Graphtransformation
• Grundlagen der Sicherheitsanalyse und des Designs
• Introduction to Reversible and Quantum Computing
• Einführung in die Kryptographie
• Komplexitätstheorie
• Parametrisierte Komplexität
• Set Theory and Model Theory
• Theorie reaktiver Systeme