LV-Auswahl in den Vertiefungsmodulen im Schwerpunkt SQ

Auf dieser Seite finden sich die Kurzbeschreibungen der Lehrveranstaltungen, die im Masterschwerpunkt SQ in den Modulen IMVP-SQ bzw. IMVT-SQ bzw. IMVA-SQ wählbar sind:

LV-Auswahl im Modul IMVP-SQ

• Design of Information Systems
• Digital Logic Synthesis
• Massively Parallel Algorithms
• [Modellierung digitaler Systeme auf Register-Transfer-Ebene… (fehlt)]
• Programmiersprachen
• Rechnernetze – Media Networking
• Übersetzer-Praktikum
• Außerdem sind noch nicht anderweitig belegte IMAP-LVs der Module IMAP-SQ und IMA-SQ wählbar.

LV-Auswahl im Modul IMVT-SQ

• Finite and algorithmic model theory
• Formale Sprachen: Graphtransformation
• Hybrid Systems: Verification and Synthesis
• Komplexitätstheorie
• Parametrisierte Komplexität
• Sparsity - Graphs and algorithms
• Set Theory and Model Theory
• Theorie reaktiver Systeme
• Außerdem sind noch nicht anderweitig belegte IMAT-LVs des Moduls IMA-SQ wählbar.

LV-Auswahl im Modul IMVA-SQ

• Methoden der partizipativen SW-Entwicklung
• Medien- und IT-Recht
• Außerdem sind noch nicht anderweitig belegte IMAA-LVs des Moduls IMA-SQ wählbar.