mv"

hinter einem solchen Kürzel stehende Zahl gibt die Anzahl der Semesterwochenstunden
 (SWS) an):

1. In der Kategorie der Praktischen Stammvorlesungen:
a) Betriebssysteme, 9 Leistungspunkte (V4 Ü2)
b) Computergraphik, 9 Leistungspunkte (V4 Ü2)
c) Datenbanksysteme, 9 Leistungspunkte (V4 Ü2)
d) Datennetze, 9 Leistungspunkte (V4 Ü2)
e) Information Retrieval, 9 Leistungspunkte (V4 Ü2)
f) Künstliche Intelligenz, 9 Leistungspunkte (V4 Ü2)
g) Programmiersprachen, 9 Leistungspunkte (V4 Ü2)
h) Rechnerarchitektur, 9 Leistungspunkte (V4 Ü2)
i) Softwaretechnik, 9 Leistungspunkte (V4 Ü2)
j) Übersetzerbau, 9 Leistungspunkte (V4 Ü2)
Jede dieser Vorlesungen wird mindestens einmal alle zwei Jahre angeboten.


2. In der Kategorie der Theoretischen Stammvorlesungen:
a) Logik und Verifikation, 9 Leistungspunkte (V4 Ü2)
b) Datenstrukturen und Algorithmen, 9 Leistungspunkte (V4 Ü2)
c) Geometrische Modellierung, 9 Leistungspunkte (V4 U2)
d) Komplexitätstheorie, 9 Leistungspunkte (V4 Ü2)
e) Kryptographie, 9 Leistungspunkte (V4 Ü2)
f) Logik für Informatiker, 9 Leistungspunkte (V4 Ü2)
g) Optimierung, 9 Leistungspunkte (V4 Ü2)
h) Semantik von Programmiersprachen, 9 Leistungspunkte (V4 Ü2)
Jede dieser Vorlesungen wird mindestens einmal alle zwei Jahre angeboten.


3. In der Kategorie der Vertiefungsvorlesungen:
Vertiefungsvorlesungen, typischerweise im Umfang von jeweils 9 Leistungspunkten
 (V4 Ü2), oder 6 Leistungspunkten (V2 U2)
Vertiefungsvorlesungen werden jedes Semester angeboten.

4. In der Kategorie der Spezialvorlesungen:

Spezialvorlesungen, typischerweise im Umfang von jeweils 6 Leistungspunkten
 (V2 Ü2), oder 4 Leistungspunkten (V2)
Spezialvorlesungen werden jedes Semester angeboten.