Zusätzliche Wahllehrveranstaltungen im SS14

Posted on 05.03.2014 by meep

Für das Sommersemester 2014 wurden die folgenden zusätzlichen Lehrveranstaltungen beschlossen:

Bachelorstudien

  • VU 184.765 Argumentieren und Beweisen - Permanentes neues Modul im Prüfungsfach “Mathematik, Statistik und Theoretische Informatik” (Bachelorstudium Software & Information Engineering) bzw. im Prüfungsfach “Vertiefung/Verbreiterung” (Bachelorstudium Technische Informatik)

Masterstudien

  • VU 184.726 Weiterführende Multiprocessor Programmierung - Permanente neue Lehrveranstaltung Modul “Methoden für Visual Computing” (Master Visual Computing) und im Modul “Computersprachen und Programmierung” (Master Software Engineering & Internet Computing)
  • VU 184.725 High Performance Computing Hochleistungsrechnen - Permanente neue Lehrveranstaltung im Modul “Dependable Distributed Real-Time Systems” (Master Technische Informatik)
  • VU 195.073 Automated Scheduling and Timetabling - Temporäre Lehrveranstaltung im Modul “Knowledge Representation & Artificial Intelligence” (Master Computational Intelligence), im Masterstudium Medizinische Informatik und im Masterstudium Software Engineering & Internet Computing
  • VU 185.A72 AKTHI Constraint Satisfaction with Infinite Templates - Permanente neue Lehrveranstaltung soll im Modul “Logic, Mathematics, and Theoretical Computer Science” (Master Computational Intelligence)
  • VU Protocol Verification (3.0 ECTS) - neue Lehrveranstaltung im Modul “Formale Methoden und Theoretische Informatik” (Master Software Engineering & Internet Computing), im Modul “Programming Languages and Verification” (Master Computational Intelligence), im Modul “Formal Verification and Analysis” (Master Technische Informatik) und im Masterstudium Erasmus Mundus Computational Logic
  • VU 184.762 Graph Polynomials - neue Lehrveranstaltung im Modul “Formale Methoden und Theoretische Informatik” (Master Software Engineering & Internet Computing), im Modul “Logic, Mathematics and Theoretical Computer Science” (Master Computational Intelligence) und im Masterstudium Erasmus Mundus Computational Logic
  • VU 184.763 The automata theoretic approach to model checking - neue Lehrveranstaltung im Modul “Formale Methoden und Theoretische Informatik” (Master Software Engineering & Internet Computing), im Modul “Programming Languages and Verification” (Master Computational Intelligence), im Modul “Formal Verification and Analysis” (Master Technische Informatik) und im Masterstudium Erasmus Mundus Computational Logic
  • VU 182.730 Deterministic Networking - Temporäre neue Lehrveranstaltung im Modul “Dependable Distributed Real-Time Systems” (Master Technische Informatik)

Andere Änderungen