|
|
||||||||||
English
Deutsch
Theoretische Informatik
Die Theoretische Informatik behandelt die Entwicklung grundlegender Methoden und Konzepte, manchmal spekulativer Natur, für Prozess- und Informations-Wissenschaften (Beispiele sind Berechenbarkeit, Komplexität, Randomisierung, On-line Berechnung, Zero Knowledge Beweise, Quantum Computing etc.). Die Theorie ist insofern ein interdispziplinäres Gebiet, als dass sie Brücken zwischen den einzelnen Bereichen der Informatik, Mathematik, Operations Research, Physik, Wirtschaftswissenschaften etc. schlägt.
Die Themen werden auf eine formelle Weise, welche absolute Aussagen über "Nicht-machbarkeit" (häufig bezogen auf eine bestimmte Hypothese) zulässt, behandelt. Andererseits tauchen auch viele positive Resultate auf (z.B. probabilistisch überprüfbare Beweise). Viele der Fragestellungen werden durch Anwendungen motiviert und es gehört zu unserer Disziplin, Einsichten über experimentelle und Implementations-Arbeit der Anwendung zuzuführen.
Das Programm an der ETH hat seine Schwerpunkte in
- kombinatorische und geometrische Algorithmen,
- randomisierte Algorithmen und probabilistische Methoden,
- Sicherheit und Kryptographie, sowie
- mathematische Grundlagen dieser Gebiete.
Voraussetzungen (für ETH Informatik Bachelor)
Bestanden:
|
Kernfach |
Semester |
|
252-0203-00 Algorithms, Probability, and Computing* |
Herbst |
(* früher 252-0200-00 Theoretische Informatik im Sommersemester)
Alle anderen Studenten sollten den Stoff dieser Vorlesung beherrschen.
Fokusfächer
26 Kreditpunkte müssen wie folgt erzielt werden:
| 1) 3 der folgenden Kurse: | |
| 251-0407-00 Kyryptographie | Herbst |
| 251-0417-00 Randomisierte Algorithmen und Probabilistische Methoden | Herbst |
| 251-1425-00 Computational Geometry | Herbst |
| 251-0491-00 Boolean Satisfiability - Combinatorics and Algorithms | Herbst |
| 251-1408-00 Graphs and Algorithms (ab SS07) | Frühjahr |
| 227-0558-00 Principles of Distributed Systems | Frühjahr |
ETH Informatik Bachelorstudenten, die Vorlesungen aus dieser Liste bereits während des Bachelorstudiums besucht und bestanden haben, können diese Kurse mit Kursen aus der Liste 3) substituieren.
| 2) 2 der folgenden Seminare: | |
| 252-4201-00 Seminar Computational Geometry |
Frühling |
| 252-4202-00 Seminar Theoretical Computer Science | Herbst/Frühjahr |
| 252-4301-00 Seminar External Memory Algorithms and Data Structures | Herbst |
| 252-4102-00 Randomized Algorithms and Probabilistic Methods | Frühjahr |
|
252-4700-00 Seminar: Research Topics in Cryptography |
Frühjahr |
| 263-4200-00 Seminar SAT | Frühjahr |
|
263-4201-00 Seminar Approximate Methods in Geometry |
Herbst |
| 263-4100-00 Advanced Topics in Discrete Mathematics | Frühjahr |
| 3) Restliche Fokuspunkte sind über folgende Vorlesungen zu erreichen: | |
| 251-0487-00 Generating Functions (alle 2 Jahre) | Herbst |
| 251-1401-00 Fourier Analytic Methods in Discrete Mathematics | Herbst |
| 251-1403-00 Introduction to Quantum Information Processing | Herbst |
| 251-1407-00 Algorithmic Game Theory | Herbst |
| 251-1409-00 Graphs and Algorithms: Advanced Topics (ab WS 07/08) | Herbst |
| 251-0408-00 Cryptographic Protocols | Frühjahr |
| 251-0456-00 Approximate Methods in Geometry | Frühjahr |
| 251-0458-00 Extremal Combinatorics | Frühjahr |
| 251-0482-00 Random Graphs (alle 2 Jahre) | Frühjahr |
Alle Vorlesungen werden, falls gewünscht, in Englisch gehalten, es sei denn etwas anderes ist vermerkt.
Wahlfächer
20 Kreditpunkte müssen erreicht werden.
Multidisziplinfächer
8 Kreditpunkte müssen erreicht werden.
Pflichtwahlfach GESS
2 Kreditpunkte müssen erreicht werden.
Masterarbeit
Das zu behandelnde Thema einer Masterarbeit muss in der Theoretischen Informatik liegen und vom Mentor/von der Mentorin akzeptiert werden.
Involvierte Professoren
Dmitry Feichtner-Kozlov, Ueli Maurer, Angelika Steger, Emo Welzl, Peter Widmayer
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
