Theoretische Informatik, Begrüßung