CalcCheck: A Proof Checker for Teaching the "Logical Approach to Discrete Math".
Wolfram KahlPublished in: ITP (2018)
Keyphrases
- logical rules
- e learning
- middle school mathematics
- intelligent tutors
- cooperative learning
- learning process
- helping students
- online learning
- computer programming
- higher education
- learning analytics
- discrete geometry
- learning environment
- thinking skills
- intelligent tutoring
- science education
- web based learning
- computer software
- university level
- linear logic
- continuous domains
- teaching methods
- logical operations
- continuous variables
- distance learning