Introduction to Iltis: an interactive, web-based system for teaching logic.
Gaetano GeckArtur LjulinSebastian PeterJonas SchmidtFabian VehlkenThomas ZeumePublished in: ITiCSE (2018)
Keyphrases
- interactive multimedia
- interactive learning
- learning platform
- distance learning environment
- distance learning
- guided exploration
- virtual laboratory
- learning environment
- learning process
- virtual reality
- web based learning
- life long
- distance education
- logic programming
- web based teaching
- e learning
- computer programming
- web interface
- learning systems
- modal logic
- interactive learning environments
- user interaction
- online learning
- classical logic
- computer graphics
- internet technology
- multi valued
- computer science
- higher education
- knowledge base
- computer algebra
- intelligent learning environments
- web environment
- problem based learning
- hong kong
- blended learning