Universität Wien

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: Fr 12.05.2023 00:13