Universität Wien

050027 UE Theoretical Computer Science (2014S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Continuous assessment of course work

Summary

1 Benavente-Fokina , Moodle
2 Dvorak , Moodle
3 Moritsch , Moodle
4 Moritsch , Moodle
5 Dvorak , Moodle
6 Benavente-Fokina , Moodle
7 Mehofer , Moodle
8 Dvorak , Moodle

Registration/Deregistration

Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Registration information is available for each group.

Groups

Group 1

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 13:15 - 14:45 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 2

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 11:30 - 13:00 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 3

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 08:00 - 09:30 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 4

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 19.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 26.03. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 02.04. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 09.04. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 30.04. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 07.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 14.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 21.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 28.05. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 04.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 11.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 18.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG
  • Wednesday 25.06. 11:30 - 13:00 Hörsaal 3, Währinger Straße 29 3.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 5

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 19.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 26.03. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 02.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 09.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 30.04. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 07.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 14.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 21.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 28.05. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 04.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 11.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 18.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG
  • Wednesday 25.06. 09:45 - 11:15 Seminarraum 7, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 6

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 15:00 - 16:30 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 7

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 16:45 - 18:15 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Group 8

max. 25 participants
Language: German
LMS: Moodle

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 05.03. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 19.03. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 26.03. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 02.04. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 09.04. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 30.04. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 07.05. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 14.05. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 21.05. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 28.05. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 04.06. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 11.06. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 18.06. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG
  • Wednesday 25.06. 18:30 - 20:00 Seminarraum 6, Währinger Straße 29 1.OG

Aims, contents and method of the course

kontextfreie Sprachen und Grammatiken; reguläre Sprachen und endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Die Übung ist eine prüfungsimmanente Lehrveranstaltung mit Anwesenheitspflicht. Die Benotung ergibt sich aus dem Prozentsatz der angekreuzten Beispiele sowie der Präsentation von Lösungen an der Tafel, wobei Mitarbeit mitgewertet wird. Für Details siehe Nachrichtenforum der VO Moodle Seite.

Examination topics

Ausarbeitung von praktischen Beispielen.

Information

Minimum requirements and assessment criteria

Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.

Reading list

Association in the course directory

Last modified: Sa 02.09.2023 00:13