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 and access tests can be found at https://studieren.univie.ac.at/en/info.

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

051014 PUE Theoretical Computer Science (2021S)

Continuous assessment of course work

Summary

1 Mehofer , Moodle
2 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

Für Nachmeldungen außerhalb der Anmeldefrist wenden sie sich bitte an Lehrveranstaltungsleiter Alexander Noe <alexander.noe@univie.ac.at>.

Wednesday 10.03. 09:45 - 11:15 Digital
Wednesday 17.03. 09:45 - 11:15 Digital
Wednesday 24.03. 09:45 - 11:15 Digital
Wednesday 14.04. 09:45 - 11:15 Digital
Wednesday 21.04. 09:45 - 11:15 Digital
Wednesday 28.04. 09:45 - 11:15 Digital
Wednesday 05.05. 09:45 - 11:15 Digital
Wednesday 12.05. 09:45 - 11:15 Digital
Wednesday 19.05. 09:45 - 11:15 Digital
Wednesday 26.05. 09:45 - 11:15 Digital
Wednesday 02.06. 09:45 - 11:15 Digital
Wednesday 09.06. 09:45 - 11:15 Digital
Wednesday 16.06. 09:45 - 11:15 Digital
Wednesday 23.06. 09:45 - 11:15 Digital
Wednesday 30.06. 09:45 - 11:15 Digital

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.
Der Besuch der Repetitorien ist nicht verpflichtend, 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;

Minimum requirements and assessment criteria

Die Mindestanforderungen um eine Beurteilung "Mit Erfolg teilgenommen" zu erreichen werden aufgrund von Distance Learning (Coronavirus) wie folgt abgeändert:
- eine Anwesenheit wird nicht mehr kontrolliert
- eine Mitarbeitsleistung ist wie folgt definiert: ein Beispiel ihrer Wahl ungleich THI Übungsaufgaben aus den Bereichen Resolution Aussagenlogik / Prädikatenlogik oder Konstruktion kontextfreie Grammatik / endlicher Automat / Kellerautomat / Turingmaschine muss in Moodle mitsamt einer passenden Lösung hochgeladen werden

Group 2

max. 50 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

Für Nachmeldungen außerhalb der Anmeldefrist wenden sie sich bitte an Lehrveranstaltungsleiter Alexander Noe <alexander.noe@univie.ac.at>.

Wednesday 10.03. 11:30 - 13:00 Digital
Wednesday 17.03. 11:30 - 13:00 Digital
Wednesday 24.03. 11:30 - 13:00 Digital
Wednesday 14.04. 11:30 - 13:00 Digital
Wednesday 21.04. 11:30 - 13:00 Digital
Wednesday 28.04. 11:30 - 13:00 Digital
Wednesday 05.05. 11:30 - 13:00 Digital
Wednesday 12.05. 11:30 - 13:00 Digital
Wednesday 19.05. 11:30 - 13:00 Digital
Wednesday 26.05. 11:30 - 13:00 Digital
Wednesday 02.06. 11:30 - 13:00 Digital
Wednesday 09.06. 11:30 - 13:00 Digital
Wednesday 16.06. 11:30 - 13:00 Digital
Wednesday 23.06. 11:30 - 13:00 Digital
Wednesday 30.06. 11:30 - 13:00 Digital

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.
Der Besuch der Repetitorien ist nicht verpflichtend, 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;

Minimum requirements and assessment criteria

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Information

Assessment and permitted materials

Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.

Examination topics

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;

Reading list


Association in the course directory

Module: THI UF-INF-08

Last modified: Mo 08.03.2021 11:28