Universität Wien

250074 VO Einführung in die Theoretische Informatik (2015W)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

See: http://www.logic.univie.ac.at/Teaching.html
The course will be in SR of the Josephinum building, Währinger Str. 25, right part of the building,
2 nd floor, room no. 101.

Details

Sprache: Englisch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Dienstag 06.10. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 13.10. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 20.10. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 27.10. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 03.11. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 10.11. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 17.11. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 24.11. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 01.12. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 15.12. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 12.01. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 19.01. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 26.01. 15:30 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The course offers an introduction to computational complexity theory.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Oral examination

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

Zuordnung im Vorlesungsverzeichnis

MLOI

Letzte Änderung: Fr 18.11.2022 00:23