Bjorn,
I did some research on the Boolean operators, but not the
quantifiers. Please see
http://www.cs.cmu.edu/~pane/VL2000.html
The paper proposes a simple tabular language for Boolean expressions
and tests it on both comprehension and expression generation tasks.
John
On 2/11/06, Bjorn Reese wrote:
I have a program that that validates input according to logical rules
(a kind of predicate calculus, i.e. it uses logic operators such as
AND, OR, NOT, EXIST, FOR-ALL).
A major restriction is that I have no influence over the rules; they
are fully configurable and governed by a standardization commitee.
If the input violates a rule, then the rule is presented to the user.
The vast majority of users have major problems understanding this
feedback, so I am investigating how I can improve the feedback.
I would therefore appreciate if anybody could point me to literature
that addresses the comprehension of logic expressions in programming
language; especially how it relates to novices.
--
PPIG Discuss List (discuss@ppig.org)
Discuss admin: http://limitlessmail.net/mailman/listinfo/discuss
Announce admin: http://limitlessmail.net/mailman/listinfo/announce
PPIG Discuss archive: http://www.mail-archive.com/discuss%40ppig.org/
--
PPIG Discuss List (discuss@ppig.org)
Discuss admin: http://limitlessmail.net/mailman/listinfo/discuss
Announce admin: http://limitlessmail.net/mailman/listinfo/announce
PPIG Discuss archive: http://www.mail-archive.com/discuss%40ppig.org/