Lehrangebot Sommersemester 2013

Version vom 17.01.2013

Master Studiengang Informatik

Basismodule

INF-BAS2 Künstliche Intelligenz

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Bildanalyse	0/2/0	Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich	KI
Knowledge Representation and Reasoning	0/2/0	Prof. Dr. Hölldobler	KI
Komplexpraktikum Bildverarbeitung für 3D Displays	0/0/4	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Praktikum Bildverarbeitung	0/0/2	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Bildverarbeitung	2/2/0	Dr. Schlesinger	KI
Mustererkennung	2/2/0	Dr. Schlesinger	KI
Maschinelles Lernen in der Sprachverarbeitung	2/2/0	Prof. Dr. Vogler	ThI
Neural Symbolic Integration	2/2/0	Prof. Dr. Hölldobler	KI

INF-BAS4 Systemarchitektur

Lehrveranstaltung	SWS	Dozent	Institut
Reading Group Operating Systems	0/2/0	Prof. Dr. Härtig, Dipl.-Inf. Döbel	SyA
Systems Engineering I	2/2/0	Prof. Dr. Fetzer	SyA
Systems Engineering II	2/2/0	Prof. Dr. Fetzer	SyA
Anonyme und unbeobachtbare Kommunikation	2/2/0	Prof. Dr. Schill, Dr. Köpsell	SyA
Distributed Operating Systems	2/1/0	Prof. Dr. Härtig	SyA
Internet and Web Applications	2/2/0	Prof. Dr. Schill	SyA
Kryptographie und -analyse	2/1/0	Dr. Kerschbaum, Dr. Franz	SyA
Microkernel Construction	2/0/0	Prof. Dr. Härtig, Dipl.-Inf. Engel	SyA
Multimediakommunikation	2/2/0	Prof. Dr. Schill, Dr. Schuster	SyA
Security and Cryptography II	2/2/0	Dr. Kerschbaum, Dr. Köpsell	SyA
Software Fault Tolerance	2/2/0	Prof. Dr. Fetzer	SyA
Wireless Sensor Networks	2/2/0	Prof. Dr. Schill, Dr. Dargie	SyA
Architektur von Datenbanksystemen	4/0/0	Prof. Dr. Lehner	SyA
Schedulingtheorie	2/0/0	Prof. Dr. Härtig, Dr. Hamann	SyA

INF-BAS6 Theoretische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Fuzzy Description Logic	2/1/0	Prof. Dr. Baader, Dr. Distel	ThI
Seminar Theoretical Computer Science	0/2/0	Prof. Dr. Baader, Dr. Turhan	ThI
Advanced Logic	4/2/0	Prof. Dr. Baier	ThI
Weighted Tree Automata	4/2/0	Prof. Dr. Vogler	ThI
Automata and Logic	4/2/0	Prof. Dr. Baader, Dr. Penaloza	ThI
Funktionale Programmierung und Typtheorie	2/2/0	Prof. Dr. Baader, Dr. Sturm	ThI
Seminar Model Checking	0/2/0	Prof. Dr. Baier	ThI
Maschinelles Lernen in der Sprachverarbeitung	2/2/0	Prof. Dr. Vogler	ThI
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen	2/0/0	Prof. Dr. Vogler	ThI

INF-BAS7 Grafische Datenverarbeitung

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Bildanalyse	0/2/0	Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich	KI
Hauptseminar Computergraphik und Visualisierung	0/2/0	Prof. Dr. Gumhold, Dr. Mascolus	SMT
Bildverarbeitung	2/2/0	Dr. Schlesinger	KI
Programmierpraktikum Computergraphik und Visualisierung	0/0/2	Prof. Dr. Gumhold	SMT

INF-BAS8 Anwendungsfach

