Im Kurs „Logikdetektive – den Beweisen auf der Spur“ lösen Kinder eigenständig Fälle und Rätsel in einer asynchronen Moodle-Umgebung. Unterstützt von Detektiv Hasel, dem Maskottchen des Kurses, erlernen sie über Videos, Spiele und Geschichten das logische Argumentieren mit Symbolen aus Aussagenlogik, Mengenlehre und elementarer Zahlentheorie. Ziel ist es, eigene Beweise zu formulieren, zu denen die Kinder ein automatisiertes Feedback erhalten – begleitet von einem betreuten Online-Forum und im individuellen Lerntempo.