Universität Wien FIND

Get vaccinated to work and study safely together in autumn.

To enable a smooth and safe start into the semester for all members of the University of Vienna, you can get vaccinated without prior appointment on the Campus of the University of Vienna from Saturday, 18 September, until Monday, 20 September. More information: https://www.univie.ac.at/en/about-us/further-information/coronavirus/.

Warning! The directory is not yet complete and will be amended until the beginning of the term.

051014 PUE Theoretical Computer Science (2020W)

Continuous assessment of course work

Summary

1 Mehofer , Moodle
3 Mehofer , Moodle
4 Mehofer , Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Wednesday 14.10. 11:30 - 13:00 Digital
Wednesday 21.10. 11:30 - 13:00 Digital
Wednesday 28.10. 11:30 - 13:00 Digital
Wednesday 04.11. 11:30 - 13:00 Digital
Wednesday 11.11. 11:30 - 13:00 Digital
Wednesday 18.11. 11:30 - 13:00 Digital
Wednesday 25.11. 11:30 - 13:00 Digital
Wednesday 02.12. 11:30 - 13:00 Digital
Wednesday 09.12. 11:30 - 13:00 Digital
Wednesday 16.12. 11:30 - 13:00 Digital
Wednesday 13.01. 11:30 - 13:00 Digital
Wednesday 20.01. 11:30 - 13:00 Digital
Wednesday 27.01. 11:30 - 13:00 Digital

Group 2

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 13.10. 09:45 - 11:15 Digital
Tuesday 20.10. 09:45 - 11:15 Digital
Tuesday 27.10. 09:45 - 11:15 Digital
Tuesday 03.11. 09:45 - 11:15 Digital
Tuesday 10.11. 09:45 - 11:15 Digital
Tuesday 17.11. 09:45 - 11:15 Digital
Tuesday 24.11. 09:45 - 11:15 Digital
Tuesday 01.12. 09:45 - 11:15 Digital
Tuesday 15.12. 09:45 - 11:15 Digital
Tuesday 12.01. 09:45 - 11:15 Digital
Tuesday 19.01. 09:45 - 11:15 Digital
Tuesday 26.01. 09:45 - 11:15 Digital

Group 3

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 13.10. 16:45 - 18:15 Digital
Tuesday 20.10. 16:45 - 18:15 Digital
Tuesday 27.10. 16:45 - 18:15 Digital
Tuesday 03.11. 16:45 - 18:15 Digital
Tuesday 10.11. 16:45 - 18:15 Digital
Tuesday 17.11. 16:45 - 18:15 Digital
Tuesday 24.11. 16:45 - 18:15 Digital
Tuesday 01.12. 16:45 - 18:15 Digital
Tuesday 15.12. 16:45 - 18:15 Digital
Tuesday 12.01. 16:45 - 18:15 Digital
Tuesday 19.01. 16:45 - 18:15 Digital
Tuesday 26.01. 16:45 - 18:15 Digital

Group 4

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Tuesday 13.10. 15:00 - 16:30 Digital
Tuesday 20.10. 15:00 - 16:30 Digital
Tuesday 27.10. 15:00 - 16:30 Digital
Tuesday 03.11. 15:00 - 16:30 Digital
Tuesday 10.11. 15:00 - 16:30 Digital
Tuesday 17.11. 15:00 - 16:30 Digital
Tuesday 24.11. 15:00 - 16:30 Digital
Tuesday 01.12. 15:00 - 16:30 Digital
Tuesday 15.12. 15:00 - 16:30 Digital
Tuesday 12.01. 15:00 - 16:30 Digital
Tuesday 19.01. 15:00 - 16:30 Digital
Tuesday 26.01. 15:00 - 16:30 Digital

Information

Aims, contents and method of the course

Das Repetitorium Theoretische Informatik ist begleitend zur gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die in der Vorlesung vermittelten Inhalte anhand von vorgegebenen Übungsaufgaben praktisch zu üben und umzusetzen.
Das Repetitorium ist nicht Teil des Curriculums, ein Besuch wird aber nachdrücklich empfohlen.
Folgende Vorteile ergeben sich unter anderem durch den Besuch der Repetitorien:
- Stoffwiederholung: Anhand von praktischen Beispielen wird der Stoff
der Vorlesung wiederholt und vertieft.
- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zu
Beispielen oder Themengebieten zu stellen.
- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispiele
sind vom selben Typ wie die praktischen Aufgaben die bei der Prüfung
gestellt werden.
Inhalte des Moduls Theoretische Informatik:
Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität.

Assessment and permitted materials

Es müssen Beispiele präsentiert werden.
Bei Erreichen der Mindestanforderungen wird das Repetitorium als
"mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".

Minimum requirements and assessment criteria

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- eine Mitarbeitsleistung in Form einer Präsentation eines Beispiels

Examination topics

Inhalt der entsprechenden Vorlesung

Reading list


Association in the course directory

Module: THI UF-INF-08

Last modified: Mo 05.10.2020 10:08