Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

050123 VU Theoretical Computer Science 1 (2008S)

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

Details

max. 50 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

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

Information

Aims, contents and method of the course

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.

Assessment and permitted materials

Minimum requirements and assessment criteria

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

Examination topics

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

Reading list

Association in the course directory

Last modified: Tu 01.10.2024 00:09