Teaching Logic with Iltis: an Interactive, Web-Based System.
Gaetano GeckArtur LjulinJonas HaldimannJohannes MayJonas SchmidtMarko SchmellenkampDaniel SonnabendFelix TschirbsFabian VehlkenThomas ZeumePublished in: ITiCSE (2019)
Keyphrases
- interactive multimedia
- learning platform
- interactive learning
- distance learning
- guided exploration
- distance learning environment
- multimedia
- virtual laboratory
- computer graphics
- learning environment
- life long
- online learning
- logic programming
- higher education
- web based learning
- user friendly
- learning process
- web interface
- learning analytics
- classical logic
- support systems
- web based teaching
- user interaction
- internet technology
- virtual reality
- cooperative learning
- high school
- learning tools
- modal logic
- computer programming
- computer technology
- distance education
- language skills
- temporal logic
- learning materials
- e learning