Modulübersicht

Das Studium gliedert sich in Kern- und Vertiefungsmodule, die regelmäßig abgehalten werden. Ergänzt wird es durch ständig aktuelle Seminare, Spezialvorlesungen und andere Veranstaltungen.

Alle Veranstaltungen sind im aktuellen kommentierten Vorlesungsverzeichnis zu finden.

Empfehlungen zu ausgewählten Vertiefungsgebieten

• Datenbanken
• Signalverarbeitung und Mustererkennung

Beschreibungen der Kernmodule

• Einführung in Datenbanksysteme (DBS 1)
• Einführung in die Informations- und Kodierungstheorie
• Einführung in die Künstliche Intelligenz
• Grundlagen der Rechnerkommunikation
• Grundlagen der Signalverarbeitung
• Informatik und Informationsgesellschaft I: Digitale Medien geändert im SS 10
• Informatik und Informationsgesellschaft II: Technik, Geschichte, Kontext
• Komplexitätstheorie
• Logik in der Informatik
• Methoden und Modelle des Systementwurfs
• Modellierung und Simulation
• Objektorientierte Entwurfstechniken
• Objektorientierte Programmierung mit C++
• Objektorientierte Spezifikation mit SDL
• Qualitätssicherung von Software
• Randomisierte Algorithmen und Probabilistische Methoden
• Software Engineering
• Werkzeuge der empirischen Forschung
• Zuverlässige Systeme (ZS) geändert im SS 10

Beschreibung aktueller Vertiefungsmpdule

• Algorithmic Graph Theory erstellt im WS 11/12
• Algorithmische Bioinformatik erstellt im WS 05/06
• Architektur paralleler und verteilter Systeme erstellt im WS 08/09
• Automatisierung industrieller Workflows erstellt im WS 11/12
• Berechenbarkeit erstellt im SS 10
• Betriebssystem UNIX – Systemadministration und Sicherheit erstellt im SS 10
• Bildverarbeitung erstellt im WS 06/07
• Biomedizinische Signal- und Datenanalyse erstellt im SS 10
• Computergestützte Verifikation erstellt im WS 05/06
• Computergrafik erstellt im SS 10
• Data Warehousing und Data Mining erstellt im SS 07
• Eigenschaften mobiler und eingebetteter Systeme (EMES) erstellt im WS 05/06
• Embodied Artificial Intelligence erstellt im WS 11/12
• Eingebettete Systeme – Produktivität und Qualität erstellt im SS 09
• Entrepreneurship – Unternehmensgründung im Informationszeitalter erstellt im SS 10
• Erfassung und Auswertung biologischer Zeitreihen erstellt im SS 10
• Flugroboter erstellt im WS 11/12
• Fortgeschrittene Methoden der Biosignal- und Datenanalyse erstellt im SS 10
• Graph Minor Theory erstellt im SS 09
• Implementierung von Datenbanksystemen (DBS 2) erstellt im SS 06
• Informationsintegration erstellt im WS 06/07
• Informationssysteme – gestern, heute, morgen erstellt im SS 06
• Intelligente Roboter erstellt im SS 10
• Kognitive Robotik erstellt im WS 07/08
• Kombinatorische Algorithmen erstellt im SS 10
• Komplexität des Constraint Satisfaction Problems erstellt im SS 09
• Kontext-abhängige Systeme erstellt im SS 09
• Kryptologie 1 erstellt im WS 05/06
• Kryptologie 2 erstellt im WS 07/08
• Lineare Optimierung (LO) erstellt im SS 05
• Logik und Komplexität erstellt im SS 07
• Logik, Spiele, Automaten erstellt im SS 06
• Mathematische Grundlagen der digitalen Klanganalyse und -synthese erstellt im WS 07/08
• Mathematischer Grundlagen von Wahrnehmung und Sensomotorik erstellt im WS 06/07
• Middleware Plattformen erstellt im SS 05
• Mobile Kommunikationssysteme erstellt im SS 05
• Modellbasierte Leistungs- und Zuverlässigkeitsanalyse erstellt im WS 06/07
• Modellbasierte Softwareentwicklung (MODSOFT) erstellt im SS 06
• Mustererkennung erstellt im SS 06
• Neue Konzepte und Techniken für Datenbanksysteme erstellt im WS 08/09
• Prinzipien moderner Betriebssysteme erstellt im SS 05
• Projekt Erdbeben. Early Warning and Rapid Response erstellt im SS 09
• Prozessinformatik erstellt im SS 05
• Quadrokopter erstellt im WS 08/09
• Quantencomputer erstellt im WS 07/08
• Randomisierte Algorithmen und probablistische Methoden erstellt im SS 10
• Robocup (Projektvorlesung), erstellt im SS 08
• Schaltkreisentwurf erstellt im WS 06/07
• Schaltkreiskomplexität erstellt im SS 05
• Security Engineering erstellt im SS 05
• Selected Topics in Efficient Algorithms erstellt im WS 11/12
• Signalverarbeitung erstellt im WS 06/07
• Software Verifikation erstellt im WS 11/12
• Spezialgebiete der Bildverarbeitung erstellt im WS 06/07
• Spezialgebiete der Biosignalverarbeitung erstellt im SoSe 08
• Spezielle Techniken der Rechnerkommunikation erstellt SS 05
• Stereobildverarbeitung erstellt im SS 05
• Stochastik für InformatikerInnen erstellt im WS 05/06
• Stochastische Modellierung und Simulation von Kommunikationssystemen erstellt im SS 07
• Stochastische Prozesse erstellt im SS 06
• Systemspezifikation erstellt im SS 07
• Techniken und Konzepte zum Schutz der Privatsphäre erstellt im SS 10
• Text Analytics erstellt im SS 08
• Verteilte Algorithmen erstellt im WS 05/06
• Verteilte Systeme: Konzepte und Basisalgorithmen erstellt im SS 05
• Wireless Mesh Networks erstellt im SS 08
• XML, XPath, XQuery: neue Konzepte für Datenbanksysteme erstellt im WS 06/07
• Zeit und Petrinetze (ZPN) erstellt im SS 06

Frühere Vertiefungsveranstaltungen

• Algorithmen im Drug Design erstellt im SS 06
• Analytische Kombinatorik erstellt im SS 06
• Anwendungen von Graphzerlegungen in Algorithmik und Logik erstellt im SS 07
• Approximationsalgorithmen erstellt im SS 05
• Baumzerlegungen von Graphen und ihre algorithmischen Anwendungen erstellt im SS 06
• Computer Algebra erstellt im WS 07/08
• Constraintlogische Programmierung erstellt im WS 06/07
• Datenbanktheorie erstellt im SS 06
• Enumerative Kombinatorik erstellt im SS 08
• Graphen in der Ebene erstellt im SS 05
• Graphen und Algorithmen 1
• Graphen und Algorithmen 2
• Innovation durch Unternehmensgründung erstellt im WS 07/08
• Kombinatorik und ihre Anwendungen erstellt im SS 05
• Maschinelle Sprachverarbeitung erstellt im SS 05
• Maschinelles Lernen und Data Mining erstellt im WS 06/07
• Moderne Methoden der künstlichen Intelligenz erstellt im SS 06
• Operating Systems – Tools und Unix API erstellt im SS 07
• Parametrische Algorithmen und Komplexitätstheorie erstellt im SS 05
• SAT-Solving und Constraint Satisfaction Probleme erstellt im WS 05/06
• Spezialanwendungen von Datenbanksystemen erstellt im SS 05
• Theorie und Anwendungen von Theorembeweisern erstellt im SS 06
• UNIX Development Tools und UNIX Systemadministration erstellt im SS 05