Lehrangebot Sommersemester 2013

Version vom 17.01.2013

Diplom Studiengang Informatik (Studienordnung 2010)

2. Semester

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Programmierung	INF-D-260	2/2/0	Prof. Dr. Vogler	ThI

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Softwaretechnologie	INF-D-240	2/2/0	Prof. Dr. Aßmann	SMT

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Informations- und Kodierungstheorie	INF-D-310	2/1/0	Dr. Kerschbaum, Dr. Schönfeld	SyA

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Informations- und Kodierungstheorie	INF-B-330	2/1/0	Dr. Kerschbaum, Dr. Schönfeld	SyA

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Rechnerarchitektur II	INF-D-420	2/2/0	Prof. Dr. Nagel	TeI
Hardwarepraktikum	INF-D-420	0/0/3	Prof. Pionteck	TeI

4. Semester

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Datenbanken - Grundlagen	INF-D-270	2/2/0	Prof. Dr. Lehner	SyA
Rechnernetze	INF-D-270	2/2/0	Prof. Dr. Schill	SyA

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Theoretische Informatik und Logik	INF-D-330	4/2/0	Prof. Dr. Hölldobler, Prof. Dr. Baier	KI, ThI

Lehrveranstaltung	Modul-Nr.	SWS	Dozent	Institut
Forschungslinie	INF-D-910	2/2/0	Studiendekan	INF
Ressourceneinsatzplanung in Fertigungssystemen	INF-D-910	2/2/0	Dr. Laroque	AI

INF-D-520 Allgemeine Basisqualifikation

Lehrveranstaltung	SWS	Dozent	Institut
Hauptseminar Software Engineering ubiquitärer Systeme (SEUS)	0/2/0	Jun.-Prof. Dr. Schlegel	SMT
Proseminar Datenschutz in der Anwendungsentwicklung	0/2/0	Dr. Kerschbaum, Dr. Borcea-Pfitzmann	SyA
Proseminar Mobile and Ubiquitous Computing	0/2/0	Prof. Dr. Schill, Dr. Springer	SyA
Proseminar Rechnerarchitektur	0/2/0	Prof. Dr. Nagel	TeI
Proseminar Service and Cloud Computing	0/2/0	Prof. Dr. Schill, Dr. Braun	SyA
Proseminar Technische Informatik	0/2/0	Prof. Dr. Spallek	TeI
Proseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Proseminar Software Engineering ubiquitärer Systeme (SEUS)	0/2/0	Jun.-Prof. Dr. Schlegel	SMT
Proseminar Betriebssysteme	0/2/0	Prof. Dr. Härtig	SyA
Proseminar Kryptographische Grundlagen der Datensicherheit	0/2/0	Dr. Kerschbaum, Dr. Köpsell	SyA
Proseminar Sicherheit in Computersystemen	0/2/0	Dr. Kerschbaum, Dr. Köpsell	SyA
Proseminar Softwaretechnologie	0/2/0	Prof. Dr. Aßmann, Dr. Demuth	SMT
Proseminar Systems Engineering	0/2/0	Prof. Dr. Fetzer	SyA
Proseminar Ausgewählte Themen der Theoretischen Informatik	0/2/0	Prof. Dr. Baader, Dr. Sturm	ThI
Praktikum Haskell für NLP	0/0/4	Prof. Dr. Vogler	ThI

6. Semester

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

8. Semester

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

INF-D-940 berufsspezifische Schlüsselkompetenzen

Lehrveranstaltung	SWS	Dozent	Institut
Echtzeit-AG	0/2/0	Prof. Dr. Härtig	SyA
Hauptseminar Bildanalyse	0/2/0	Prof. Dr. Hölldobler, Dipl.-Phys. Heidrich	KI
Hauptseminar Datenbanken	0/2/0	Prof. Dr. Lehner	SyA
Hauptseminar Rechnerarchitektur und Programmierung	0/2/0	Prof. Dr. Nagel	TeI
Hauptseminar Software Engineering ubiquitärer Systeme (SEUS)	0/2/0	Jun.-Prof. Dr. Schlegel	SMT
Hauptseminar Technische Informatik	0/2/0	Prof. Dr. Spallek	TeI
Hauptseminar Technische Informationssysteme	0/2/0	Prof. Dr. Kabitzsch, Dr. Ribbecke	AI
Hauptseminar Technischer Datenschutz	0/2/0	Dr. Kerschbaum, Dr. Clauß	SyA
Seminar Theoretical Computer Science	0/2/0	Prof. Dr. Baader, Dr. Turhan	ThI
Hauptseminar Service and Cloud Computing	0/2/0	Prof. Dr. Schill, Dr. Braun	SyA
Hauptseminar Mobile and Ubiquitous Computing	0/2/0	Prof. Dr. Schill, Dr. Springer	SyA
Einführung in das Datenschutzrecht	2/0/0	Dr. Kerschbaum, Dr. Wagner	SyA
Hauptseminar Advanced User Interfaces	0/2/0	Prof. Dr. Dachselt	SMT
Hauptseminar Ausgewählte Themen der Automatentheorie und Logik	0/2/0	Prof. Dr. Baier	ThI
Hauptseminar Current Topics in Dependable Systems	0/2/0	Prof. Dr. Fetzer	SyA
Informatik und Gesellschaft	2/0/0	Dr. Kerschbaum, Dr. Köpsell	SyA
Proseminar Ausgewählte Themen der Automatentheorie und Logik	0/2/0	Prof. Dr. Baier	ThI
Praktikum Haskell für NLP	0/0/4	Prof. Dr. Vogler	ThI

Zudem ist im 8. Semester 1 von 2 Proflilmodulen zu wählen:

INF-PM-FOR - Grundlagenforschung
INF-PM-ANW - Anwendungsforschung

Lehrangebot Sommersemester 2013