Universität Wien FIND

051014 PUE Theoretical Computer Science (2019W)

Continuous assessment of course work

Summary

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

Registration/Deregistration

Registration information is available for each group.

Groups

Group 1

max. 50 participants
Language: German

Registration/Deregistration

  • Registration is open from Sa 07.09.2019 09:00 to Mo 23.09.2019 09:00
  • Registration is open from Su 29.09.2019 18:00 to Mo 30.09.2019 18:00
  • Deregistration possible until Mo 14.10.2019 23:59

Lecturers

Classes (iCal) - next class is marked with N

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

Assessment and permitted materials

Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim 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:
- Anwesenheit in mindestens 75 % der Übungseinheiten
- eine Mitarbeitsleistung (z.B. eine Tafelmeldung)

Group 2

max. 50 participants
Language: German
LMS: Moodle

Registration/Deregistration

  • Registration is open from Sa 07.09.2019 09:00 to Mo 23.09.2019 09:00
  • Registration is open from Su 29.09.2019 18:00 to Mo 30.09.2019 18:00
  • Deregistration possible until Mo 14.10.2019 23:59

Lecturers

Classes (iCal) - next class is marked with 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 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
Tuesday 21.01. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
Tuesday 28.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.
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.

Assessment and permitted materials

Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.

Minimum requirements and assessment criteria

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

Group 3

max. 50 participants
Language: German
LMS: Moodle

Registration/Deregistration

  • Registration is open from Sa 07.09.2019 09:00 to Mo 23.09.2019 09:00
  • Registration is open from Su 29.09.2019 18:00 to Mo 30.09.2019 18:00
  • Deregistration possible until Mo 14.10.2019 23:59

Lecturers

Classes (iCal) - next class is marked with N

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

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.

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;

Assessment and permitted materials

Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim Erreichen der Mindestanforderungen wird das Repetitorium als
„mit Erfolg teilgenommen“ bewertet.

Minimum requirements and assessment criteria

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

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

Group 4

max. 50 participants
Language: German
LMS: Moodle

Registration/Deregistration

  • Registration is open from Sa 07.09.2019 09:00 to Mo 23.09.2019 09:00
  • Registration is open from Su 29.09.2019 18:00 to Mo 30.09.2019 18:00
  • Deregistration possible until Mo 14.10.2019 23:59

Lecturers

Classes (iCal) - next class is marked with 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 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
Tuesday 21.01. 15:00 - 16:30 Hörsaal 2, Währinger Straße 29 2.OG
Tuesday 28.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.

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;

Assessment and permitted materials

Das Repetitorium ist eine Lehrveranstaltung mit Anwesenheitspflicht.
Beim 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:

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

Information

Examination topics

Inhalt der entsprechenden Vorlesung

Reading list


Association in the course directory

Module: THI UF-INF-08

Last modified: Th 10.10.2019 11:48