|
Seminar nominale Mengen und Automate (NomAut)5 ECTS (englische Bezeichnung: Nominal Sets and Automata (Seminar))
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Startsemester: |
SS 2019 | Dauer: |
1 Semester | Turnus: |
unregelmäßig |
Präsenzzeit: |
30 Std. | Eigenstudium: |
120 Std. | Sprache: |
Deutsch oder Englisch |
Lehrveranstaltungen:
Empfohlene Voraussetzungen:
Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:
Berechenbarkeit und Formale Sprachen (WS 2018/2019)
Theorie der Programmierung (SS 2018)
Inhalt:
- Mengen, Atome und Symmetrien
Nominale Mengen
Automaten über unendlichen Alphabeten und Datenalphabeten
Registerautomaten
Nominale Automaten
Nominale Ausdruckskalküle
Temporallogik mit Freeze-Quantoren
Lernziele und Kompetenzen:
- Fachkompetenz
- Wissen
- Die Studierenden geben grundlegende Definitionen und Resultate zu nominalen Mengen, Datensprachen und nominalen Automaten wieder.
- Verstehen
- Die Studierenden erläutern grundlegende algorithmische Verfahren für Nominale Automaten und analysieren Beispiele für nominale Mengen und Konstruktinen auf nominalen Mengen.
- Anwenden
- Die Studierenden teilen Automatenbegiriffe und Ausdruckskalküle hinsichtlich ihrer Komplexität und ihrer Ausdrucksstärke ein.
- Erschaffen
- Die Studierenden bereiten Resultate des Gebiets und ihre Herleitung eigenständig zur Präsentation auf.
- Lern- bzw. Methodenkompetenz
- Die Studierenden erarbeiten sich selbständig den Inhalt wissenschaftlicher Veröffentlichungen und geben diesen in einem strukturierten Vortrag verständlich wieder.
- Sozialkompetenz
- Die Studierenden arbeiten in einer größeren Gruppe an komplexen Problemen und erläutern eigene Einsichten den Mitstudierenden in verständlicher Form.
Literatur:
Automata theory in nominal sets. Logical Methods in Computer Science 10(3), 2014
M. Kaminski, N. Francez: Finite-Memory Automata. Theor. Comput. Sci. 134(2), 1994: 329-363
S. Demri, R. Lazic, and A. Sangnier. Model checking Freeze LTL over one-counter automata. In R. Amadio,
ed., Foundations of Software Science and Computational Structures, FOSSACS 2008, vol. 4962 of LNCS, pp.
490–504. Springer, 2008.
Nominal Automata with Name Binding. FoSSaCS 2017: 124-142
Weitere Informationen:
Schlüsselwörter: Nominale Mengen Automaten reguläre Ausdrücke Temporallogik
www: http://www8.informatik.uni-erlangen.de/SS19:semcolog
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Seminar | Seminar)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Seminar | Seminar)
- Informatik (Bachelor of Science)
(Po-Vers. 2007 | TechFak | Informatik (Bachelor of Science) | Seminar)
- Informatik (Bachelor of Science): 3-5. Semester
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Seminare, Praktika, Bachelorarbeit | Seminar)
- Informatik (Bachelor of Science): 3-5. Semester
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Hauptseminare, Praktika, Bachelorarbeit | Hauptseminar)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Hauptseminar, Projekt, Masterarbeit | Hauptseminar)
Studien-/Prüfungsleistungen:
Seminar nominale Mengen und Automaten (Prüfungsnummer: 685386)
(englischer Titel: Nominal Sets and Automata (Seminar))
- Prüfungsleistung, Seminarleistung, benotet, 5 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Prüfungsleistung besteht in einer Ausarbeitung und einem 90-minütigen erfolgreichen Vortrag.
- Prüfungssprache: Deutsch oder Englisch
- Erstablegung: SS 2019, 1. Wdh.: WS 2019/2020 (nur für Wiederholer)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|