08.079.050 Formale Sprachen und Berechenbarkeit

Veranstaltungsdetails

Lehrende/r: Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid

Veranstaltungsart: Vorlesung/Übung

Anzeige im Stundenplan:

Semesterwochenstunden: 4

Credits: 6,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Voraussetzungen / Organisatorisches:
Vorlesung "Diskrete Mathematik"

Inhalt:


  • Mathematische Grundlagen
  • Formale Sprachen

    • Grammatiken
    • Regulaere Sprachen und endliche Automaten
    • Kontextfreie Sprachen und Kellerautomaten

  • Berechenbarkeit

Empfohlene Literatur:


  • Hoffmann: Theoretische Informatik
  • Asteroth/Baier: Theoretische Informatik
  • Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie

Zusätzliche Informationen:
Siehe https://reader.uni-mainz.de/WiSe2019-20/08-079-050-00/

Termine
Datum Von Bis Raum Lehrende/r
1 Mi, 16. Okt. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
2 Mi, 23. Okt. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
3 Mi, 30. Okt. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
4 Mi, 6. Nov. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
5 Mi, 13. Nov. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
6 Mi, 20. Nov. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
7 Mi, 27. Nov. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
8 Mi, 4. Dez. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
9 Mi, 11. Dez. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
10 Mi, 18. Dez. 2019 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
11 Mi, 8. Jan. 2020 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
12 Mi, 15. Jan. 2020 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
13 Mi, 22. Jan. 2020 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
14 Mi, 29. Jan. 2020 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
15 Mi, 5. Feb. 2020 10:00 12:00 03 428 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid
Veranstaltungseigene Prüfungen
Beschreibung Datum Lehrende/r Pflicht
1. Klausur Fr, 21. Feb. 2020 09:00-12:00 N.N. Ja
2. Klausur Fr, 31. Jul. 2020 09:00-12:00 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid Ja
3. Klausur Fr, 5. Mär. 2021 09:00-12:00 Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid Ja
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Lehrende/r
Univ.-Prof. Dr. Friederike Schmid
Dr. rer. nat. Markus Blumenstock