Universität Wien

050123 VU Theoretische Informatik 1 (2008S)

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

Details

max. 50 Teilnehmer*innen
Sprache: Deutsch

Lehrende

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

  • Donnerstag 06.03. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 13.03. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 20.03. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 27.03. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 03.04. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 10.04. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 17.04. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 24.04. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 08.05. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 15.05. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 29.05. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 05.06. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 12.06. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 19.06. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Donnerstag 26.06. 09:00 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; PERL; grep; Turing Maschinen; Elemente der formalen Logik; PROLOG; Semantik und Grundelemente der formalen Verifikation.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.

Prüfungsstoff

Jede Vorlesung wird auch einen praktischen Teil beinhalten wo Beispiele bearbeitet werden.

Literatur

Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Di 01.10.2024 00:09