Universität Wien

051014 PUE Repetitorium Theoretische Informatik (2022W)

Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Mehofer , Moodle
2 Mehofer , Moodle
3 Mehofer , Moodle
4 Mehofer , Moodle
5 Knoll , Moodle

An/Abmeldung

Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
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 11.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 18.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 25.10. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 08.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 15.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 22.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 29.11. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 06.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 13.12. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 10.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Dienstag 17.01. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.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.

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".

Gruppe 2

max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Dienstag 11.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 18.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 25.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 08.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 15.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 22.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 29.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 06.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 13.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 10.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 17.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.

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".

Gruppe 3

max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Dienstag 11.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 18.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 25.10. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 08.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 15.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 22.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 29.11. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 06.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 13.12. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 10.01. 16:45 - 18:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Dienstag 17.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.

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".

Gruppe 4

max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Dienstag 11.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 18.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 25.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 08.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 15.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 22.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 29.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 06.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 13.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 10.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 17.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.

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".

Gruppe 5

max. 50 Teilnehmer*innen
Sprache: Deutsch
Lernplattform: Moodle

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Dienstag 11.10. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 18.10. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 25.10. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 08.11. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 15.11. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 22.11. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 29.11. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 06.12. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 13.12. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 10.01. 08:00 - 09:30 Hörsaal 2, Währinger Straße 29 2.OG
  • Dienstag 17.01. 08:00 - 09: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 Stoffder Vorlesung wiederholt und vertieft.- Kleingruppen: Möglichkeit, in kleineren Gruppen gezielte Fragen zuBeispielen oder Themengebieten zu stellen.- Prüfungsvorbereitung: Die in den Repetitorien behandelten Beispielesind vom selben Typ wie die praktischen Aufgaben die bei der Prüfunggestellt werden.Inhalte des Moduls Theoretische Informatik:Einführung in die Formale Logik; Aussagenlogik; Prädikatenlogik;Logische Programmierung; kontextfreie Sprachen und Grammatiken; reguläreSprachen und endliche Automaten; Kellerautomaten; Turing Maschinen;Berechenbarkeit und Entscheidbarkeit; Komplexität.

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".

Information

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

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 17.01.2023 11:09