051014 PUE Repetitorium Theoretische Informatik (2023W)
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 Mi 13.09.2023 09:00 bis Mi 20.09.2023 09:00
- Anmeldung von So 01.10.2023 19:00 bis Mo 02.10.2023 19:00
- Abmeldung bis Sa 14.10.2023 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
- Dienstag 10.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 17.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 24.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 31.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 14.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 21.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 28.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 05.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 12.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 09.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
- Dienstag 16.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
Gruppe 2
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 10.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 17.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 24.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 31.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 14.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 21.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 28.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 05.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 12.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 09.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 16.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
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.
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.
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.
Gruppe 3
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 10.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 17.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 24.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 31.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 14.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 21.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 28.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 05.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 12.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 09.01. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
- Dienstag 16.01. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
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.
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.
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.
Gruppe 4
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Dienstag 10.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 17.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 24.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 31.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 07.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 14.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 21.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 28.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 05.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 12.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 09.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
- Dienstag 16.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
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.
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.
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.
Information
Art der Leistungskontrolle und erlaubte Hilfsmittel
Es müssen Beispiele 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".
Mindestanforderungen und Beurteilungsmaßstab
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
- bei 3 Tafelmeldungen wird auch dreimalige Abwesenheit akzeptiert
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung in Form einer Präsentation eines Beispiels
- bei 3 Tafelmeldungen wird auch dreimalige Abwesenheit akzeptiert
Prüfungsstoff
Inhalt der VO Theoretische Informatik
Literatur
wird in VO Theoretische Informatik kapitelweise bekannt gegeben
Zuordnung im Vorlesungsverzeichnis
Module: THI UF-INF-08
Letzte Änderung: Di 14.11.2023 15:27
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.