[FOM] Evaluation form for interesting formulas

[Sandro Skansi]

Dear FOM-ers,

First of all I wish you all a happy and successful New Year. May this year
be the one you finally prove that little evasive lemma you've been working
on!

I thank you all on you earlier replies to my queries.

Our small research group is currently working on a way to have an
evaluation of automatically generated formulas for exercises in basic
logic, and we need to calibrate a filter, as to filter only formulas a real
teacher would actually give/use in her/his course.

I wanted to ask you for your help by completing a survey, in which you
evaluate 100 formulas, according to whether you find them interesting and
would include them in any way in your beginner logic course or not (we
deliberately left the notion of ``interesting'' undefined). The survey form
can be found at http://logic101.net/english, inside the green rectangle.
Please note that it is quite a low-tech survey, where you download the pdf
and email us the answers (we are not collecting any personal information
apart from the survey questionnaire answers), either as a scanned paper or
in a separate txt file or simply inline. If you need any assistance or have
additional questions, please feel free to email me.

I thank you in advance, your contribution is greatly appreciated!

I will also send an announcement when the finished software will be
available for download or hosted online. The software will be freely
available to anyone.

Best regards,
Sandro
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140106/edced196/attachment.html>