> Friedrich-Schiller-Universität Jena
Fakultät für Mathematik und Informatik
Theoretische Informatik I
> Teaching

Diplom- und Studienarbeiten

Wir bieten Diplom- und Studienarbeiten aus dem Bereich der theoretischen Informatik an. Die Themen werden meist aktuell und forschungsnah gewählt und entstehen in Absprache mit den Studenten. Themenbereiche sind z. B. Graphalgorithmen, Komplexitätstheorie, parametrisierte Algorithmen und kombinatorische Herausforderungen der algorithmischen Bioinformatik. Abgeschlossene Arbeiten sind zum Teil auf unserer Publikationsseite erhältlich.

Eine Übersicht aktueller Themen befindet sich auf der Diplomarbeitsseite.

Vorlesungen und Seminare


Sommersemester (Stand 01.04.2010)

Vorlesungen
Komplexitätstheorie Di 14-16
Fr 10-12
HS 4 A
HS 4 A
Rolf Niedermeier
Übung zu Komplexitätstheorie Di 12-14 SR 13 AB 4 Sepp Hartung
Komplexitätstheorie II Mo 08-10 SR 3 AB 4 Harald Hempel
Blockseminar: Algorithmen zur Datenreduktion Ort und Zeit: siehe CAJ Rolf Niedermeier
Blockseminar: Anwendungsbezogene Graphalgorithmen Ort und Zeit: siehe CAJ Rolf Niedermeier
Automaten und Berechenbarkeit Di 10-12
Do 14-16
HS 4 Abb.
HS 4 Abb.
Jörg Vogel
Übung zu Automaten und Berechenbarkeit Mo 08-10
Do 10-12
SR 11, August-Bebel-Str. 4
SR 13, August-Bebel-Str. 4
Jana Grajetzki
Diskrete Strukturen II Mo 08-10 HS 1 Abb. Jörg Vogel
Übung zu Diskrete Strukturen II Di 08-10
Di 10-12
Mi 08-10
SR 13, August-Bebel-Str. 4
SR 13, August-Bebel-Str. 4
SR 09, August-Bebel-Str. 4
Jana Grajetzki

Wintersemester 2009/2010 (Stand 15.10.2009)

Vorlesungen
Algorithmik Di 14-16
Fr 08-10
SR 225, CZ 3
HS 1 Abb.
Rolf Niedermeier
Übung zu Algorithmik Mi 16-18
Fr 10-12
SR 131, CZ 3
SR 131, CZ 3
Christian Komusiewicz/Johannes Uhlmann
Parametrisierte Algorithmen Di 08-10
Do 12-14 (14-t.)
SR 131, CZ 3 Rolf Niedermeier
Übung zu Parametrisierte Algorithmen Do 12-14 (14-t.) SR 131, CZ 3 Hannes Moser
Diskrete Strukturen I Mo 08-10 HS 1 Abb. Jörg Vogel
Übung zu Diskrete Strukturen I Mo 10-12
Mo 12-14
Do 10-12
Fr 8-10
SR 10, August-Bebel-Str. 4
SR 10, August-Bebel-Str. 4
SR 11, August-Bebel-Str. 4
SR 225, CZ 3
Jana Grajetzki
Kryptologie Mo 12-14 (14-t.)
Mi 08-10
SR 123, CZ 3
SR 122, CZ 3
Jörg Vogel
Übung zu Kryptologie Mo 12-14 (14-t.) SR 123, CZ 3 Jörg Vogel
Seminare
Oberseminar Theoretische Informatik Mo 14-16 EAP 2, R 3319

Sommersemester 2009 (Stand 04.05.2009)

Vorlesungen
Diskrete Mathematik und Logik II Di 08-10
Fr 10-12
Ort: siehe CAJ oder VV Jörg Vogel
Übungen zu Diskrete Mathematik und Logik II Ort und Zeit: siehe CAJ oder VV  
Berechenbarkeit und Komplexität Di 12-14 HS 9 Jiong Guo
Übung zu Berechenbarkeit und Komplexität Mi 12-14 SR 221 CZ3 Jiong Guo
Komplexitätstheorie Di 14-16
Do 08-10
HS 3 Abb.
HS 4 Abb.
Rolf Niedermeier
Übung zu Komplexitätstheorie Mo 16-18
Di 08-10
SR 129 CZ3
SR 131 CZ3
Michael Dom
Randomisierte Algorithmen Mo 12-14 (14-t.)
Fr 10-12
SR 102 Abb.
SR 130 CZ3
Rolf Niedermeier
Übung zu Randomisierte Algorithmen Mo 12-14 (14-t.) SR 102 Abb. Rolf Niedermeier
Seminare
Komplexitätstheorie Blockseminar vom 16.-20.03.2009 in Römhild Harald Hempel
Oberseminar Theoretische Informatik Mo 14-16 SR 3319  
Proseminare
Kryptologie Do 12-14 SR 123 CZ3 Michael Dom

