Theoretische Informatik, Woche 1