Examiner: Prof. Dr. Ulrich Kohlenbach
Department: 4, Mathematik
Research group/Institute: AG Logik
Email examiner: kohlenbach@mathematik.tu-darmstadt.de
Contact for organisational questions: Thomas Schneider, Pedro Pinto
Email contact for organisational questions:
schneider@mathematik.tu-darmstadt.de, pinto@mathematik.tu-darmstadt.de
examination format: Open Book examination
Title of the examination: Automaten, formale Sprachen und Entscheidbarkeit
Module name: Automaten, formale Sprachen und Entscheidbarkeit; Formale
Grundlagen der Informatik I: Automata and Formal Languages
Module number: 04-00-0120, 04-10-0120/de
Designated examination date (or submission date): 2022-03-24
Time (from - to) of the exam (or submission time): 12:00-13:30
End of the registration period for the examinees: 2021-12-15
Department: 4, Mathematik
Research group/Institute: AG Logik
Email examiner: kohlenbach@mathematik.tu-darmstadt.de
Contact for organisational questions: Thomas Schneider, Pedro Pinto
Email contact for organisational questions:
schneider@mathematik.tu-darmstadt.de, pinto@mathematik.tu-darmstadt.de
examination format: Open Book examination
Title of the examination: Automaten, formale Sprachen und Entscheidbarkeit
Module name: Automaten, formale Sprachen und Entscheidbarkeit; Formale
Grundlagen der Informatik I: Automata and Formal Languages
Module number: 04-00-0120, 04-10-0120/de
Designated examination date (or submission date): 2022-03-24
Time (from - to) of the exam (or submission time): 12:00-13:30
End of the registration period for the examinees: 2021-12-15