Introducing propositional logic and queueing theory with the infotraffic interactive learning environments.
Ruedi ArnoldPublished in: ITiCSE (2007)
Keyphrases
- propositional logic
- queueing theory
- interactive learning environments
- queueing systems
- mathematical programming
- belief revision
- first order logic
- intelligent tutoring systems
- learning activities
- collaborative learning
- learning environment
- queueing networks
- markov chain
- quantified boolean formulae
- e learning
- problem based learning
- educational games
- genetic algorithm
- queueing model
- propositional formulas
- satisfiability testing
- long run
- belief change
- steady state
- markov processes
- human computer interaction
- user interface
- optimal solution
- case study
- horn logic