Theoretische Informatik
Vermittlung der theoretischen Modellierung von Berechenbarkeit durch verschiedene Algorithmenmodelle, einschließlich endlicher Automaten, Push-Down Automaten, Turing-Maschinen und deren Eigenschaften sowie Formalisierungen und mathematische Arbeitsweisen.