Theoretische Informatik @fernuni, Kurse 01657 und 01658