Institut für Theoretische Informatik

1: Lehre.
- 1.1: Vorlesungen.
- 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archiv.
  - 1.8.1: WS 2011/2012.
  - 1.8.2: SS 2011.
  - 1.8.3: WS 2010/2011.
    - 1.8.3.1: Proseminar Algorithmen.
    - 1.8.3.2: Seminar: Probleme in NP.
    - 1.8.3.3: Seminar: Advanced Data Structures.
    - 1.8.3.4: Formale Grundlagen der Informatik.
    - 1.8.3.5: Algorithmen und Datenstrukturen.
    - 1.8.3.6: Algorithmen zur Sequenzanalyse.
    - 1.8.3.7: Einführung in die Bioinformatik.
    - 1.8.3.8: Quantum Computing.
    - 1.8.3.9: Höhere Algorithmik.
  - 1.8.4: SoSe 2010.
  - 1.8.5: WS 2009/2010.
  - 1.8.6: SoSe 2009.
  - 1.8.7: WS 2008/2009.
  - 1.8.8: SoSe 2008.
  - 1.8.9: WS 2007/2008.
2: Forschung.
3: TheorieTag.
4: Mitarbeiter.
5: Adresse.
6: Intern.
7: Impressum.

Formale Grundlagen der Informatik

Inhalt

Boolesche Funktionen und Schaltkreise, Binäre Relationen, Informations- und Codierungstheorie, Grammatiken und Automaten

Infos zur Vorlesung

Weitere Informationen zur Vorlesung gibt es im Rubikon-System.

Literatur

Vorlesungsskript (wird in der Vorlesung ausgeteilt)

Graphentheorie Ergänzung

Tutorien

Termin	Name	Raum
Mo. 10-12 Uhr	Katharina Krammer	O27/122
Mo. 10-12 Uhr	David Mödinger	O27/2201
Mo. 10-12 Uhr	Bernd Mertesz	O27/2202
Di. 12-14 Uhr	Lisa Adams	O27/2201
Di. 12-14 Uhr	Timo Beller	O27/2202
Di. 14-16 Uhr	Mirco Lüdeke	O27/2201
Mi. 10-12 Uhr	Thai Chung	O27/2201
Mi. 10-12 Uhr	Markus Brenner	O27/121
Mi. 16-18 Uhr	Urs Klingsporn	O27/2201

Die Einteilung der Tutorien sowie die jeweils aktuellen Übungsblätter gibt es im Rubikon-System.

Repetitorium: 10.-13.3 ab 9 Uhr im H20.

Dozent

Prof. Dr. Jacobo Torán

Vorlesungszeiten

Mo. 12-14 Uhr, H20
Do. 14-16 Uhr, H22
Beginn: 21.10.

Übungsleiter

Martin Bader,
Fabian Wagner

Weitere Informationen