[FOM] Automatic generators for logic exercises/exams

[Jacques Carette]

I have (for truth tables and other discrete math exercises).  And 
Wolfram Kahl (http://www.cas.mcmaster.ca/~kahl/) has as well.

Using automatic generation to generate exercises MUST generate the 
answers too (otherwise this is downright cruel to the markers). Also, it 
is the only way to ensure that generated exercises are of similar 
difficulty.  In other words, all my generators work by first generating 
the full answer, then 'reversing' it to generate the question.  This 
makes it easy to ensure equal difficulty.

My code is in Maple (and a few years old), so might have bit-rotted.  
Wolfram's is more recent and stand-alone, so I would contact him first.

Jacques

On 2013-12-12 6:05 PM, Sandro Skansi wrote:
> Dear FOMers,
>
> Does anyone know if someone is already working to program a program to 
> generate exercises/exams for truth tables, semantic trees and natural 
> deduction automatically? And do they generate also the answers? I know 
> this is probably already done, but I cannot find anything on the 
> internet about this, so I decided to ask you for help.
>
> Thank you all,
>
> Regards,
>
> Sandro
>
>
>
> Visit my homepage atwww.logic101.net <http://www.logic101.net>!
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20131221/09f1550b/attachment.html>