Modulübersicht
Modulübersicht
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
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