Warning! The directory is not yet complete and will be amended until the beginning of the term.
051014 PUE Theoretical Computer Science (2024W)
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 Fr 13.09.2024 09:00 to Fr 20.09.2024 09:00
- Registration is open from Su 29.09.2024 18:00 to Fr 04.10.2024 09:00
- Deregistration possible until Mo 14.10.2024 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
- N Tuesday 08.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 15.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 22.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 29.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 05.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 12.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 19.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 26.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 03.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 10.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 17.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 07.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Tuesday 14.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
Aims, contents and method of the course
Group 2
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 08.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 22.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 29.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 05.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 07.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
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
- 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
Group 3
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 08.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 15.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 22.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 29.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 05.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 12.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 19.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 26.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 03.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 10.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 17.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 07.01. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Tuesday 14.01. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
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.
- 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.
Group 4
max. 50 participants
Language: German
LMS: Moodle
Lecturers
Classes (iCal) - next class is marked with N
- N Tuesday 08.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 15.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 22.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 29.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 05.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 12.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 19.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 26.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 03.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 10.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 17.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 07.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Tuesday 14.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
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
- 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
Information
Assessment and permitted materials
Es müssen Beispiele an der Tafel präsentiert werden.
Bei Erreichen der Mindestanforderungen wird das Repetitorium als "mit Erfolg teilgenommen“ bewertet, anderenfalls "ohne Erfolg teilgenommen".
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:
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung in Form einer Präsentation eines Beispiels an der Tafel
- bei 3 Tafelmeldungen wird auch dreimalige Abwesenheit akzeptiert
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung in Form einer Präsentation eines Beispiels an der Tafel
- bei 3 Tafelmeldungen wird auch dreimalige Abwesenheit akzeptiert
Examination topics
Inhalt der VO Theoretische Informatik
Reading list
wird in VO Theoretische Informatik kapitelweise bekannt gegeben
Association in the course directory
Module: THI UF-INF-08
Last modified: Tu 17.09.2024 15:05
- 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