Worum geht es ?
Die Lernumgebung LogicTraffic illustriert Aussagenlogik anhand einer alltäglichen Situation und ermöglicht ein explorativ-intuitives Erlernen der Grundkonzepte von Aussagenlogik.
Downloads
www.swisseduc.chs it about ?
The learning environment LogicTraffic illustrates propositional logic with the help of an everyday situation and enables an explorative-intuitive learning of the basic concepts of propostional logic.
Downloads
www.swisseduc.chDie 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.
www.swisseduc.chThe basic idea is to provide a boolean formula which avoids the occurence of collisions between conflicting lanes.
LogicTraffic offers an introduction to the basic concepts of boolean logic.
www.swisseduc.chGeben Sie Axiome an, die die booleschen Operatoren charakterisieren.
D.h. sind zwei Terme t1 und t2 äquivalent im Sinne der Aussagenlogik und erfüllt eine Interpretation I Ihre Axiome, dann soll I ( t1 ) = I ( t2 ) gelten.
3.
www-madlener.informatik.uni-kl.deFind Axioms that characterise the boolean operators.
I.e. if two terms t1 and t2 are equivalent in propositional logic and if an interpretation I satisfies your axioms, then I ( t1 ) = I ( t2 ) must hold.
3.
www-madlener.informatik.uni-kl.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.