Siegel und Leitseite der Universität zu KölnSiegel und Leitseite der Mathematisch-Naturwissenschaftlichen Fakultät
Leitseite
Mitarbeiter
Lehrstuhl
Ehemalige
Lehre
Aktuelle Veranstaltungen
Geplante Veranstaltungen
Frühere Veranstaltungen
Diplomarbeitsthemen
Studentische Hilfskräfte
Vorträge
Kolloquium und Oberseminar
Kolloquium über Parallelverarbeitung
Forschungsprojekte
ÖPNV-Fahrplanung
Erfüllbarkeit
Publikationen
Stellenangebote
Anreiseplan
Universität zu Köln
Math.-Nat. Fakultät
ZAIK
Institut für Informatik
Impressum
english
Valid HTML 4.01!

Frühere Lehrveranstaltungen

WS 2007/2008
VorlesungParallele AlgorithmenE. Speckenmeyer
ÜbungenÜbungen zu Parallele AlgorithmenT. Schmidt

VorlesungEffiziente AlgorithmenB. Randerath

ÜbungenÜbungen zu Effiziente AlgorithmenB. Randerath

VorlesungAspekte der mathematischen LogikS. Porschen

SeminarÜbersetzerbauE. Speckenmeyer

PraxisseminarOptimierung und Simulation E. Speckenmeyer
O. Ullrich
SeminarDoktorandenseminarE. Speckenmeyer

SeminarGraphenfärbungB. Randerath

SeminarAlgebraische AlgorithmenS. Porschen

PraktikumProgrammierpraktikum (Wiederholung)E. Speckenmeyer
O. Ullrich
SS 2007
VorlesungÜbersetzerbauE. Speckenmeyer
ÜbungenÜbersetzerbauE. Speckenmeyer
T. Schmidt
PraktikumProgrammierpraktikum E. Speckenmeyer
O. Ullrich
SeminarZufallsgesteuertes ProblemlösenE. Speckenmeyer

VorlesungAlgebraische AlgorithmenS. Porschen

SeminarKryptographische AlgorithmenS. Porschen

