Teaching Syllogistics Through Gamification and Interactive Proofs.
Peter ØhrstrømUlrik Sandborg-PetersenSteinar ThorvaldsenThomas PlougPublished in: EC-TEL (2015)
Keyphrases
- interactive learning
- guided exploration
- e learning
- online learning
- interactive multimedia
- distance learning
- learning environment
- computer programming
- user experience
- theorem prover
- cooperative learning
- user friendly
- virtual reality
- high school
- learning analytics
- educational technology
- blended learning
- science education
- programming course
- higher education
- university level
- computer graphics