Wintersemester 2008/2009

Vorlesungen
Diskrete Mathematik und Logik I Di 08-10
Fr 08-10
Ort: siehe CAJ oder VV Jörg Vogel
Übungen zu Diskrete Mathematik und Logik I Ort und Zeit: siehe CAJ oder VV  
Informatik 3 Mo 08-10
Mi 12-14
Ort: siehe CAJ Harald Hempel
Übungen zu Informatik 3 Ort und Zeit: siehe CAJ  
Algorithmik Di 16-18
Do 14-16
HS 4 Abb. Rolf Niedermeier
Übung zu Algorithmik Mo 12-14
Fr 08-10
Ort: siehe CAJ Michael Dom
Parametrisierte Algorithmen Mo 08-10
Mi 14-16 (14-t.)
SR 225 CZ 3
SR 18 A.-Bebel-Str. 4
Jiong Guo
Übung zu Parametrisierte Algorithmen Mi 14-16 (14-t.) SR 18 A.-Bebel-Str. 4 Jiong Guo
Seminare
Combinatorial Pattern Matching Blockseminar, siehe CAJ Rolf Niedermeier
Oberseminar Theoretische Informatik Mo 14-16 EAP 2, R 3319  
Proseminare
Graphalgorithmen Ort und Zeit: siehe CAJ Michael Dom

Sommersemester 2008

Vorlesungen
Approximationsalgorithmen Mo 8-10
Mi 14-16
SR 1 TO Lessingstraße 8
SR 102 Abb. Fröbelstieg 1, siehe CAJ
Jiong Guo
Übung zu Approximationsalgorithmen Mi 14-16 SR 102 Abb. Fröbelstieg 1, siehe CAJ Jiong Guo
Berechenbarkeit und Komplexität Mo 10-12 SR 102 Abb. Fröbelstieg 1, siehe CAJ Jiong Guo
Übung zu Berechenbarkeit und Komplexität Di 12-14 CZ 3, SR 124, siehe CAJ Jiong Guo
Diskrete Mathematik und Logik II Di 8-10
Mi 12-14
HS 1, Abbeanum
HS 1, Abbeanum, siehe CAJ
Jörg Vogel
Übungen zu Diskrete Mathematik und Logik II Mo 12-14
Mi 8-10
Do 10-12
CZ 3 SR 306
SR 1 TO
SR 9, August-Bebel-Str. 4, siehe CAJ
Jörg Vogel
Tutorium zu Diskrete Mathematik und Logik II Do 16-18 CZ 3 SR 224, siehe CAJ Jörg Vogel
Komplexitätstheorie Di 8-10
Mi 8-10
HS 2, Abbeanum
HS 2, Abbeanum, siehe CAJ
Harald Hempel
Seminare
Oberseminar Theoretische Informatik Mo 14-16 EAP 2, R 3319  
Proseminare
Graphentheorie und ihre Anwendungen Mi 16-18 Ort: siehe CAJ Jiong Guo, Michael Dom

Wintersemester 2007/2008

Vorlesungen
Diskrete Mathematik und Logik 1 (DML) Mo 08-10
Mi 08-10
Ort: siehe CAJ Jörg Vogel
Übung zu Diskrete Mathematik und Logik 1 (DML) Ort und Zeit: siehe CAJ  
Informatik 3 Mo 08-10
Mi 08-10
Ort: siehe CAJ Harald Hempel
Übung zu Informatik 3 Ort und Zeit: siehe CAJ Martin Hünniger
Algorithmik Mo 12-14
Fr 08-10
CZ 3, HS 9
CZ 3, HS 7
Rolf Niedermeier
Übung zu Algorithmik Di 16-18
Do 12-14
CZ 3, SR 221
CZ 3, SR 225
Michael Dom
Parametrisierte Algorithmen Di 08-10
Mi 12-14 (14-t.)
CZ 3, SR 128
CZ 3, SR 130
Rolf Niedermeier
Übung zu Parametrisierte Algorithmen Mi 12-14 (14-t.) CZ 3, SR 130 Rolf Niedermeier
Sequence Assembly Mo 10-12 Ab, HS 3 Harald Hempel
Seminare
Computational Social Choice Ort und Zeit: siehe CAJ Rolf Niedermeier
Oberseminar Theoretische Informatik Mo 14-16 EAP 2, R 3319  
Proseminare
Kryptographie Ort und Zeit: siehe CAJ Harald Hempel

