A Review of Several Programs for the Teaching of Logic.
Doug GoldsonSteve ReevesRichard BornatPublished in: Comput. J. (1993)
Keyphrases
- dynamic logic
- recursive programs
- logic programming
- online learning
- classical logic
- learning process
- distance learning
- undergraduate engineering
- university level
- multi valued
- computer programming
- cooperative learning
- computer programs
- modal logic
- learning environment
- e learning
- answer sets
- teacher education
- literature review
- nonmonotonic logics
- higher education
- learning systems
- functional programs
- teaching materials
- learning analytics
- high school
- declarative semantics
- agent programming
- logic programs
- web based learning