Computation: Boole'sche Logik
Verfasst von Raimond Reichert
Motivation
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.
Ziele
Logische Ausdrücke mit UND, ODER, NICHT formal korrekt formulieren können; den Unterschied zur Alltagssprache verstehen. Selbständig verschiedene Arten von Formeln entdecken, die Muster erkennen, die den Formeln zugrunde liegen.
Ablauf
| ⅓ Lektion | Vortrag |
Einführung ins Thema Wahrheitstabellen, Entscheidungstabellen Demo Bedienung LogicTraffic |
| 3 Lektion | Übung |
Aufgaben zu LogicTraffic: » zum Erarbeiten der Formelarten KNF, DNF, Implikation: 1, 2, 3, 5, 9 » zur Lernkontrolle: 10, 11, 12, 13 |
| Optional | Übung | Weitere Aufgaben: 4, 6, 7, 8. |
| ⅔ Lektion | Vortrag | Herleitung der Formelarten Implikation, KNF, KDNF, KKNF |
Downloads
![Programm logictraffic.jar (Ruedi Arnold) - JAR [5 MB]](/views/icons/jar.gif "Programm logictraffic.jar (Ruedi Arnold) - JAR [5 MB]"){kind=icon} | Programm logictraffic.jar (Ruedi Arnold) | JAR [5 MB] |
![Aufgaben zu LogicTraffic (Ruedi Arnold) - Word [80 KB]](/views/icons/doc.gif "Aufgaben zu LogicTraffic (Ruedi Arnold) - Word [80 KB]"){kind=icon} ![Aufgaben zu LogicTraffic (Ruedi Arnold) - PDF [363 KB]](/views/icons/pdf.gif "Aufgaben zu LogicTraffic (Ruedi Arnold) - PDF [363 KB]"){kind=icon} | Aufgaben zu LogicTraffic (Ruedi Arnold) | Word [80 KB] · PDF [363 KB] |
| | Musterlösungen zu LogicTraffic-Aufgaben (Ruedi Arnold) | Word [131 KB] · PDF [406 KB] |
![Vortrag: Herleitung der Formelarten Implikation, KNF, KDNF, KKNF (als Ergänzung zur Musterlösung) - Powerpoint [534 KB]](/views/icons/ppt.gif "Vortrag: Herleitung der Formelarten Implikation, KNF, KDNF, KKNF (als Ergänzung zur Musterlösung) - Powerpoint [534 KB]"){kind=icon} | Vortrag: Herleitung der Formelarten Implikation, KNF, KDNF, KKNF (als Ergänzung zur Musterlösung) | Powerpoint [534 KB] · PDF [951 KB] |