Grundlagen der Informatik II

Lernform Kürzel Gruppengröße Aufwand Kontaktzeit LP Abschluss
Vorlesung -- k.A. 60 (4 SWS) 60 2 PL: Klausur
Übung -- 20 30 (2 SWS) 30 1 --
Selbststudium 135 - 4,5 -
Summe - - 225 90 7,5 -
Modulbeauftragte(r): Fiedler
Sprache: Deutsch
Turnus: Sommersemester
Standort: RAC
Lehrende: Fiedler, Berti
Zwingende Voraussetzungen: keine
Inhaltliche Voraussetzungen: Grundlagen der Informatik I

Lernziele und Kompetenzen

Die Studierenden kennen nach Abschluss des Moduls die Hierarchie formaler Grammatiken und ihre Mächtigkeit. Sie können einschätzen, welche Probleme prinzipiell lösbar oder unlösbar sind, sowie welche Probleme praktisch lösbar oder unlösbar sind. Sie sind in der Lage, Probleme funktional zu repräsentieren und zu lösen.

Vorlesungsinhalt

Formale Sprachen, Automatentheorie, Berechenbarkeit, Komplexität, funktionale Programmierung.

Literatur

  • Hoffmann: Theoretische Informatik, 3. Aufl., Hanser, 2015
  • Herold, Lutz, Wohlrab, Hopf: Grundlagen der Informatik, 3. Aufl., Pearson, 2017
  • Gumm, Sommer: Einführung in die Informatik, 10. Aufl., Oldenbourg Verlag, 2013