703604 PS Formale Sprachen und Automatentheorie

Wintersemester 2018/2019 | Stand: 16.10.2018 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
Dr. Vincent van Oostrom

LV-Nummer:

703604

Titel:

PS Formale Sprachen und Automatentheorie

Typ/Stunden:

PS 1

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für formale Sprachen und die Methoden der Automatentheorie erlangt haben.

Inhalt:

endliche Automaten; reguläre Ausdrücke; kontextfreie Grammatiken; Kellerautomaten; Turing-Maschinen; Unentscheidbarkeit

Methoden:

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Prüfungsmodus:

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Literatur:

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Link:

http://cl-informatik.uibk.ac.at/teaching/ws18/flat

Beginn:

siehe Termine

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)

1. und 2. Semester

Pflichtmodul 2: Formale Sprachen und Automatentheorie (5 ECTS-AP, 3 SSt.)

Termine

Gruppe 1	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Kaliszyk C.
Datum	Uhrzeit	Ort
Di 09.10.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 16.10.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 23.10.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 30.10.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 06.11.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 13.11.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 20.11.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 27.11.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 04.12.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 11.12.2018	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 08.01.2019	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 15.01.2019	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 22.01.2019	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Di 29.01.2019	09.15 - 10.00	SR 13 SR 13	Barrierefrei
Gruppe 2	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
van Oostrom V.
Datum	Uhrzeit	Ort
Di 09.10.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 16.10.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 23.10.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 30.10.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 06.11.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 13.11.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 20.11.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 27.11.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 04.12.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 11.12.2018	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 08.01.2019	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 15.01.2019	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 22.01.2019	08.15 - 09.00	SR 13 SR 13	Barrierefrei
Di 29.01.2019	08.15 - 09.00	SR 13 SR 13	Barrierefrei