AMTLICHE BEKANNTMACHUNG

Transkript

1 AMTLICHE BEKANNTMACHUNG NUMMER 2017/095 SEITEN 1-11 DATUM REDAKTION Sylvia Glaser 3. Ordnung zur Änderung der studiengangspezifischen Prüfungsordnung für den Masterstudiengang Informatik der Rheinisch-Westfälischen Technischen Hochschule Aachen vom Aufgrund der 2 Abs. 4, 64 des Gesetzes über die Hochschulen des Landes Nordrhein- Westfalen (Hochschulgesetz HG) in der Fassung der Bekanntmachung vom 16. September 2014 (GV. NRW S. 547), zuletzt geändert durch das Gesetz zur Aufnahme der Deutschen Hochschule der Polizei in das Hochschulgesetz NRW vom 15. Dezember 2016 (GV. NRW S. 1154), hat die Rheinisch-Westfälische Technische Hochschule Aachen (RWTH) folgende Prüfungsordnung erlassen:

2 2/10 Artikel I Die studiengangspezifische Prüfungsordnung für den Masterstudiengang Informatik der Rheinisch- Westfälischen Technischen Hochschule Aachen (RWTH) vom in der Fassung der zweiten Ordnung zur Änderung der Prüfungsordnung vom (Amtliche Bekanntmachungen der RWTH, Nr. 2017/009) wird wie folgt geändert: 1. Ab dem Sommersemester 2017 wird der Modulkatalog um folgende Module erweitert: Online Algorithmen Logics for Reasoning about Uncertainty Internet Architecture and Performance Selected Topics in Communication and Distributed Systems Social Computing Fortgeschrittene Methoden der Virtuellen Realität Die Modulbeschreibungen befinden sich in Anlage 1 dieser Änderungsordnung. 2. Ab dem Sommersemester 2017 wird die Aufschlüsselung der Wahlpflichtbereiche durch die entsprechende Fassung in Anlage 2 dieser Änderungsordnung ersetzt. Artikel II Diese Änderungsordnung wird in den Amtlichen Bekanntmachungen der RWTH veröffentlicht, tritt am Tage nach ihrer Veröffentlichung in Kraft und findet auf alle in den Masterstudiengang Informatik eingeschriebenen Studierenden Anwendung. Ausgefertigt aufgrund des Beschlusses des Fakultätsrates der Fakultät für Mathematik, Informatik und Naturwissenschaften vom Der Rektor der Rheinisch-Westfälischen Technischen Hochschule Aachen Aachen, den gez. Schmachtenberg Univ.-Prof. Dr.-Ing. E. Schmachtenberg

3 3/10 Anlage 1: Neue Module Modul: Selected Topics in Communication and Distributed Systems [MSInf ] MODUL TITEL: Selected Topics in Communication and Distributed Systems Fachsemester 1 Kreditpunkte 1 Sprache Englisch Vorlesung Selected Topics in Communication and Distributed Systems [MSInf a] Prüfung Selected Topics in Communication and Distributed Systems [MSInf c] Kenntnisse aus dem Bereich "Datenkommunikation und Sicherheit". Weitere empfohlene Vorkenntnisse hängen von dem konkreten Forschungsthema ab und werden zu Beginn der Veranstaltung bekanntgegeben. Die Note des Moduls ist die Note der mündlichen Prüfung. Modul: Internet Architecture and Performance [MSInf ] MODUL TITEL: Internet Architecture and Performance Fachsemester 1 Kreditpunkte 6 Sprache Englisch Vorlesung Internet Architecture and Performance [MSInf a] Übung Internet Architecture and Performance [MSInf b] Prüfung Internet Architecture and Performance [MSInf c] Kenntnis der Inhalte der Vorlesungen "Datenkommunikation und Sicherheit" sowie "Betriebssysteme und Systemsoftware" Die Prüfung kann schriftlich oder mündlich erfolgen. Die finale Prüfungsform wird jeweils zu Vorlesungsbeginn angekündigt.

