051014 PUE Repetitorium Theoretische Informatik (2021S)
Prüfungsimmanente Lehrveranstaltung
Labels
Zusammenfassung
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
- Anmeldung von Mo 15.02.2021 09:00 bis Mo 22.02.2021 09:00
- Abmeldung bis So 14.03.2021 23:59
An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.
Gruppen
Gruppe 1
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Für Nachmeldungen außerhalb der Anmeldefrist wenden sie sich bitte an Lehrveranstaltungsleiter Alexander Noe <alexander.noe@univie.ac.at>.
Mittwoch
10.03.
09:45 - 11:15
Digital
Mittwoch
17.03.
09:45 - 11:15
Digital
Mittwoch
24.03.
09:45 - 11:15
Digital
Mittwoch
14.04.
09:45 - 11:15
Digital
Mittwoch
21.04.
09:45 - 11:15
Digital
Mittwoch
28.04.
09:45 - 11:15
Digital
Mittwoch
05.05.
09:45 - 11:15
Digital
Mittwoch
12.05.
09:45 - 11:15
Digital
Mittwoch
19.05.
09:45 - 11:15
Digital
Mittwoch
26.05.
09:45 - 11:15
Digital
Mittwoch
02.06.
09:45 - 11:15
Digital
Mittwoch
09.06.
09:45 - 11:15
Digital
Mittwoch
16.06.
09:45 - 11:15
Digital
Mittwoch
23.06.
09:45 - 11:15
Digital
Mittwoch
30.06.
09:45 - 11:15
Digital
Ziele, Inhalte und Methode der Lehrveranstaltung
Mindestanforderungen und Beurteilungsmaßstab
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
- 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
Gruppe 2
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Für Nachmeldungen außerhalb der Anmeldefrist wenden sie sich bitte an Lehrveranstaltungsleiter Alexander Noe <alexander.noe@univie.ac.at>.
Mittwoch
10.03.
11:30 - 13:00
Digital
Mittwoch
17.03.
11:30 - 13:00
Digital
Mittwoch
24.03.
11:30 - 13:00
Digital
Mittwoch
14.04.
11:30 - 13:00
Digital
Mittwoch
21.04.
11:30 - 13:00
Digital
Mittwoch
28.04.
11:30 - 13:00
Digital
Mittwoch
05.05.
11:30 - 13:00
Digital
Mittwoch
12.05.
11:30 - 13:00
Digital
Mittwoch
19.05.
11:30 - 13:00
Digital
Mittwoch
26.05.
11:30 - 13:00
Digital
Mittwoch
02.06.
11:30 - 13:00
Digital
Mittwoch
09.06.
11:30 - 13:00
Digital
Mittwoch
16.06.
11:30 - 13:00
Digital
Mittwoch
23.06.
11:30 - 13:00
Digital
Mittwoch
30.06.
11:30 - 13:00
Digital
Ziele, Inhalte und Methode der Lehrveranstaltung
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;
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;
Mindestanforderungen und Beurteilungsmaßstab
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Information
Art der Leistungskontrolle und erlaubte Hilfsmittel
Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.
Prüfungsstoff
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;
Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläre
Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;
Berechenbarkeit und Entscheidbarkeit; Komplexität;
Literatur
Zuordnung im Vorlesungsverzeichnis
Module: THI UF-INF-08
Letzte Änderung: Fr 12.05.2023 00:13
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;