Course Catalogue
Print
Help
Contact
de
Courses
Lecturers
Time and Place
Search
Search result: Course units in Spring Semester 2016
Page 1 of 1
Course units
Catalogue data
Courses
Computer Science Master
Focus Courses
Focus Courses in Theoretical Computer Science
Focus Core Courses Theoretical Computer Science
Number
Title
Type
ECTS
Hours
Lecturers
252-0407-00L
Cryptography Foundations
W
7 credits
3V + 2U + 1A
U. Maurer
252-0491-00L
Satisfiability of Boolean Formulas - Combinatorics and Algorithms
Takes place for the last time in spring 2016.
W
7 credits
3V + 2U + 1A
E. Welzl
Focus Elective Courses Theoretical Computer Science
Number
Title
Type
ECTS
Hours
Lecturers
252-1403-00L
Introduction to Quantum Information Processing
W
3 credits
2G
S. Wolf
252-1424-00L
Models of Computation
W
6 credits
2V + 2U + 1A
M. Cook
401-3052-05L
Graph Theory
W
5 credits
2V + 1U
B. Sudakov
401-3903-11L
Geometric Integer Programming
W
6 credits
2V + 1U
R. Weismantel
401-3908-09L
Polyhedral Computation
W
6 credits
2V + 1U
K. Fukuda
401-4904-00L
Combinatorial Optimization
W
6 credits
2V + 1U
R. Zenklusen
252-0408-00L
Cryptographic Protocols
Does not take place this semester.
W
5 credits
2V + 2U
U. Maurer
Seminar in Theoretical Computer Science
Number
Title
Type
ECTS
Hours
Lecturers
252-3002-00L
Algorithms for Database Systems
Limited number of participants.
W
2 credits
2S
P. Widmayer
252-4102-00L
Seminar on Randomized Algorithms and Probabilistic Methods
W
2 credits
2S
A. Steger
252-4202-00L
Seminar in Theoretical Computer Science
W
2 credits
2S
E. Welzl
,
B. Gärtner
,
M. Hoffmann
,
J. Lengler
,
A. Steger
,
B. Sudakov
252-4302-00L
Seminar Algorithmic Game Theory
Limited number of participants.
W
2 credits
2S
P. Widmayer
,
P. Dütting
252-4800-00L
Quantum Information and Cryptography
W
2 credits
3S
S. Wolf
263-4203-00L
Geometry: Combinatorics and Algorithms
W
2 credits
2S
B. Gärtner
,
M. Hoffmann
,
E. Welzl
Page 1 of 1