Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments.
Peter ØhrstrømUlrik Sandborg-PetersenSteinar ThorvaldsenThomas PlougPublished in: EC-TEL (2013)
Keyphrases
- learning platform
- formal language
- distance learning environment
- virtual laboratory
- life long
- legal argument
- learning environment
- operational semantics
- mathematical theory
- multimedia
- learning systems
- e learning
- classical logic
- ctl model update
- proof procedures
- computer programming
- learning process
- distance education
- modal logic
- logic based argumentation
- online learning
- cooperative learning
- educational technology
- learning analytics
- high school
- logic programming
- computational logic
- predicate logic
- web based teaching
- learning activities
- proof theory
- interactive multimedia
- formal methods
- multi valued
- pedagogical model
- higher education
- model theoretic
- engineering education
- teacher education
- defeasible argumentation
- elementary school