Diese Seiten können nicht richtig dargestellt werden, da Sie Ihren Internet Explorer mit aktivierter Kompatibiltätsansicht verwenden. Wir empfehlen 'fu-berlin.de' aus der Liste der Websites mit aktivierter Kompatibilitätsansicht zu entfernen:

  1. Blenden Sie bitte in Ihrem Internet Explorer die Menüleiste ein, indem Sie entweder 'Alt' drücken oder in der Adressleiste mit der rechten Maustaste klicken und dann 'Menüleiste' auswählen.
  2. Klicken Sie auf 'Extras' und wählen das Menü 'Einstellungen der Kompatibilitätsansicht' aus.
  3. Wählen Sie unter 'Zur Kompatibilitätsansicht hinzugefügte Websites' 'fu-berlin.de' aus.
  4. Klicken Sie auf 'Entfernen'.

Theoretische Informatik

Im Studienbereich der Theoretischen Informatik werden fundamentale Möglichkeiten und Grenzen des Rechnens kennengelernt. Außerdem werden Techniken zur Abschätzung des Aufwandes bestimmter algorithmischer Verfahren behandelt. 

In diesem Modul erlernen Sie die grundlegende Beschreibung sowie die syntaktische Analyse von Programmiersprachen. Ihnen wird die Einordnung von formalen Sprachen innerhalb der Chomsky-Hierarchie vermittelt. Des Weiteren lernen Sie die Überführung formaler Sprachen von einer Beschreibungsform in eine andere Form, in eine Normalform oder eine minimale Form kennen. Die Ableitung einer Sprache aus einer Beschreibung, die unterschiedlichen Beschreibungen von Berechnungsmodellen, die Berechenbarkeit sowie das Halteproblem sind weitere Themen. Das Modul besteht aus einer Vorlesung und einer Übung, in der die praktische Lösung von Aufgaben im Mittelpunkt steht.