Eine Einführung in die Theoretische Informatik beschäftigt sich mit den mathematischen und logischen Grundlagen der Informatik.  Sie bildet die Basis für das Verständnis von Algorithmen, Berechenbarkeit und formalen Sprachen.