Ausgehend von einigen aus Algorithmen und Datenstrukturen bekannten
Problemlösungen erweitern wir in dieser LV die Betrachtung um die
Fragestellung nach allgemeiner Berechenbarkeit bzw. Lösbarkeit von Problemen.
Hierzu formalisieren wir den Begriff der Berechenbarkeit durch Entwicklung
verschiedener Werkzeuge und Modelle, wie etwa formale Sprachen,
Registermaschinen, Turingmaschinen u.v.m. Für jedes Berechenbarkeitsmodell
betrachten wir (im jeweiligen Modell) lösbare und unlösbare Probleme, um die
Leistungsfähigkeit von Computern im Allgemeinen verstehen und bewerten zu
können.