Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice (e.g. cancellation of on-site teaching and conversion to online exams). Register for courses/exams via u:space, find out about the current status on u:find and on the moodle learning platform.

Further information about on-site teaching can be found at https://studieren.univie.ac.at/en/info.

050026 VO Theoretical Computer Science (2015S)

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Thursday 05.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Friday 13.03. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 19.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 26.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 16.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 23.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 30.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 07.05. 08:00 - 09:30 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 07.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 21.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 28.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 11.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Thursday 18.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG

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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

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: Mo 07.09.2020 15:29