Sommersemester 2007

Vorlesungen
Diskrete Mathematik und Logik 2 (DML) Mo 10-12
Mi 08-10
Ort: siehe VV Harald Hempel
Übung zu Diskrete Mathematik und Logik 2 (DML) Ort und Zeit: siehe VV Harald Hempel
Informatik 4 Mo 08-10
Do 12-14
Ort: siehe VV Jörg Vogel
Übung zu Informatik 4 Ort und Zeit: siehe VV Jörg Vogel
Berechenbarkeit und Komplexität Di 10-12 SR 13, A.-Bebel-Str. 4 Rolf Niedermeier
Übung zu Berechenbarkeit und Komplexität Di 14-16 CZ 3, SR 226 Jiong Guo
Komplexitätstheorie Mi 10-12
Fr 08-10
Ab, HS 4 Rolf Niedermeier
Übung zu Komplexitätstheorie Di 12-14
Do 08-10
Ort: siehe CAJ oder VV Michael Dom
Seminare
Algorithmen für das Internet Ort und Zeit: siehe CAJ Rolf Niedermeier
Ausgewählte Themen der Kryptologie Ort und Zeit: siehe VV Jörg Vogel
Oberseminar Theoretische Informatik Mo 14:00 (c.t.) CZ 3, SR 225  
Proseminare
Informatik ohne Rechner Di 10-12 Ort: siehe CAJ oder VV Rolf Niedermeier, Jörg Vogel

Wintersemester 2006/2007

Vorlesungen
Diskrete Mathematik und Logik 1 (DML) Mo 08-10
Di 10-12
Ort: siehe CAJ Harald Hempel
Übung zu Diskrete Mathematik und Logik 1 (DML) Ort und Zeit: siehe CAJ Harald Hempel
Algorithmik Mo 12-14
Mi 08-10
Ort siehe CAJ oder VV Rolf Niedermeier
Übung zu Algorithmik Do 08-10
Fr 08-10
Ort siehe CAJ oder VV Michael Dom
Kryptologie Mo 08-10
Mi 12-14 (14-t.)
Ort: siehe CAJ Jörg Vogel
Seminare
Algorithm Engineering   Ort: siehe CAJ oder VV Rolf Niedermeier
Komplexitätstheorie Blockseminar, Ort und Zeit: siehe CAJ Harald Hempel
Oberseminar Theoretische Informatik Mo 14:00 (c.t.) CZ 3, SR 226  
Proseminare
Graphentheorie und ihre Anwendungen Di 14-16 Ort: siehe CAJ oder VV Rolf Niedermeier, Michael Dom
Praktika
Algorithm Engineering für harte Probleme Mi 14-18 Ort: siehe CAJ oder VV Rolf Niedermeier

Sommersemester 2006

Vorlesungen
Diskrete Mathematik und Logik 2 (DML) Di 08-10
Do 08-10
Ort siehe CAJ Rolf Niedermeier
Übung zu Diskrete Mathematik und Logik 2 (DML) Ort und Zeit: siehe CAJ Michael Dom
Informatik 4 Mo 08-10
Mi 08-10
Ort: siehe CAJ Harald Hempel
Übung zu Informatik 4 Ort und Zeit: siehe CAJ Harald Hempel
Komplexitätstheorie II Fr 08-10
Fr 10-12
Ort: siehe CAJ Harald Hempel
Approximationsalgorithmen Mo 12-14
Do 14-16
Ort: siehe CAJ Rolf Niedermeier, Jiong Guo
Übung zu Approximationsalgorithmen Do 12-14 Ort: siehe CAJ Michael Dom, Falk Hüffner
Berechenbarkeit und Komplexität Di 12-14 Ort: siehe CAJ Jörg Vogel
Übungen zu Berechenbarkeit und Komplexität Mi 08-10 Ort: siehe CAJ Jörg Vogel
Grundlagen der Mathematik Mo -8-10
Di 16-18
Ort: siehe CAJ Jörg Vogel
Übungen zu Grundlagen der Mathematik Mo 08-10 Ort: siehe CAJ Jörg Vogel
Seminare
Oberseminar Theoretische Informatik Mo 14:00 (s.t.) CZ 3, SR 226  
Proseminare
Computer Science Unplugged Fr 12-14 Ort: siehe CAJ Jörg Vogel

Wintersemester 2005/2006

