703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2017/2018 | Stand: 27.02.2018 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

LV-Nummer:

703603

Titel:

VO Formale Sprachen und Automatentheorie

Typ/Stunden:

VO 2

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:

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

Prüfungsmodus:

schriftliche Prüfung

Literatur:

Dexter Kozen, Automata and Computability, Springer-Verlag, 1997, ISBN 0-387-94907-0

Voraussetzungen:

keine

Link:

http://cl-informatik.uibk.ac.at/teaching/ws17/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 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 02.10.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 09.10.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 16.10.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 23.10.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 30.10.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 06.11.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 13.11.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 20.11.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 27.11.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 04.12.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 11.12.2017	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 08.01.2018	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 15.01.2018	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 22.01.2018	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 29.01.2018	08.15 - 10.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mi 28.02.2018	09.00 - 12.00	HS F (Technik) HS F (Technik)	Barrierefrei	2nd exam
Do 27.09.2018	08.30 - 12.30	HSB 3 HSB 3	Barrierefrei	3rd exam