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

050026 VO Theoretical Computer Science (2016S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik
Moodle

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

  • Thursday 03.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 10.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 17.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 07.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 14.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 21.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 28.04. 08:00 - 09:30 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 28.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 28.04. 11:30 - 13:00 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 12.05. 08:00 - 09:30 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 12.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 19.05. 08:00 - 09:30 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 19.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 02.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 09.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 09.06. 16:45 - 18:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 16.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 23.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
  • Thursday 30.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG

Information

Aims, contents and method of the course

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.
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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Assessment and permitted materials

Schriftliche VO-Prüfung (ohne Hilfsmittel)

Minimum requirements and assessment criteria

Um die LVA positiv zu absolvieren müssen mindestens 50% der Punkte bei der VO-Prüfung erreicht werden.
Es wird sowohl das Wissen um die LVA-Inhalte (durch offene/geschlossene Fragen) als auch die Fähigkeit die behandelten Konzepte/Techniken anzuwenden (durch entsprechende Aufgaben) überprüft.

Examination topics

Der Prüfungsstoff umfasst alle in der Vorlesung behandelten Inhalte, insbesondere die in der Lernplattform bereitgestellten Unterlagen.

Reading list

Association in the course directory

Last modified: Mo 07.09.2020 15:29