Computer science is the science of information processing and information processing systems. IT systems pervade their daily lives. In order to keep up with these developments competently and to be able to help shape them, it is necessary to impart basic knowledge about them at school. This is a task for graduates with a computer science degree. The main subject in computer science (teaching qualification) teaches technical basics. Students learn about and apply formal methods.