Check Your (Students') Proofs-With Holes.
Dennis RenzSibylle SchwarzJohannes WaldmannPublished in: CoRR (2020)
Keyphrases
- learning experience
- student learning
- learning environment
- learning outcomes
- undergraduate students
- higher education
- e learning
- learning activities
- college students
- computer science students
- high school students
- high school
- intelligent tutoring systems
- learning styles
- tutoring system
- distance learning
- distance education
- programming course
- computer programming
- computer programs
- secondary school
- students learning
- university level
- university students
- control group
- theorem proving
- online course
- learning process
- helping students
- introductory programming
- writing skills
- equational theories
- engineering education
- educational institutions
- young students
- science learning
- subject matter
- computer assisted instruction
- elementary school
- teaching methods
- science education
- teaching materials
- open ended
- computer scientists
- computer supported collaborative learning
- learning scenarios