Einführung in die (theoretische) Informatik SoSe24