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 of making the conversion, introduced here, which helps students, and the support of two software tools, one based on an implementation of that process and the other making translation from a FOL formula to a NL-like sentence. FOL to CF conversion teaching is based on a software tool that implements the conversion process and allows the intermediate steps to be visible. This gives the students the capability of trying the conversion of any FOL formula to its CF. The first experience results are promising.
Subjects: 1.3 Computer-Aided Education
Submitted: Feb 10, 2007