Teaching Logic, from a Conceptual Viewpoint.
Daniel de CarvalhoNikolai KudasovPublished in: FISEE (2019)
Keyphrases
- viewpoint
- logic programming
- learning environment
- learning process
- e learning
- hong kong
- classical logic
- educational software
- distance learning
- online learning
- higher education
- modal logic
- hybrid learning
- programming course
- computer programming
- web based learning
- automated reasoning
- teaching materials
- cooperative learning
- multi valued
- distance education
- teaching methods
- university level
- problem based learning
- st century
- learning design
- temporal logic
- conceptual model
- multiple views
- learning systems