Universität Wien FIND

051014 PUE Repetitorium Theoretische Informatik (2019W)

Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Schmid; Mi 11.12. 11:30-13:00 Hörsaal 2, Währinger Straße 29 2.OG
2 Mehofer, Moodle; Di 10.12. 09:45-11:15 Seminarraum 7, Währinger Straße 29 1.OG
3 Mehofer, Moodle; Di 10.12. 16:45-18:15 Seminarraum 4, Währinger Straße 29 1.UG
4 Mehofer, Moodle; Di 10.12. 15:00-16:30 Hörsaal 2, Währinger Straße 29 2.OG

An/Abmeldung

An/Abmeldeinformationen sind bei der jeweiligen Gruppe verfügbar.

Gruppen

Gruppe 1

max. 50 Teilnehmer*innen
Sprache: Deutsch

Lehrende

An/Abmeldung

  • Anmeldung von Sa 07.09.2019 09:00 bis Mo 23.09.2019 09:00
  • Anmeldung von So 29.09.2019 18:00 bis Mo 30.09.2019 18:00
  • Abmeldung bis Mo 14.10.2019 23:59

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

Mittwoch 09.10. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 16.10. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 23.10. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 30.10. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 06.11. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 13.11. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 20.11. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 27.11. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 04.12. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 08.01. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 15.01. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 22.01. 11:30 - 13:00 Hörsaal 2, Währinger Straße 29 2.OG
Mittwoch 29.01. 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.
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.

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, anderenfalls "ohne Erfolg teilgenommen".

Mindestanforderungen und Beurteilungsmaßstab

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Gruppe 2

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

Lehrende

An/Abmeldung

  • Anmeldung von Sa 07.09.2019 09:00 bis Mo 23.09.2019 09:00
  • Anmeldung von So 29.09.2019 18:00 bis Mo 30.09.2019 18:00
  • Abmeldung bis Mo 14.10.2019 23:59

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

Dienstag 08.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 15.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 22.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 29.10. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 05.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 12.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 19.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 26.11. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 03.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 17.12. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 07.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 14.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 21.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Dienstag 28.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.
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.

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.

Mindestanforderungen und Beurteilungsmaßstab

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Gruppe 3

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

Lehrende

An/Abmeldung

  • Anmeldung von Sa 07.09.2019 09:00 bis Mo 23.09.2019 09:00
  • Anmeldung von So 29.09.2019 18:00 bis Mo 30.09.2019 18:00
  • Abmeldung bis Mo 14.10.2019 23:59

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

Dienstag 08.10. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 15.10. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 22.10. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 29.10. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 05.11. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 12.11. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 19.11. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 26.11. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 03.12. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 17.12. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 07.01. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 14.01. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 21.01. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG
Dienstag 28.01. 16:45 - 18:15 Seminarraum 4, Währinger Straße 29 1.UG

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.

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;

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.

Mindestanforderungen und Beurteilungsmaßstab

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“
zu erreichen sind folgende:

- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Gruppe 4

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

Lehrende

An/Abmeldung

  • Anmeldung von Sa 07.09.2019 09:00 bis Mo 23.09.2019 09:00
  • Anmeldung von So 29.09.2019 18:00 bis Mo 30.09.2019 18:00
  • Abmeldung bis Mo 14.10.2019 23:59

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

Dienstag 08.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 15.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 22.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 29.10. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 05.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 12.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 19.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 26.11. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 03.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 17.12. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 07.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 14.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 21.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Dienstag 28.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.

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;

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, anderenfalls "ohne Erfolg teilgenommen".

Mindestanforderungen und Beurteilungsmaßstab

Die Mindestanforderungen um eine Beurteilung „mit Erfolg teilgenommen“ zu erreichen sind folgende:

- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Information

Prüfungsstoff

Inhalt der entsprechenden Vorlesung

Literatur


Zuordnung im Vorlesungsverzeichnis

Module: THI UF-INF-08

Letzte Änderung: Do 10.10.2019 11:48