Theoretische Informatik bei Herrn Prof. Dr. Randerath