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
• Introduction to Reversible and Quantum Computing
• Einführung in die Kryptographie
• Komplexitätstheorie
• Parametrisierte Komplexität
• Set Theory and Model Theory
• Theorie reaktiver Systeme

Anrechenbarkeit der IMAT-LVs im Master-SG Informatik:

• MPO’20:
  • Modul IMAT (sowie IMA, IMVT, IMV und Freie Wahl)
• MPO’26:
  • Modul IMAT (sowie IMA und Freie Wahl)
  • IMAT-LVs in Modul IMV nicht zulässig