LogicTraffic

Aus Informatiktools

LogicTraffic
Kurzüberblick
Kurzbeschreibung:	Lernumgebung mit Unterrichtsmaterialien zur Verdeutlichung von Aussagenlogik.
Schlagwörter:	Aussagenlogik, Visualisierung, Lernumgebung
Altersgruppen:	Sek. I, Sek. II, Hochschule
Sprachen:	Deutsch, Englisch
Erscheinungsjahr:	2007
Entwickler:	Ruedi Arnold, Werner Hartmann
Ähnliche Tools:	QueueTraffic, DynaTraffic
Plattform:	Java
Lizenz:	?
Lizenzkosten (Privat/Bildungseinrichtungen):	kostenfrei
http://www.swisseduc.ch/informatik/infotraffic/logictraffic/
Aktuelle Nutzerwertung: 90/100 (1 votes)  You need to enable JavaScript to vote

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

LogicTraffi ist Teil von InfoTraffic, einer Sammlung von Lernumgebungen und Unterrichtsmaterialien zur Verdeutlichung wichtiger informatischer und mathematischer Konzepte anhand der Steuerung von Verkehrssituationen.

Inhaltsverzeichnis 1 Ziele und Besonderheiten 2 Einfaches Beispiel / Screenshot 3 Technische Voraussetzungen und Hinweise 4 Schulischer Einsatz 4.1 Korresponierende Inhalts-/Prozessbereiche 4.2 Fächer 4.3 Themen 4.4 Ideen zum Unterrichtseinsatz 5 Einschätzung/ Kritik 6 Unterrichtsmaterialien und -beispiele 7 Literatur 8 Referenzen

Ziele und Besonderheiten

Aus der Beschreibung ^[1]:

Das im Rahmen der Dissertation von Ruedi Arnold entwickelte System “InfoTraffic” "umfasst drei neue interaktive Lernumgebungen zu Aussagenlogik, Warteschlangentheorie und dynamischen Systemen. Die drei Programme sind eingebettet in das gemeinsame Szenario “Verkehrssteuerung” und nutzen konsequent einen virtuell-enaktiven und alltagsbezogenen Ansatz zur Einführung abstrakter Themen im Unterricht. InfoTraffic leistet damit unter anderem einen Beitrag zur Erhöhung des Stellenwerts von Logik in der Allgemeinbildung. InfoTraffic wurde nach ingenieurswissenschaftlichen Methoden unter Einbezug von Erkenntnissen aus der Schulpraxis und der Lehr- und Lernforschung entwickelt. Die gemachten Erfahrungen führen zu pragmatischen Empfehlungen zur Entwicklung von interaktiven Lernumgebungen. Das System ist inklusive Unterrichtsmaterialien online frei verfügbar und wird bereits an Gymnasien, Hochschulen und in der Lehrerausbildung eingesetzt."

Dort auch weitere Informationen zu den Tools.

Einfaches Beispiel / Screenshot

LogicTraffic auf einen Blick

Das ganze Programm mit Situation, Wahrheitstabelle, Formel zur Wahrheitstabelle und Formel-Editor, Statusanzeigen und Steuer-Knöpfen. Quelle:
http://www.swisseduc.ch/informatik/infotraffic/logictraffic/screenshots.html

Technische Voraussetzungen und Hinweise

InfoTraffic lässt sich als Java Applet ausführen.

Anleitung zum Start des Programms InfoTraffic von http://www.swisseduc.ch/informatik/infotraffic/anleitung.html

Herunterladen von infotraffic.jar Gehen Sie auf die InfoTraffic Download Seite. Speichern Sie die Datei "infotraffic.jar" auf ihrer Festplatte. Hinweis für Windows Benutzer: Kontrollieren Sie bitte, ob die Datei unter der Endung ".jar" abgespeichert ist. Es kann vorkommen, dass die Datei "infotraffic.zip" heisst. Benennen Sie diese gegebenenfalls um zu "infotraffic.jar".

Doppelklick auf infotraffic.jar Wechseln Sie in das Verzeichnis, in dem Sie "infotraffic.jar" abgelegt haben. Führen Sie auf der Datei einen Doppelklick aus. Falls das Programm nicht startet, gehen Sie zum nächsten Punkt.

Java installiert? Öffnen Sie eine Konsole (Shell, Eingabeaufforderung oder Command Prompt). Unter Windows wählen Sie dazu "Start > Programme > Zubehör > Eingabeaufforderung", respektive auf Englisch "Start > Programs > Accessories > Command Prompt". Tippen Sie darin java ein und drücken Sie Enter.

Falls eine (kurze) Fehlermeldung der Art 'java' is not recognized as an internal or external command, operable program or batch file kommt, haben Sie Java wahrscheinlich noch nicht auf ihrem Computer installiert. » Installieren Sie Java.

Falls eine längere Meldung beginnend mit Usage: java [-options] class [args...] (to execute a class) erscheint, haben Sie Java installiert. Gehen Sie zum nächsten Punkt.

InfoTraffic starten aus der Konsole Wechseln Sie in der Konsole das Verzeichnis, in dem die Datei "infotraffic.jar" liegt. Führen Sie dort den Befehl java -jar infotraffic.jar aus und InfoTraffic sollte starten.

Schulischer Einsatz

Korresponierende Inhalts-/Prozessbereiche

<Einordnung in die Bildungsstandards Informatik>

Inhaltsbereiche:

Prozessbereiche: Modellieren und Implementieren

Fächer

Informatik, Mathematik, Philosophie

Themen

LogicTraffic eignet sich zur Einführung und Festigung der Boolschen Aussagenlogik. Es können Kompetenzen im Umgang mit Operatoren, Variablen, Wahrheitswerten, Formeln, Wahrheitstabellen, Äquivalenzen und Normalformen erworben werden..

Ideen zum Unterrichtseinsatz

Einschätzung/ Kritik

LogicTraffic und die damit bereitgestellten Unterrichtsmaterialien ist hervorragend für den Unterrichtseinsatz geeignet.

Unterrichtsmaterialien und -beispiele

Umfangreiche Materialien zum Unterrichtseinsatz finden sich auf der Homepage des Tools.

Literatur

weiterführende Literatur zum Tool/ Wissenschaftliche Veröffentlichungen/weitere Referenzen/Quellen http://www.swisseduc.ch/informatik/infotraffic/logictraffic/

Referenzen

Links zu Institutionen/Schulen, welche das Werkzeug einsetzen Ansprech- und Diskussionspartner

Referenz-Fehler: <ref>-Tags existieren, jedoch wurde kein <references />-Tag gefunden.