2 search results - page 1 / 1 » Teaching NL to FOL and FOL to CF Conversions |
FLAIRS
2007
13 years 7 months ago
2007
In this paper, we present ways of teaching the NL to FOL and the FOL to CF conversions. NL to FOL conversion teaching is based on the use of a structured and interactive process o...
DIAGRAMS
2008
Springer
13 years 6 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...