Alle angebotenen Anwendungsfächer und ihre Spezifikationen sind auf den Webseiten der Fakultät (http://www.inf.tu-dresden.de/index.php?node_id=2822&ln=de) zu finden.

Vertiefungsmodule

INF-VERT1 Angewandte Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Komplexpraktikum Technische Informationssysteme	0/0/4	Prof. Dr. Kabitzsch	AI
Praktikum Technische Informationssysteme	0/0/2	Prof. Dr. Kabitzsch	AI
Proseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Angewandte Zeitreihenanalyse	2/0/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Drahtgebundene und drahtlose Sensor-Aktor-Netzwerke	4/0/0	Prof. Dr. Kabitzsch	AI
Ethernet-basierte Systeme in der Industrie	2/0/2	Prof. Dr. Wollschlaeger	AI
Industrielle Kommunikationssysteme	2/0/2	Prof. Dr. Wollschlaeger	AI
Informationsmodelle in der Automation	2/0/0	Prof. Dr. Wollschlaeger	AI
Monitoring und Diagnose	2/0/0	Prof. Dr. Kabitzsch	AI
Quantitative Methoden zur Qualitätssicherung	2/0/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Ressourceneinsatzplanung in Fertigungssystemen	2/2/0	Dr. Laroque	AI
Softwareentwicklung für Echtzeitsteuerungen II	2/0/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI

INF-VERT2 Künstliche Intelligenz

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Bildanalyse	0/2/0	Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich	KI
Knowledge Representation and Reasoning	0/2/0	Prof. Dr. Hölldobler	KI
Komplexpraktikum Bildverarbeitung für 3D Displays	0/0/4	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Praktikum Bildverarbeitung	0/0/2	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Bildverarbeitung	2/2/0	Dr. Schlesinger	KI
Mustererkennung	2/2/0	Dr. Schlesinger	KI
Maschinelles Lernen in der Sprachverarbeitung	2/2/0	Prof. Dr. Vogler	ThI
Neural Symbolic Integration	2/2/0	Prof. Dr. Hölldobler	KI

INF-VERT3 Software- und Web-Engineering

Lehrveranstaltung	SWS	Dozent	Institut
Forschungskolleg Softwaretechnologie	2/2/0	Prof. Dr. Aßmann, Dr. Demuth	SMT
Hauptseminar Software Engineering ubiquitärer Systeme (SEUS)	0/2/0	Jun.-Prof. Dr. Schlegel	SMT
Komplexpraktikum Interaktive Multimediale Technologien	0/0/4	Prof. Dr. Dachselt	SMT
Komplexpraktikum Softwaretechnologie	0/0/4	Prof. Dr. Aßmann, Dr. Richly	SMT
Advanced User Interfaces	2/2/0	Prof. Dr. Dachselt	SMT
Component Based Software Engineering	2/2/0	Prof. Dr. Aßmann	SMT
Hauptseminar Advanced User Interfaces	0/2/0	Prof. Dr. Dachselt	SMT
Komplexpraktikum Software Engineering Ubiquitärer Systeme (SEUS)	0/0/4	Jun.-Prof. Dr. Schlegel	SMT
Ausgewählte Kapitel der Softwaretechnologie	2/0/0	Prof. Dr. Aßmann, Dr. Richly	SMT
Komplexpraktikum Entwicklungsprozesse für ubiquitäre Systeme (EUS)	0/0/4	Jun.-Prof. Dr. Schlegel	SMT
Interaktive Informationsvisualisierung	2/0/0	Prof. Dr. Dachselt	SMT

INF-VERT4 Systemarchitektur

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Datenbanken	0/2/0	Prof. Dr. Lehner	SyA
Reading Group Operating Systems	0/2/0	Prof. Dr. Härtig, Dipl.-Inf. Döbel	SyA
Systems Engineering I	2/2/0	Prof. Dr. Fetzer	SyA
Systems Engineering II	2/2/0	Prof. Dr. Fetzer	SyA
Anonyme und unbeobachtbare Kommunikation	2/2/0	Prof. Dr. Schill, Dr. Köpsell	SyA
Distributed Operating Systems	2/1/0	Prof. Dr. Härtig	SyA
Internet and Web Applications	2/2/0	Prof. Dr. Schill	SyA
Kryptographie und -analyse	2/1/0	Dr. Kerschbaum, Dr. Franz	SyA
Microkernel Construction	2/0/0	Prof. Dr. Härtig, Dipl.-Inf. Engel	SyA
Multimediakommunikation	2/2/0	Prof. Dr. Schill, Dr. Schuster	SyA
Security and Cryptography II	2/2/0	Dr. Kerschbaum, Dr. Köpsell	SyA
Software Fault Tolerance	2/2/0	Prof. Dr. Fetzer	SyA
Wireless Sensor Networks	2/2/0	Prof. Dr. Schill, Dr. Dargie	SyA
Architektur von Datenbanksystemen	4/0/0	Prof. Dr. Lehner	SyA
Schedulingtheorie	2/0/0	Prof. Dr. Härtig, Dr. Hamann	SyA
Forschungskolleg Datenbanken	2/0/0	Prof. Dr. Lehner	SyA

INF-VERT5 Technische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Computertechnik	2/2/0	Prof. Dr. Spallek, Dr. Köhler	TeI
Hochleistungsrechner und ihre Programmierung II	2/2/0	Prof. Dr. Nagel	TeI
Modellierung und Simulation in der Technischen Informatik	2/0/0	Prof. Dr. Spallek, Prof. Straube	TeI
Programmierbare Schaltkreise	2/0/2	Prof. Dr. Spallek, Dr. Zabel	TeI
Schaltkreis- und Systementwurf	2/0/2	Prof. Dr. Spallek, Dr. Preußer	TeI
Struktur und Operationsprinzip von Prozessoren	2/0/0	Prof. Dr. Nagel	TeI
Theorie und Einsatz von Verbindungseinrichtungen in parallelen Rechnersystemen	2/0/0	Prof. Dr. Nagel	TeI
Electronic System Level Modelling – Entwurf eingebetteter Systeme mit Systembeschreibungssprachen	2/2/0	Prof. Pionteck	TeI

INF-VERT6 Theoretische Informatik

Lehrveranstaltung	SWS	Dozent	Institut
Fuzzy Description Logic	2/1/0	Prof. Dr. Baader, Dr. Distel	ThI
Seminar Theoretical Computer Science	0/2/0	Prof. Dr. Baader, Dr. Turhan	ThI
Advanced Logic	4/2/0	Prof. Dr. Baier	ThI
Weighted Tree Automata	4/2/0	Prof. Dr. Vogler	ThI
Automata and Logic	4/2/0	Prof. Dr. Baader, Dr. Penaloza	ThI
Funktionale Programmierung und Typtheorie	2/2/0	Prof. Dr. Baader, Dr. Sturm	ThI
Seminar Model Checking	0/2/0	Prof. Dr. Baier	ThI
Maschinelles Lernen in der Sprachverarbeitung	2/2/0	Prof. Dr. Vogler	ThI
Ergänzungen zum maschinellen Übersetzen natürlicher Sprachen	2/0/0	Prof. Dr. Vogler	ThI

INF-VERT7 Graphische Datenverarbeitung

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Bildanalyse	0/2/0	Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich	KI
Hauptseminar Computergraphik und Visualisierung	0/2/0	Prof. Dr. Gumhold, Dr. Mascolus	SMT
Bildverarbeitung	2/2/0	Dr. Schlesinger	KI
Computergraphik II	2/1/1	Prof. Dr. Gumhold	SMT
Interaktive Informationsvisualisierung	2/0/0	Prof. Dr. Dachselt	SMT

Pflichtbereich

INF-AQUA Allgemeine Qualifikation

Die Inhalte für das Modul INF-AQUA werden kurz vor Semesterbeginn im Bereich Studium der Fakultäts-Website bekannt gegeben.

INF-MA-PR Master-Praktikum

Lehrveranstaltung	SWS	Dozent	Institut
Komplexpraktikum Bildverarbeitung für 3D Displays	0/0/4	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Komplexpraktikum Datenschutz in der Anwendungsentwicklung	0/0/4	Dr. Kerschbaum, Dr. Borcea-Pfitzmann	SyA
Komplexpraktikum Interaktive Multimediale Technologien	0/0/4	Prof. Dr. Dachselt	SMT
Komplexpraktikum Internet Information Retrieval	0/0/4	Prof. Dr. Schill, Dr. Schuster, Dr. Springer	SyA
Komplexpraktikum Kryptographie und Datensicherheit	0/0/4	Dr. Kerschbaum, Dr. Clauß, Dr. Köpsell	SyA
Komplexpraktikum Mensch-Computer Interaktion	0/0/4	Prof. Dr. Weber	AI
Komplexpraktikum Mobile and Ubiquitous Computing	0/0/4	Prof. Dr. Schill, Dr. Springer	SyA
Komplexpraktikum Multimodale Interaktion	0/0/4	Prof. Dr. Weber	AI
Komplexpraktikum Prozessorentwurf	0/0/4	Prof. Dr. Spallek, Dr. Zabel	TeI
Komplexpraktikum Service and Cloud Computing	0/0/4	Prof. Dr. Schill, Dr. Braun, Dr. Springer	SyA
Komplexpraktikum Theoretische Informatik	0/0/4, 0/0/8	Prof. Dr. Baader, Dr. Penaloza	ThI
Praktikum Bildverarbeitung	0/0/2	Dr. Schlesinger, Dipl.-Phys. Heidrich	KI
Advanced Systems Programming	2/0/0	Prof. Dr. Härtig	SyA
Komplexpraktikum Model Checking	0/0/4, 0/0/8	Prof. Dr. Baier	ThI
Lab: Systems Engineering	0/0/4	Prof. Dr. Fetzer	SyA
Ressourceneinsatzplanung in Fertigungssystemen	2/2/0	Dr. Laroque	AI
Praktikum Haskell für NLP	0/0/4	Prof. Dr. Vogler	ThI
Komplexpraktikum eingebettete Systeme	0/0/4	Prof. Pionteck	TeI

Lehrangebot Sommersemester 2013