Keyphrases
- computer programming
- mathematics education
- teaching mathematics
- computer algebra
- computer assisted instruction
- middle school students
- learning environment
- higher education
- online learning
- classical logic
- educational technology
- web based learning
- e learning
- teaching strategies
- learning process
- college level
- learning systems
- logic programming
- multimedia courseware
- middle school mathematics
- modal logic
- formal logic
- thinking skills
- computer science
- high school
- distance learning
- special education
- computer based learning
- teacher education
- university level
- description logics
- discrete space
- instructional strategies
- science education
- cooperative learning
- hong kong
- computer technology
- learning analytics
- model checking