introducing propositional logic and queueing theory with the infotraffic interactive learning environments
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.
propositional logic queueing theory learning environment abstract concepts fundamental topics