051014 PUE Theoretical Computer Science (2020S)
Continuous assessment of course work
Labels
Summary
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 is open from Mo 10.02.2020 09:00 to Th 20.02.2020 09:00
- Deregistration possible until Th 30.04.2020 23:59
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 11.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 18.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 25.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 01.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 22.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 29.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 06.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 13.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 20.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 27.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 03.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 10.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 17.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Wednesday 24.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Assessment and permitted materials
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.
Group 3
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- Tuesday 10.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 17.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 24.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 31.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 21.04. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 28.04. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 05.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 12.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 19.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 26.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 09.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 16.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 23.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 30.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
Assessment and permitted materials
Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht. Beim Erreichen der Mindestanforderungen wird das Repetitorium als "mit Erfolg teilgenommen" bewertet.
Information
Aims, contents and method of the course
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
- 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
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;
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 07.09.2020 15:20
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;