Zielgruppe

Der Kurs richtet sich insbesondere an Schülerinnen und Schüler der Sekundarstufe II sowie an Studieninteressierte, die Grundlagen der Aussagenlogik erarbeiten oder wiederholen möchten.

Inhaltliche Schwerpunkte

Der Onlinekurs führt in die Aussagenlogik ein. Er ist Teil der videobasierten interaktiven Lernumgebung viaMINT, die zur Vorbereitung auf ein MINT-Studium sowie zum begleitenden Lernen genutzt werden kann.

Die Lernmodule von viaMINT verbinden Erklärvideos und Lerntexte mit Visualisierungen, Anwendungsbeispielen und interaktiven Übungsaufgaben. Die Aufgaben geben unmittelbar Rückmeldung und ermöglichen so eine weitgehend selbstständige Bearbeitung.

Einordnung

Der Kurs eignet sich sowohl zur Studienvorbereitung als auch zur Wiederholung oder Vertiefung im Informatikunterricht der Sekundarstufe II. Die Aussagenlogik bildet eine Grundlage für verschiedene Bereiche der Informatik, beispielsweise für logische Ausdrücke in Programmen, digitale Schaltungen und logische Programmiersprachen.

Die Nutzung ist kostenlos. Der Kurs kann auch anonym aufgerufen werden. In diesem Fall wird der Bearbeitungsfortschritt nicht dauerhaft gespeichert. Mit einem Benutzerkonto kann der Lernfortschritt gespeichert und später wieder aufgenommen werden.

Lizenzierung

viaMINT stellt die Lernumgebung kostenfrei und offen zur Nutzung bereit. Daraus ergibt sich jedoch keine allgemeine Erlaubnis zur Bearbeitung oder Weiterverbreitung der Inhalte. Für eine über die Nutzung auf der Plattform hinausgehende Verwendung sind daher die Rechte des Anbieters zu beachten.

Bezüge zu den Hessischen Kerncurricula

Die Aussagenlogik ist im Kerncurriculum Informatik für die gymnasiale Oberstufe nicht als eigenständiges Themenfeld ausgewiesen, weist aber Bezüge zu mehreren verbindlichen Inhalten auf.

Besonders deutlich sind die Anknüpfungspunkte im Themenfeld Q4.1 „Grundlagen der technischen Informatik“. Dort werden logische Gatter, Wahrheitstabellen und die Analyse von Schaltnetzen behandelt. Im Themenfeld Q4.2 „Prolog als logische Programmiersprache“ werden Fakten, Regeln und logische Schlussfolgerungen aufgegriffen. Aussagenlogische Grundlagen können für beide Bereiche eine sinnvolle Vorbereitung oder Vertiefung darstellen.

Darüber hinaus sind logische Ausdrücke und Verknüpfungen grundlegend für die Formulierung von Bedingungen und Kontrollstrukturen beim Programmieren.