04-00-0091-vu Formale Grundlagen der Informatik I: Automata and Formal Languages

Veranstaltungsdetails

Lehrende: Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: FGdI I

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Einführung: Transitionssysteme, Wörter, Sprachen; Mathematische Grundbegriffe
und elementare Beweismethoden; Endliche Automaten und reguläre
Sprachen; Determinismus und Nichtdeterminismus, Abschlusseigenschaften
und Automatenkonstruktionen; kontextfreie Sprachen, CYK Algorithmus;
Turingmaschinen; Entscheidbarkeit und Aufzählbarkeit in der Chomsky-
Hierarchie

Literatur:
Schöning: Theoretische Informatik –kurz gefasst
Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, formale
Sprachen und Komplexitätstheorie
Wegener: Theoretische Informatik –eine algorithmenorientierte Einführung
Ein Skript zur Veranstaltung (Otto 2006) ist auch elektronisch verfügbar
(www.mathematik.tu-darmstadt.de/~otto)

Weitere Informationen:
Der Fachbereich Mathematik ist bemüht, allen Studierenden in den Übungen eine sinnvolle Betreuung zukommen zu lassen. Um dies realisieren zu können, sind wir auf Ihre Mithilfe angewiesen: Falls
Sie planen, nicht oder nur sporadisch an den Übungen teilzunehmen, so wählen Sie bitte bei Ihrer Anmeldung die Übungsgruppe "Gruppe ohne Termin". Dies erleichtert es uns, die Anzahl der tatsächlich benötigten Übungen besser abschätzen zu können.
Herzlichen Dank!

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:
  • Formale Grundl. der Informatik I - Gruppe ohne Termin (Kommentar s. oben)

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

  • Formale Grundl. der Informatik I Übung 17

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [11:40]-Mi, 29. Mai 2013 [13:20]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 1

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [08:00]-Mi, 29. Mai 2013 [09:40]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 10

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [08:00]-Mi, 29. Mai 2013 [09:40]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 13

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [09:50]-Mi, 29. Mai 2013 [11:30]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 14

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [09:50]-Mi, 29. Mai 2013 [11:30]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 16

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [09:50]-Mi, 29. Mai 2013 [11:30]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 18

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [11:40]-Mi, 29. Mai 2013 [13:20]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 2

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [11:40]-Mi, 29. Mai 2013 [13:20]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 3

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [11:40]-Mi, 29. Mai 2013 [13:20]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 4

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [14:25]-Mi, 29. Mai 2013 [16:05]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 5

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Mi, 17. Apr. 2013 [14:25]-Mi, 29. Mai 2013 [16:05]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 7

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Fr, 19. Apr. 2013 [13:30]-Fr, 31. Mai 2013 [15:10]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 8

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Fr, 19. Apr. 2013 [14:25]-Fr, 31. Mai 2013 [16:05]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Exercise 9

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Do, 18. Apr. 2013 [16:15]-Mi, 29. Mai 2013 [09:40]

  • Formale Grundlagen der Informatik I: Automata and Formal Languages Übung 19

    Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler

    Fr, 26. Apr. 2013 [13:30]-Fr, 24. Mai 2013 [15:10]

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mo, 15. Apr. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
2 Fr, 19. Apr. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
3 Mo, 22. Apr. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
4 Fr, 26. Apr. 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
5 Mo, 29. Apr. 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
6 Fr, 3. Mai 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
7 Mo, 6. Mai 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
8 Fr, 10. Mai 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
9 Mo, 13. Mai 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
10 Fr, 17. Mai 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
11 Fr, 24. Mai 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
12 Mo, 27. Mai 2013 09:50 11:30 S311/08 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
13 Fr, 31. Mai 2013 08:00 09:40 S101/A1 Ph. D. Stephane Le Roux; Ph. D. Davorin Lesnik; M.Sc. Carsten Rösnick; Prof. Dr. Martin Ziegler
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
Lehrende
Prof. Dr. Martin Ziegler
Ph. D. Stephane Le Roux
Ph. D. Davorin Lesnik
M.Sc. Carsten Rösnick