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

Das aktuelle kommentierte Vorlesungsverzeichnis

Empfehlungen zu ausgewählten Vertiefungsgebieten

• Datenbanken
• Signalverarbeitung und Mustererkennung

Beschreibungen der Kernveranstaltungen

• Einführung in Datenbanksysteme (DBS 1)
• Einführung in die Informations- und Kodierungstheorie
• Einführung in die Künstliche Intelligenz
• Graphen und Algorithmen 1
• Graphen und Algorithmen 2
• Grundlagen der Rechnerkommunikation
• Grundlagen der Signalverarbeitung
• Informatik und Informationsgesellschaft I: Digitale Medien
• 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)

Beschreibung aktueller Vertiefungsveranstaltungen

• Algorithmische Bioinformatik erstellt im WS05/06
• Analytische Kombinatorik erstellt im SS 06
• Approximationsalgorithmen erstellt im SS 05
• Architektur paralleler und verteilter Systeme erstellt im WS 08/09
• Baumzerlegungen von Graphen und ihre algorithmischen Anwendungen erstellt im SS 06
• Bildverarbeitung erstellt im WS 06/07
• Biosignalverarbeitung erstellt im WS 07/08
• Computer Algebra erstellt im WS 07/08
• Computergestützte Verifikation erstellt im WS 05/06
• Constraintlogische Programmierung erstellt im WS 06/07
• Data Warehousing und Data Mining erstellt im SS07
• Eigenschaften mobiler und eingebetteter Systeme (EMES) erstellt im WS 05/06
• Enumerative Kombinatorik erstellt im SS 08
• Graphen in der Ebene erstellt im SS 05
• Implementierung von Datenbanksystemen (DBS 2) erstellt im SS 06
• Informationsintegration erstellt im WS 06/07
• Informationssysteme – gestern, heute, morgen erstellt im SS 06
• Innovation durch Unternehmensgründung erstellt im WS 07/08
• Kognitive Robotik erstellt im WS 07/08
• Kombinatorik und ihre Anwendungen erstellt im SS 05
• 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 SS05
• Modellbasierte Leistungs- und Zuverlässigkeitsanalyse erstellt im WS 06/07
• Modellbasierte Softwareentwicklung (MODSOFT) erstellt im SS 06
• Moderne Methoden der künstlichen Intelligenz erstellt im SS 06
• Mustererkennung erstellt im SS 06
• Neue Konzepte und Techniken für Datenbanksysteme erstellt im WS 08/09
• Operating Systems – Tools und Unix API erstellt im SS 07
• Parametrische Algorithmen und Komplexitätstheorie erstellt im SS 05
• Prinzipien moderner Betriebssysteme erstellt im SS 05
• Prozessinformatik erstellt im SS 05
• Quadrokopter erstellt im WS 08/09
• Quantencomputer erstellt im WS 07/08
• Robocup (Projektvorlesung), erstellt im SS 08
• SAT-Solving und Constraint Satisfaction Probleme erstellt im WS 05/06
• Schaltkreisentwurf erstellt im WS 06/07
• Schaltkreiskomplexität erstellt im SS 05
• Security Engineering erstellt im SS 05
• Signalverarbeitung erstellt im WS 06/07
• 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
• Text Analytics erstellt im SS 08
• Theorie und Anwendungen von Theorembeweisern erstellt im SS 06
• 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
• Anwendungen von Graphzerlegungen in Algorithmik und Logik erstellt im SS 07
• Datenbanktheorie erstellt im SS06
• Maschinelle Sprachverarbeitung erstellt im SS 05
• Maschinelles Lernen und Data Mining erstellt im WS 06/07
• Spezialanwendungen von Datenbanksystemen erstellt im SS 05
• UNIX Development Tools und UNIX Systemadministration erstellt im SS 05