News aus der Studienkommission SS20

Zu Semesterbeginn gibt es wieder Neueigkeiten aus der Studienkommission.

Folgende Lehrveranstaltungen werden für ein Semester zu folgenden Studien und Modulen zugeordnet:

  • Introduction to the Coq proof assistant

    • Master Logic and Computation - Modul Logic, Mathematics, and Theoretical Computer Science
    • Master Software Engineering & Internet Computing - Modul Formale Methoden und Theoretische Informatik
  • Practical Applications of Answer-Set Programming

    • Master Logic and Computation - Modul Knowledge Representation and Artificial Intelligence
    • Master Software Engineering & Internet Computing - Modul Formale Methoden und Theoretische Informatik
  • Critical Algorithm Studies

    • Master Logic and Computation
      • Modul Fachübergreifende Qualifikationen
      • Modul Algorithmics and Complexity
    • Master Visual Computing
      • Modul Fachübergreifende Qualifikationen
      • Modul Mustererkennung - Vertiefung
    • Master Media and Human-Centered Computing
      • Modul Emergent Ethical Challenges in Informatics
    • Master Medizinische Informatik
      • Modul Fachübergreifende Qualifikationen
    • Master Software Engineering & Internet Computing
      • Modul Fachübergreifende Qualifikationen
      • Modul Algorithmik
    • Master Technische Informatik
      • Modul Fachübergreifende Qualifikationen