Teaching as a logic tool (abstract).
David GriesFred B. SchneiderJoan KroneJ. Stanley WarfordJ. Peter WestonPublished in: SIGCSE (1995)
Keyphrases
- learning systems
- classical logic
- logic programming
- learning environment
- modal logic
- computer programming
- web based learning
- problem based learning
- software tools
- user friendly
- distance learning
- higher education
- higher level
- learning process
- university level
- predicate logic
- state machine
- programming course
- thinking skills
- graphical representation
- hybrid learning
- hong kong
- learning experience
- online learning
- multi agent systems