LogicTraffic: Aussagenlogik zur Sicherheit bei Strassenkreuzungen
Matej Mrnjec, André Bussmann, Ruedi Arnold (sowie Unterstützung von Michael Hielscher)
Anhand eines verständlichen Beispiels zeigt LogicTraffic eine sinnvolle Anwendung von Aussagenlogik in unserem Alltagsleben. Die Grundidee besteht darin, für eine Strassenkreuzung eine aussagenlogische Formel anzugeben, welche verhindert, dass zwischen einzelnen Spuren Kollisionen auftreten können.
LogicTraffic vermittelt einen Einstieg in die Grundbegriffe der Boole'schen Aussagenlogik. Zwei Eigenschaften machen den Einstieg mit LogicTraffic besonders attraktiv: Aussagenlogik wird nicht abstrakt-formal eingeführt, sondern spielerisch an einem realen Beispiel. Zudem werden verschiedene Repräsentationen und Formen für äquivalente Formeln ansprechend visualisiert.
An wen richtet sich LogicTraffic?
LogicTraffic kann auf verschiedenen Schulstufen eingesetzt werden, in der Volkschule, an Gymnasien, Berufsschulen bis hin zu Fachhochschulen oder Universitäten. LogicTraffic ist nicht für ein Selbststudium gedacht, die Lernenden sollten zuerst eine Einführung in Logik erhalten.
Lernziele beim Einsatz von LogicTraffic
LogicTraffic eignet sich zur Einführung von Begriffen wie Operatoren, Variablen, Wahrheitswerte, Formeln, Wahrheitstabellen, Äquivalenzen und Normalformen.