4 4/10 Modul: Fortgeschrittene Methoden der Virtuellen Realität [MSInf ] MODUL TITEL: Fortgeschrittene Methoden der Virtuellen Realität Fachsemester 1 Kreditpunkte 6 Sprache Englisch Vorlesung Fortgeschrittene Methoden der Virtuellen Realität [MSInf a] Übung Fortgeschrittene Methoden der Virtuellen Realität [MSInf b] Prüfung Fortgeschrittene Methoden der Virtuellen Realität [MSInf c] Basiskenntnisse in Virtueller Realität und Computergraphik (z.b. aus der Vorlesung Virtuelle Realität) Die Benotung ergibt sich zu 100% aus der abschließenden Prüfung zum Modul, die in schriftlicher oder mündlicher Form erfolgt. Die endgültige Form der Prüfung wird zu Beginn der Veranstaltung bekanntgegeben. Wird vorgesehen, dass semesterbegleitende Hausaufgaben auf die Prüfungsnote angerechnet werden, sind die entsprechenden Regelungen der Prüfungsordnung zu beachten. Prüfung nach Ende der Vorlesungszeit. Modul: Online Algorithmen [MSInf ] MODUL TITEL: Online Algorithmen Fachsemester 1 Kreditpunkte 6 Sprache English Vorlesung Online Algorithmen [MSInf a] Übung Online Algorithmen [MSInf b] Prüfung Online Algorithmen [MSInf c] Erweiterte Vorlesung Online Algorithmen [MSInf d] Erweiterte Prüfung Online Algorithmen [MSInf e] Grundlegende Kenntnisse über Algorithmen, diskrete Strukturen und Wahrscheinlichkeitstheorie Das Modul kann alternativ mit 6 ECTS (V3+Ü2) oder 8 ECTS (V4+Ü2) geprüft werden. Details werden in der Vorlesung bekanntgegeben. Die Benotung ergibt sich zu 100% aus der abschließenden Prüfung zum Modul, die in schriftlicher oder mündlicher Form erfolgt. Die endgültige Form der Prüfung wird zu Beginn der Veranstaltung bekanntgegeben. Wird vorgesehen, dass semesterbegleitende Hausaufgaben auf die Prüfungsnote angerechnet werden, sind die entsprechenden Regelungen der Prüfungsordnung zu beachten. Prüfung nach Ende der Vorlesungszeit.

5 5/10 Modul: Social Computing [MSInf ] MODUL TITEL: Social Computing Fachsemester 1 Kreditpunkte 6 Sprache Englisch Vorlesung Social Computing [MSInf a] Übung Social Computing [MSInf b] Prüfung Social Computing [MSInf c] keine Die Note des Moduls ist die Note der schriftlichen Prüfung. Modul: Logics for Reasoning about Uncertainty [MSInf ] MODUL TITEL: Logics for Reasoning about Uncertainty Fachsemester 1 Kreditpunkte 4 Sprache Englisch Vorlesung Logics for Reasoning about Uncertainty [MSInf a] Übung Logics for Reasoning about Uncertainty [MSInf b] Prüfung Logics for Reasoning about Uncertainty [MSInf c] Kenntnisse aus der Vorlesung Mathematische Logik Die Benotung ergibt sich zu 100% aus der abschließenden Prüfung zum Modul, die in schriftlicher oder mündlicher Form erfolgt. Die endgültige Form der Prüfung wird zu Beginn der Veranstaltung bekanntgegeben. Prüfung nach Ende der Vorlesungszeit.

6 6/10 Anlage 2: Geänderte Aufschlüsselung der Wahlpflichtbereiche Theoretische Informatik Network Algorithms Algorithmische Spieltheorie Graphalgorithmen Approximations- und Online-Algorithmen Theory of Distributed Systems Methoden der Netzwerkanalyse Model Checking Compilerbau Advanced Model Checking Semantik und Verifikation von Software Concurrency Theory Formale Grundlagen von UML Testen reaktiver Systeme Modeling and Verification of Probabilistic Systems Statische Programmanalyse Advanced Automata Theory Infinite Computations and Games Rekursionstheorie Graphzerlegungen und algorithmische Anwendungen Probabilistic Programming Theory of Distributed and Parallel Systems Kombinatorische Graphentheorie The Graph Isomorphism Problem Komplexitätstheorie Computational Group Theory Grundlagen der Datenwissenschaft Theory of Constraint Satisfaction Problems Algorithmen zur String-Verarbeitung und Techniken zur Datenkompression Analyse von Algorithmen Parametrisierte Algorithmen Exakte Algorithmen Termersetzungssysteme Logikprogrammierung Funktionale Programmierung Deduktive Programmverifikation Mathematische Logik II Algorithmische Modelltheorie Logik und Spiele Algorithmische Modelltheorie II Quantum Computing 6/

