This page in English

LogicTraffic - Aussagenlogik und Sicherheit bei Strassenkreuzungen

Anhand eines verständlichen Beispiels zeigt LogicTraffic eine sinnvolle Anwendung von Aussagenlogik in unserem Alltagsleben. Die Grundidee besteht darin, für eine Stassenkreuzung 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.

Software-Download Unterrichtsmaterialien und weitere Informationen

An wen richtet sich LogicTraffic?

LogicTraffic kann auf verschiedenen Schulstufen eingesetzt werden, 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 (inkl. Demo der Software) erhalten.

Lernziele beim Einsatz von LogicTraffic

LogicTraffic eignet sich zur Einführung von Begriffen wie Operatoren, Variablen, Wahrheitswerte, Formeln, Wahrheitstabellen, Äquivalenzen und Normalformen.