Universität Wien

050026 VO Theoretical Computer Science (2012S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Moodle

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Friday 02.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
  • Friday 09.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
  • Friday 16.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
  • Friday 23.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
  • Friday 30.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
  • Friday 20.04. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 27.04. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 04.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 11.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 18.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 25.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 01.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 08.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 15.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 22.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
  • Friday 29.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)

Information

Aims, contents and method of the course

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation.

Assessment and permitted materials

VO-Prüfung

Minimum requirements and assessment criteria

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.

Examination topics

Reading list

Association in the course directory

Last modified: Fr 15.10.2021 00:15