051014 PUE Repetitorium Theoretische Informatik (2023S)
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 13.02.2023 09:00 bis Do 23.02.2023 09:00
- Abmeldung bis Di 14.03.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
Mittwoch
08.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
15.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
22.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
29.03.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
19.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
26.04.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
03.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
10.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
17.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
24.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
31.05.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Mittwoch
07.06.
09:45 - 11:15
Seminarraum 7, Währinger Straße 29 1.OG
Ziele, Inhalte und Methode der Lehrveranstaltung
Mindestanforderungen und Beurteilungsmaßstab
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
Gruppe 2
max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Mittwoch
08.03.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
15.03.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
22.03.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
29.03.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
19.04.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
26.04.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
03.05.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
10.05.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
17.05.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
24.05.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
31.05.
11:30 - 13:00
Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch
07.06.
11:30 - 13:00
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.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ätAnmerkung: Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen. Da auch ohne Besuch eines Repetitoriums ein ähnlicher Lernaufwand zum Bestehen der Vorlesungsprüfung besteht, sind die ECTS für die Vorlesung entsprechend erhöht und inkludieren Lernaufwand/Repetitorium.
- 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ätAnmerkung: Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen. Da auch ohne Besuch eines Repetitoriums ein ähnlicher Lernaufwand zum Bestehen der Vorlesungsprüfung besteht, sind die ECTS für die Vorlesung entsprechend erhöht und inkludieren Lernaufwand/Repetitorium.
Mindestanforderungen und Beurteilungsmaßstab
Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)
zu erreichen sind folgende:
- Anwesenheitspflicht, zweimalige Abwesenheit wird akzeptiert
- 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: Do 25.05.2023 12:07
gleichnamigen Vorlesung. Das Ziel des Repetitoriums besteht darin, die
in der Vorlesung vermittelten Inhalte anhand von vorgegebenen
Übungsaufgaben praktisch zu üben und umzusetzen.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ätAnmerkung: Der Besuch der Repetitorien ist nicht verpflichtend, wird aber nachdrücklich empfohlen. Da auch ohne Besuch eines Repetitoriums ein ähnlicher Lernaufwand zum Bestehen der Vorlesungsprüfung besteht, sind die ECTS für die Vorlesung entsprechend erhöht und inkludieren Lernaufwand/Repetitorium.