SeminarDas Buch der BeweiseB. Randerath
VorlesungSuchverfahrenB. Randerath
ÜbungenSuchverfahrenB. Randerath
KlausurInformatik IIE. Speckenmeyer
S. Porschen
WS 2006/2007
VorlesungInformatik IIE. Speckenmeyer
ÜbungenInformatik IIE. Speckenmeyer
S. Porschen
VorlesungGrundlagen und Konzepte der RechnernetzeB. Randerath
ÜbungenGrundlagen und Konzepte der RechnernetzeB. Randerath
VorlesungAusgewählte "Algorithmen der Woche"B. Randerath
Vorlesung Kryptographische AlgorithmenS. Porschen
SeminarModellierung und Entscheidungsfindung mit LogikkalkülenE. Speckenmeyer
Seminar Parametrisierte Algorithmen und KomplexitätS. Porschen
KlausurInformatik IE. Speckenmeyer
S. Porschen
SS 2006
VorlesungInformatik IE. Speckenmeyer
ÜbungenInformatik IE. Speckenmeyer
S. Porschen
VorlesungGrundlagen und Konzepte der BetriebssystemeB. Randerath
ÜbungenGrundlagen und Konzepte der BetriebssystemeB. Randerath
VorlesungSteinerbäumeB. Randerath
Seminar Algorithmen für netzwerkgekoppelte SystemeE. Speckenmeyer
Seminar Petrinetz-TheorieS. Porschen
SeminarGraphentheorieB. Randerath
KlausurProgrammierkurs Live-ProgrammieraufgabeG. Lückemeyer
WS 2005/06
VorlesungAlgorithmen für netzwerkgekoppelte SystemeE. Speckenmeyer
ÜbungenAlgorithmen für netzwerkgekoppelte SystemeE. Speckenmeyer
S. Porschen
VorlesungModelle Boolescher Formeln - Struktur und AlgorithmenE. Speckenmeyer
VorlesungGraphentheorieB. Randerath
ÜbungenGraphentheorieB. Randerath
P. Punnoor
VorlesungPetrinetzeS. Porschen
SeminarParallele AlgorithmenE. Speckenmeyer
SeminarExakte AlgorithmenB. Randerath
ProseminarKombinatorische AlgorithmenB. Randerath
SeminarAlgebraische Algorithmen/KomplexitätstheorieS. Porschen
VorlesungProgrammierkursE. Speckenmeyer
G. Lückemeyer
SS 2005
VorlesungParallele AlgorithmenE. Speckenmeyer
ÜbungenParallele AlgorithmenE. Speckenmeyer
S. Porschen
VorlesungLogik für InformatikerE. Speckenmeyer
VorlesungEffiziente AlgorithmenB. Randerath
ÜbungenEffiziente AlgorithmenB. Randerath
S. Hachul
VorlesungAlgebraische AlgorithmenS. Porschen
SeminarÜbersetzerbauE. Speckenmeyer
SeminarApproximations- und Online-AlgorithmenB. Randerath
WS 2004/05
VorlesungInformatik IIB. Randerath
ÜbungenInformatik IIB. Randerath
M. Percan
VorlesungÜbersetzerbauE. Speckenmeyer
ÜbungenÜbersetzerbauE. Speckenmeyer
Z. Genç
VorlesungKonzepte der Parallelität und NebenläufigkeitE. Speckenmeyer
VorlesungApproximations- und Online-AlgorithmenB. Randerath
SeminarSpieltheorieB. Randerath
F. Liers
PrüfungZwischenprüfung für WirtschaftsinformatikerE. Speckenmeyer
S. Porschen
SS 2004
VorlesungTheoretische InformatikB. Randerath
ÜbungenTheoretische InformatikB. Randerath
Z. Genç
Praktikum Programmierpraktikum S. Porschen
PrüfungZwischenprüfung für WirtschaftsinformatikerE. Speckenmeyer
S. Porschen
B. Randerath
WS 2003/04
Vorlesung Informatik II E. Speckenmeyer
ÜbungenInformatik IIE. Speckenmeyer
S. Porschen
Vorlesung Algorithmische Graphentheorie und perfekte Graphen B. Randerath
SeminarAlgorithmische Aspekte der Algebraischen GraphentheorieS. Porschen
VorlesungErfüllbarkeitstesterE. Speckenmeyer
SS 2003
VorlesungInformatik IE. Speckenmeyer
ÜbungenInformatik IE. Speckenmeyer
B. Randerath
VorlesungAlgebraische GraphentheorieS. Porschen
SeminarKünstliche IntelligenzE. Speckenmeyer
WS 2002/03
VorlesungKünstliche IntelligenzE. Speckenmeyer
ÜbungenKünstliche IntelligenzE. Speckenmeyer
S. Porschen
VorlesungProgrammierkursB. Randerath
SS 2002
VorlesungKommunikation in Parallelen RechnermodellenE. Speckenmeyer
ÜbungenKommunikation in Parallelen RechnermodellenE. Speckenmeyer
S. Porschen
SeminarParallele AlgorithmenE. Speckenmeyer
SeminarSuchproblemeB. Randerath
WS 2001/02
VorlesungParallele AlgorithmenE. Speckenmeyer
ÜbungenParallele AlgorithmenE. Speckenmeyer
S. Porschen
VorlesungAussagenlogikbasierte SuchproblemeB. Randerath
ÜbungenAussagenlogikbasierte SuchproblemeB. Randerath
PrüfungZwischenprüfung für WirtschaftsinformatikerE. Speckenmeyer
S. Porschen
B. Randerath
SS 2001
VorlesungBetriebssystemeE. Speckenmeyer
ÜbungenBetriebssystemeE. Speckenmeyer
G. Lückemeyer
PraktikumProgrammierpraktikumS. Porschen
SeminarNichtsequentielle ProgrammierungB. Randerath
PrüfungZwischenprüfung für WirtschaftsinformatikerE. Speckenmeyer
S. Porschen
B. Randerath
WS 2000/01
VorlesungInformatik IIE. Speckenmeyer
ÜbungenInformatik IIE. Speckenmeyer
S. Porschen
VorlesungGrundlagen und Konzepte der Nichtsequentiellen ProgrammierungB. Randerath
SS 2000
VorlesungInformatik IE. Speckenmeyer
ÜbungenInformatik IE. Speckenmeyer
B. Randerath
SeminarSyntaxbasierte ProgrammierwerkzeugeE. Speckenmeyer
WS 1999/2000
VorlesungÜbersetzerbauE. Speckenmeyer
ÜbungenÜbersetzerbauE. Speckenmeyer
Z. Genç
VorlesungProgrammierkursB. Randerath
SS 1999
SeminarParallele AlgorithmenE. Speckenmeyer
B. Randerath
WS 1998/99
VorlesungParallele Algorithmen für netzgekoppelte SystemeE. Speckenmeyer
ÜbungenParallele Algorithmen für netzgekoppelte SystemeE. Speckenmeyer
B. Randerath
VorlesungProgrammierung verteilter Anwendungen in RechnernetzenF. Meisgen
ÜbungenProgrammierung verteilter Anwendungen in RechnernetzenF. Meisgen
PrüfungZwischenprüfung für WirtschaftsinformatikerE. Speckenmeyer
B. Randerath
SS 1998
VorlesungOnline AlgorithmenE. Speckenmeyer
ÜbungenOnline Algorithmen