Introducing propositional logic and queueing theory with the infotraffic interactive learning environments

Abstract

InfoTraffic [2] is a collection of learning environments forteaching fundamental concepts of computer science and mathematics. So far, the two programs LogicTraffic, targeted at propositional logic, and QueueTraffic, targeted at queueing theory have been released 1 . Both are freely availableand can be downloaded (along with teaching materials) from [1]. This demonstration abstract gives a very brief introductionto these two programs and their use in class.