Vorlesungen
Diskrete Mathematik und Logik 1 (DML) Di 10–12
Do 10–12
Ab, HS 1 Rolf Niedermeier
Übung zu Diskrete Mathematik und Logik 1 (DML) Mo 12-14
Mo 14-16
Di 16-18
Mi 08-10
Fr 12-14
CZ 3, SR 222
CZ 3, SR 221
Ab, HS 4
CZ 3, SR 122
Ab, HS 5
Michael Dom
Diskrete Mathematik und Logik (DML) für Bioinformatiker, Wirtschaftsinformatiker und Magister Informatik Mo 10–12 Ab HS 4 Jörg Vogel
Übung zu Diskrete Mathematik und Logik (DML) für Bioinformatiker, Wirtschaftsinformatiker und Magister Informatik Di 14-16
Mi 16-18
Do 08-10
CZ 3, SR 226
CZ 3, SR 226
CZ 3, SR 223
Komplexitätstheorie Mo 08–10
Di 10–12
Ab HS 1 A
Ab HS 2 A
Harald Hempel
Übung zu Komplexitätstheorie Mi 08–10 Ab HS 4 Harald Hempel
Parametrisierte Algorithmen Mi 12–14
Fr 08–10
CZ3, SR 114
CZ3, SR 114
Rolf Niedermeier, Jiong Guo
Übung zu Parametrisierte Algorithmen Di 12–14
Do 10–12
CZ 3, SR 226
EAP 2, 3407
Michael Dom, Falk Hüffner
Seminare
Kombinatorische Herausforderungen der algorithmischen Biologie 20.02.06-22.02.06   Rolf Niedermeier
Komplexitätstheorie Februar 06   Harald Hempel
Oberseminar Theoretische Informatik Mo 14 CZ 3, SR 226  
Proseminare
Ausgewählte Themen der Diskreten Mathematik und Logik Mo 16–18 CZ 3, SR 226 Jörg Vogel

Sommersemester 2005

Vorlesungen
Berechenbarkeit und Komplexität Mi 08–10 Ab, HS 3 Rolf Niedermeier
Übung zu Berechenbarkeit und Komplexität Fr 12–14 CZ 2, SR 385 Michael Dom
Informatik 4 Di 14–16
Do 10–12
Ab HS 1 Rolf Niedermeier
Übung zu Informatik 4 Mo 08–10
Mo 10–12
Mi 10–12
Do 08–10
CZ 3, SR 223
CZ 3, SR 223
EAP 2, SR 3517
CZ 3, SR 120
Jana Grajetzki
Diskrete Mathematik und Logik II Di 8–10
Do 8–10
Ab HS 1 Jörg Vogel
Übung zu Diskrete Mathematik und Logik II Mi 08–10
Do 10–12
Fr 8–10
CZ 3, SR 120
CZ 3, SR 316
CZ 3, SR 223
Jana Grajetzki
Grundlagen der Mathematik (für Lehramt Gymnasium) Di 14–16
Do 14–16
Technikum Optik, SR 1
Ab HS 3
Jörg Vogel
Übung zu Grundlagen der Mathematik (für Lehramt Gymnasium) Di 14–16 Technikum Optik, SR 1 Jörg Vogel
Seminare
Parametrisierte Algorithmen 18.07.05-20.07.05   Rolf Niedermeier, Michael Dom
Oberseminar Theoretische Informatik Mo 14:00 (s.t.) CZ 3, SR 226
Proseminare
Computer Science Unplugged Fr 12–14 EAP 2, SR 3517 Rolf Niedermeier, Jörg Vogel

Wintersemester 2004/2005

Vorlesungen
Algorithmen für harte Probleme Tu 16–18
Th 8–10
CZ 3, SR 124
CZ 3, SR 121
Rolf Niedermeier
Übung zu Algorithmen für harte Probleme We 14–16 CZ 3, SR 122 Michael Dom, Jiong Guo
Algorithmische Zahlentheorie Mo 8–10
Th 10–12
SR 1 TO Harald Hempel
Diskrete Mathematik und Logik
(für Bio- und Wirtschaftsinformatiker)
Mo 10–12 Ab, HS 1 Harald Hempel
Diskrete Mathematik und Logik I (für Informatiker) Mo 10–12
Tu 10–12
HS 4 Helmholtzweg 5
HS 1 Abbeanum
Jörg Vogel
Seminare
Komplexitätstheorie 14.02.05-18.02.05 Römhild Harald Hempel
Oberseminar Theoretische Informatik Mo 14 3319
Valid HTML 4.01! Last modified: Wed Apr 7 14:19:44 CEST 2010