Formale Grundlagen der Programmierung

Einleitung
Die Vorlesung wird gehalten von Katharina Zweig, der Übungsleiter ist Dr. Johannes Schneider. In der ersten Vorlesung werden wir vor allen Dingen Organisatorisches besprechen, dazu eine erste Einleitung in die formalen Sprachen geben. Alle Informationen zur Vorlesung finden Sie im Moodle-System der Informatik.

Bitte lesen Sie bis Freitag, 20.4. die Seiten 3-6,9,13, 178-180 bei Bedarf.

Folien der ersten Vorlesung

Erstes Übungsblatt

Anmeldungshinweise

Literatur

Wir nutzen hauptsächlich das folgende Buch
  1. Uwe Schöning, "Theoretische Informatik - kurz gefasst", 5. Auflage, Spektrum Akademischer Verlag, Heidelberg, 2008