Teaching a Formalized Logical Calculus.
Asta Halkjær FromAlexander Birch JensenAnders SchlichtkrullJørgen VilladsenPublished in: ThEdu@CADE (2019)
Keyphrases
- learning environment
- computer programming
- high school
- online learning
- e learning
- lambda calculus
- cooperative learning
- distance learning
- higher education
- distance education
- learning systems
- educational technology
- learning process
- logical structure
- database query languages
- neural network
- learning analytics
- learning sciences
- elementary school