Universität Wien

050027 UE Theoretische Informatik (2011S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Prüfungsimmanente Lehrveranstaltung

Zusammenfassung

1 Brezany
2 Brezany
3 Brezany
4 Brezany
5 Wimmer
6 Wimmer
7 Wimmer
8 Brezany

An/Abmeldung

Gruppen

Gruppe 1

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 09.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 16.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 23.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 30.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 06.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 13.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 04.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 11.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 18.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 25.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 01.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 08.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 15.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 22.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 29.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV)

Gruppe 2

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 09.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 16.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 23.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 30.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 06.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 13.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 04.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 11.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 18.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 25.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 01.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 08.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 15.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 22.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Mittwoch 29.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

Gruppe 3

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Donnerstag 10.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 17.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 24.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 31.03. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 07.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 14.04. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 05.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 12.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 19.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 26.05. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 09.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 16.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 30.06. 09:00 - 10:30 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

Gruppe 4

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Donnerstag 10.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 17.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 24.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 31.03. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 07.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 14.04. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 05.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 12.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 19.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 26.05. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 09.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 16.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 30.06. 10:30 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Art der Leistungskontrolle und erlaubte Hilfsmittel

Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

Gruppe 5

Inhalte: 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.
Methoden: Ausarbeitung von praktischen Beispielen.
Ziele: Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.
Art der Leistungskontrolle: Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 09.03. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 16.03. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 23.03. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 30.03. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 06.04. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 13.04. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 04.05. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 11.05. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 18.05. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 25.05. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 01.06. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 08.06. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 15.06. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 22.06. 16:00 - 17:30 Besprechungsraum
  • Mittwoch 29.06. 16:00 - 17:30 Besprechungsraum

Gruppe 6

Inhalte: 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.
Methoden: Ausarbeitung von praktischen Beispielen.
Ziele: Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.
Art der Leistungskontrolle: Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Mittwoch 09.03. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 16.03. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 23.03. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 30.03. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 06.04. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 13.04. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 04.05. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 11.05. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 18.05. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 25.05. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 01.06. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 08.06. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 15.06. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 22.06. 17:30 - 19:00 Besprechungsraum
  • Mittwoch 29.06. 17:30 - 19:00 Besprechungsraum

Gruppe 7

Inhalte: 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.
Methoden: Ausarbeitung von praktischen Beispielen.
Ziele: Die Übung ist begleitend zur gleichnamigen Vorlesung. Das Verständnis soll durch praktische Problemlösungen erhöht werden.
Art der Leistungskontrolle: Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Donnerstag 10.03. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 17.03. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 24.03. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 31.03. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 07.04. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 14.04. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 05.05. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 12.05. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 19.05. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 26.05. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 09.06. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 16.06. 16:00 - 17:30 Besprechungsraum
  • Donnerstag 30.06. 16:00 - 17:30 Besprechungsraum

Gruppe 8

max. 25 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Donnerstag 10.03. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 17.03. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 24.03. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 31.03. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 07.04. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 14.04. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 05.05. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 12.05. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 19.05. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 26.05. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 09.06. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 16.06. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3
  • Donnerstag 30.06. 13:30 - 15:00 Hörsaal 2 Hauptgebäude, Tiefparterre Stiege 5 Hof 3

Art der Leistungskontrolle und erlaubte Hilfsmittel

Anwesenheitspflicht, Ausarbeitung von Beispielen, Präsentationen (Details siehe Webseite der LV).

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Ausarbeitung von praktischen Beispielen.

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Fr 11.10.2024 00:08