Die Nachverfolgung von Algorithmen (Tracing) beginnt mit Zustandstabellen, in denen jede Aktualisierung von Variablen und jede Änderung an Arrays präzise dokumentiert werden muss. Der Kurs vermittelt die für Prüfungen erforderliche Fähigkeit, algorithmische Beschreibungen in natürlicher Sprache in korrekten Pseudocode zu übertragen und diesen anschließend anhand derselben Tabellenform zu überprüfen. Er richtet sich an Schüler der Oberstufe (A-Level) im Fach Informatik, die mit den theoretischen Konzepten bereits vertraut sind, aber bei der praktischen Umsetzung in Prüfungen – insbesondere bei Aufgaben zu Such- und Sortierverfahren – mehr Präzision und Sorgfalt benötigen.
Zustandstabellen, Pseudocode-Bausteine, lineare und binäre Suche sowie Bubble-, Insertion- und Merge-Sort werden anhand von Nachvollzug (Tracing) und Implementierung behandelt. Zudem werden die Auswahl von Algorithmen unter gegebenen Einschränkungen, das Debugging von Pseudocode durch Nachvollzug, zeitgesteuerte gemischte Übungen (von der Beschreibung zum Code) sowie die Analyse der Leistungsfähigkeit auf Basis der Nachvollzugsergebnisse thematisiert.