The use of suitable examples is a key to teach abstract, theo-
retical concepts. Interactive computer software allows us to
use such examples to create attractive learning environments
that not only appeal to students, but also enhance knowl-
edge transfer in class. However, developing such highly spe-
cialized systems is costly, resulting in only few of these tools
being developed for higher education. This article1 intro-
duces InfoTraffic, a collection of new learning environments
to support the introduction of fundamental concepts of com-
puter science and mathematics in order to be of long-lived
value. We describe the didactical concepts behind the in-
teractive and concrete approach of InfoTraffic, and illustrate
them through two of its learning environments - one tar-
geted at propositional logic, the other at queueing theory.