Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic.
Gaetano GeckArtur LjulinSebastian PeterJonas SchmidtFabian VehlkenThomas ZeumePublished in: CoRR (2018)
Keyphrases
- interactive multimedia
- learning platform
- guided exploration
- virtual laboratory
- distance learning
- distance learning environment
- virtual reality
- logic programming
- interactive learning
- visualization tool
- e learning
- learning environment
- online learning
- higher education
- modal logic
- web based teaching
- life long
- learning systems
- classical logic
- user friendly
- high school
- mixed reality
- learning process
- web environment
- teacher education
- computer graphics
- internet technology
- multi valued
- support systems
- engineering education
- computer programming
- cooperative learning
- user interaction
- hong kong
- remote laboratories
- educational technology