Modulhandbuch 2009 V1
Aus den hier gezeigten Tabellen kann man direkt entnehmen, zu welchen Modulen des Bachelor- und Masterstudiengangs Informatik eine Veranstaltung beiträgt. Bitte beachten Sie ggf. zusätzliche Regeln zur Auswahl der einzelnen Veranstaltungen (Pflicht, Wahlpflicht, Abhängigkeiten) beim Absolvieren des Moduls. Diese sind im Modulhandbuch bei dem jeweiligen Modul angegeben. Die Veranstaltungsnamen sind auf die jeweils letzte Instanz der entsprechenden Veranstaltung verlinkt.
Neben den hier aufgezählten Veranstaltungen sind im Bachelorstudiengang Informatik ein Proseminar und im Masterstudiengang Informatik eine Projektgruppe zu absolvieren. Ausserdem kann in allen Modulen des Masterstudiengangs eine der Ergänzungsveranstaltungen durch ein Seminar ersetzt werden, das für dieses Modul wie im Modulhandbuch angegeben freigegeben ist. Die jeweils möglichen Modulzuordnungen werden auch bei den jeweiligen Seminarankündigungen bekannt gegeben. Das Angebot an Proseminaren, Seminaren und Projektgruppen wechselt jedes Semester.
- Veranstaltungen im 1. Studienabschnitt des Bachelorstudiengangs
- Veranstaltungen im 2. Studienabschnitt des Bachelorstudiengangs
Veranstaltungen im Masterstudiengang:
- III.1 Gebiet Softwaretechnik und Informationssysteme
- III.2 Gebiet Modelle und Algorithmen
- III.3 Gebiet Eingebettete Systeme und Systemsoftware
- III.4 Gebiet Mensch-Maschine-Wechselwirkung
Veranstaltungen, die in englischer Sprache gehalten werden, sind in der Tabelle mit einem E gekennzeichnet.
Veranstaltungen im 1. Studienabschnitt des Bachelorstudiengangs
Veranstaltung | Modul | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
1.1 | 1.2 | 1.3 | 2.1 | 2.2 | 2.3 | 3.1 | 3.2 | 4.1 | 5.1 | 5.2 | 5.3 | |
Datenstrukturen und Algorithmen | X | |||||||||||
Einführung in Berechenbarkeit, Komplexität und formale Sprachen | X | |||||||||||
Grundlagen der Programmiersprachen | X | |||||||||||
Grundlagen der Programmierung 1 | X | |||||||||||
Grundlagen der Programmierung 2 | X | |||||||||||
Grundlagen von Datenbanksystemen | X | |||||||||||
Grundlagen der Technischen Informatik | X | |||||||||||
Grundlagen der Rechnerarchitektur | X | |||||||||||
Konzepte und Methoden der Systemsoftware | X | |||||||||||
Grundlagen der Mensch-Maschine-Wechselwirkung | X | |||||||||||
Mathematik - Analysis | X | |||||||||||
Mathematik - Lineare Algebra | X | |||||||||||
Mathematik - Stochastik | X | |||||||||||
Modellierung | X | |||||||||||
Softwareentwurf (SE) | X | |||||||||||
Softwaretechnikpraktikum (SWTPra) | X |
Veranstaltungen im 2. Studienabschnitt des Bachelorstudiengangs
Veranstaltung | Modul | ||||
---|---|---|---|---|---|
1.1 | 2.1 | 3.1 | 4.1 | 5.1 | |
Computergrafik I | X | ||||
Processing, Indexing and Compression of Structured Data (PICSD) - E | X | ||||
Einführung in Kryptographie / Introduction to Cryptography - E | X | ||||
Eingebettete Systeme (wird derzeit nicht angeboten) | X | ||||
Eingebettete Prozessoren | X | ||||
Gestaltung von Webauftritten | X | ||||
Grundlagen der Wissensbasierten Systeme (GWBS) | X | ||||
Grundlegende Algorithmen / Fundamental Algorithms - E | X | ||||
HW/SW-Codesign (bis Sommersemester 2010) | X | ||||
Komplexitätstheorie | X | ||||
Kontextuelle Informatik | X | ||||
Methoden des Algorithmenentwurfs | X | ||||
Modellbasierte Softwareentwicklung (MSWE) | X | ||||
Optimierung | X | ||||
Parallelität und Kommunikation | X | ||||
Programmiersprachen und Übersetzer (PSÜ) / Programming Languages and Compliers - E | X | ||||
Rechnernetze | X | ||||
Software Modellierung mit Formalen Methoden (SMFM) | X | ||||
Usability Engineering | X | ||||
Verteilte Algorithmen und Datenstrukturen | X | ||||
Verteilte Systeme | X |
Veranstaltungen im Masterstudiengang, Gebiet Softwaretechnik und Informationssysteme
Veranstaltung | Modul | |||||
---|---|---|---|---|---|---|
1.1 | 1.2 | 1.3 | 1.4 | 1.5 | 1.6 | |
Compilation Methods (CM) -E | X | X | X | |||
Datenbanken und Informationssysteme 2 / Databases and Information Systems 2 - E | X | X | ||||
Deductive Verification - E | X | X | ||||
Funktionale Programmierung (FP) | X | X | ||||
Generating Software from Specifications (GSS) - E | X | X | X | |||
Heuristische Suchverfahren | X | |||||
Maschinelles Lernen | X | |||||
Modelchecking (MC) - E | X | X | ||||
Model-driven Software Development - E | X | X | X | |||
Objektorientierte Programmierung (OOP) | X | X | ||||
Parallel Programming (PP) - E | X | X | ||||
Prolog mit Anwendungen | X | X | X | X | ||
Propositional Proof Systems - E | X | X | X | |||
Software Quality Assurance - E | X | X | X | |||
Software Safety | X | X | ||||
Theorembeweisen | X | X | ||||
Verteiltes Problemlösen | X | |||||
Web-Engineering (WE) - E | X | X | X |
Veranstaltungen im Masterstudiengang, Gebiet Modelle und Algorithmen
Veranstaltung | Modul | |||
---|---|---|---|---|
2.1 | 2.2 | 2.3 | 2.4 | |
Algorithmen für hochkomplexe Virtuelle Szenen | X | X | ||
Algorithmische Geometrie | X | X | ||
Algorithmische Spieltheorie / Algorithmic Game Theory - E | X | X | ||
Approximationsalgorithmen / Approximation Algorithms - E | X | X | X | |
Beweisbare Sicherheit / Cryptography - Provable Security - E | X | |||
Clusteringalgorithmen – E | X | X | ||
Combinatorial Optimization - E | X | X | ||
Fortgeschrittene verteilte Algorithmen und Datenstrukturen | X | X | X | |
Graphenalgorithmen / Graph Algorithms - E | X | X | ||
Heuristische Suchverfahren | X | X | ||
Komplexitätstheorie II | X | |||
Konkrete Komplexitätstheorie / Concrete Complexity Theory - E | X | |||
Kryptographische Protokolle / Cryptographic Protocols | X | |||
Logik und Deduktion | X | |||
Online Algorithmen / Online Algorithms - E | X | X | ||
Randomisierte Algorithmen / Randomised Algorithms – E | X | X | ||
Rechenmodelle / Computational Models – E | X | |||
Routing and Data Management in Networks - E | X | X | X |
Veranstaltungen im Masterstudiengang, Gebiet Eingebettete Systeme und Systemsoftware
Veranstaltung | Modul | |||||
---|---|---|---|---|---|---|
3.1 | 3.2 | 3.3 | 3.4 | 3.5 | 3.6 | |
Ad hoc und Sensornetze - E | X | X | ||||
Analytische Leistungsbewertung | X | X | ||||
Architektur paralleler Rechnersysteme | X | X | ||||
Datenschutz | X | |||||
Empirische Leistungsbewertung / Empirical performance evaluation - E | X | X | ||||
Hardware/Software Codesign - E (ab Sommersemester 2011) | X | X | X | |||
Intelligenz in Eingebetteten Systemen | X | X | ||||
Introduction to Real Time Operating Systems - E | X | X | ||||
IT-Sicherheit | X | X | X | |||
Mobilkommunikation / Mobile communication - E | X | X | ||||
Operating Systems - E (wird derzeit nicht angeboten) | X | X | ||||
Reconfigurable Computing - E | X | X | ||||
Real Time Operating Systems - E | X | X |