Universität Wien FIND

Bedingt durch die COVID-19-Pandemie können kurzfristige Änderungen bei Lehrveranstaltungen und Prüfungen (z.B. Absage von Vor-Ort-Lehre und Umstellung auf Online-Prüfungen) erforderlich sein. Melden Sie sich für Lehrveranstaltungen/Prüfungen über u:space an, informieren Sie sich über den aktuellen Stand auf u:find und auf der Lernplattform moodle. ACHTUNG: Lehrveranstaltungen, bei denen zumindest eine Einheit vor Ort stattfindet, werden in u:find momentan mit "vor Ort" gekennzeichnet.

Regelungen zum Lehrbetrieb vor Ort inkl. Eintrittstests finden Sie unter https://studieren.univie.ac.at/info.

Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

050026 VO Theoretische Informatik (2015S)

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

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

Donnerstag 05.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 13.03. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 19.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 26.03. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 16.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 23.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 30.04. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 07.05. 08:00 - 09:30 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 07.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 21.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 28.05. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 11.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag 18.06. 09:45 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG

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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.

Art der Leistungskontrolle und erlaubte Hilfsmittel

VO-Prüfung

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Literatur


Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Mo 07.09.2020 15:29