Fachdidaktische Aspekte der theoretischen Informatik 12. GI-Fachtagung Informatik und Schule Didaktik der Informatik in Theorie und Praxis Lehrerfortbildungsveranstaltung.