7 7/10 Modellierung und Analyse hybrider Systeme Erfüllbarkeitsüberprüfung Seminar I Theoretische Informatik Seminar II Theoretische Informatik Praktikum Theoretische Informatik Schwerpunktkolloquium Theoretische Informatik Online Algorithmen Logics for Reasoning about Uncertainty 7 3 6/ Software und Kommunikation Die Softwaretechnik-Programmiersprache Ada Generative Softwareentwicklung Modellbasierte Softwareentwicklung Software-Architekturen Prozesse und Methoden beim Testen von Software Angewandte Softwaretechnik im Lebenszyklus der Automobilelektronik Generative Aspekte der Software Entwicklung in der Automotive Domäne Innovationen im Software Engineering Verteilte Anwendungssysteme und Middleware Mobilkommunikation Modellierung und Bewertung von Kommunikationssystemen Multimedia-Systeme Sicherheit in Kommunikationssystemen Advanced Internet Technology (Massiv Verteilte Systeme I) Mobile Internet Technology Research Focus Class on Communication Systems Multimedia Internet Technology Security in the Internet of Things Communication Systems Engineering Eingebettete Systeme Dynamische Systeme für Informatiker Formale Methoden für eingebettete Systeme Funktionale Sicherheit und Systemzuverlässigkeit Objektorientierte Softwarekonstruktion Software-Projektmanagement Software-Qualitätssicherung Entwicklung von Software-Produktlinien Peer-to-Peer Systeme und Anwendungen (Massiv Verteilte Systeme I) Mobilkommunikation & Sensornetze (Massiv Verteilte Systeme II) Communication Systems Engineering 2 - Simulation, Evaluation and Analysis Discrete Event Simulation Network Calculus Network Simulation 3/ 3/ 4/ 3 2

8 8/10 Formale Methoden für Steuerungssoftware Seminar I Software und Kommunikation Seminar II Software und Kommunikation Praktikum Software und Kommunikation Schwerpunktkolloquium Software und Kommunikation Internet Architecture and Performance Selected Topics in Communication and Distributed Systems Daten- und Informationsmanagement Algorithmische Kryptographie CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work Implementation of Databases Entrepreneurship and New Media Advanced Data Models Web Science Planungs-, Steuerungs-, Informations- und Kommunikationssysteme für den öffentlichen Verkehr Scientific Data Management Semantic Web Indexstrukturen für Datenbanken Exploring Multimedia Data: Content-based Search & Retrieval Exploring High-dimensional Data: Advanced Mining Techniques Exploring Temporal and Graph Data: Mining & Retrieval Data Mining Algorithms I Data Mining Algorithms II Künstliche Intelligenz Wissensrepräsentation The Logic of Knowledge Bases Einführung in Web Technologien Advanced Web Technologies Learning Technologies IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit IT-Sicherheit 2 - Computer Security Sicherheit in der Mobilkommunikation Sicherheit und Kooperation in drahtlosen Netzen ebusiness - Anwendungen, Architekturen und Standards Prozess Management Introduction to Bioinformatics Kryptographie I Advanced Methods of Cryptography Big Data in Medical Informatics Privacy Enhancing Technologies for Data Science 5 4,5 4,5

9 9/10 Seminar I Daten und Informationsmanagement Seminar II Daten und Informationsmanagement Praktikum Daten und Informationsmanagement Schwerpunktkolloquium Daten und Informationsmanagement Social Computing 7 3 Angewandte Informatik Statistische Klassifikation Automatische Spracherkennung Statistische Methoden zur Verarbeitung natürlicher Sprache Advanced Statistical Classification Advanced Methods in Automatic Speech Recognition Advanced Topics in Statistical Natural Language Processing Grundlagen der Computergrafik Globale Beleuchtung und Image-based Rendering Grafikprogrammierung in OpenGL Geometrieverarbeitung Polynomielle Kurven und Flächen Subdivision Kurven und Flächen Game Programming Designing Interactive Systems I Designing Interactive Systems II HCI Design Patterns iphone Anwendungsprogrammierung Current Topics in Media Computing and HCI High-Performance Computing Virtuelle Realität Parallele Algorithmen Programmierung von Hochleistungsrechnern Combinatorial Problems in Scientific Computing Einführung in die Leistungs- und Korrektheitsanalyse paralleler Programme Ableitungscodecompiler Sprachen für Wissenschaftliches Rechnen I Sprachen für Wissenschaftliches Rechnen II High-performance Matrix Computations Automatic Generation and Analysis of Algorithms Computer Vision Machine Learning Advanced Machine Learning Computer Vision 2 Simulation Software Engineering Parallele Programmierung I Parallele Programmierung II Diskrete Differentialgeometrie Konvexe Optimierung Physikalisch-Basierte Animation 3/

10 10/10 Fortgeschrittene Techniken der physikalisch-basierten Animation Seminar I Angewandte Informatik Seminar II Angewandte Informatik Praktikum Angewandte Informatik Schwerpunktkolloquium Angewandte Informatik Fortgeschrittene Methoden der Virtuellen Realität 7 3