Lehrveranstaltungen

im Wintersemester 2019/20

 

Formale Sprachen und Berechenbarkeit

Markus Blumenstock; Univ.-Prof. Dr. Friederike Schmid

Kursnummer: 08.079.050

Zusätzliche Informationen

Siehe [url]https://reader.uni-mainz.de/WiSe2019-20/08-079-050-00/[/url]

Inhalt


  1. Mathematische Grundlagen
  2. Formale Sprachen
    [list]
  3. Grammatiken
  4. Regulaere Sprachen und endliche Automaten
  5. Kontextfreie Sprachen und Kellerautomaten

  • Berechenbarkeit
    [/list]

    Voraussetzungen / Organisatorisches

    Vorlesung "Diskrete Mathematik"

    Empfohlene Literatur


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

    Termine:

    Datum (Wochentag)UhrzeitOrt
    16.10.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    23.10.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    30.10.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    06.11.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    13.11.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    20.11.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    27.11.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    04.12.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    11.12.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    18.12.2019 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    08.01.2020 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    15.01.2020 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    22.01.2020 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    29.01.2020 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik
    05.02.2020 (Mittwoch)10.00 - 12.00 Uhr03 428
    2413 - Neubau Physik/Mathematik

    Semester: WiSe 2019/20