Universität Wien

050123 VU Theoretical Computer Science 1 (2010S)

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

Details

max. 40 participants
Language: German

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 04.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 11.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 18.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 25.03. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 15.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 22.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 29.04. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 06.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 20.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 27.05. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 10.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 17.06. 08:45 - 12:00 (ehem. Seminarraum 10 Hauptgebäude, Tiefparterre Stiege 5 Hof 3)
  • Thursday 24.06. 08:45 - 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

- mind. 50% der möglichen Testpunkte
- Verbesserungen mit Tafelmeldungen
- Mitarbeit
- Anwesenheitspflicht

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

Hopcroft, Motwani, Ullman: Automata Theory, Languages, and Computation; Pearson International
Edition.
Gries: The Science of Programming; Springer, 1991, [Kapitel 5].
Asteroth, Baier: Theoretische Informatik; Pearson Studium, 2002.
Harel: Algorithmics. The Spirit of Computing. Addison-Wesley, 1987.
Tucker (Editor): Computer Science Handbook, Second Edition. Chapman & Hall, 2004.
Broy: Informatik, 1-4, Springer, 1995.
Bergmann, Noll: Mathematische Logik mit Informatik--Anwendungen. Heidelberger
Taschenbücher.

Association in the course directory

Last modified: Tu 01.10.2024 00:09