Q369 "Define formally"
1 view
Skip to first unread message
jess...@gmail.com
May 3, 2009, 4:32:05 PM5/3/09
to utexas-cs313k-spring2009
When I started this question I started defining the concepts in ACL2,
but then I realized that it might mean to define it in set notation. I
just want a little clarification on this.
but then I realized that it might mean to define it in set notation. I
just want a little clarification on this.
Ian W.
May 3, 2009, 5:48:07 PM5/3/09
to utexas-cs313k-spring2009
Set notation is what you want.
samantha...@gmail.com
May 3, 2009, 9:22:35 PM5/3/09
to utexas-cs313k-spring2009
Can you use quantifiers in set builder notation?
Ian W.
May 3, 2009, 11:01:44 PM5/3/09
to utexas-cs313k-spring2009
With set builder notation {x : phi}, the formula phi may have
quantifiers. For example, {x : exists y : (* x y) = 12}.
On May 3, 8:22 pm, "samanthasalina...@gmail.com"
quantifiers. For example, {x : exists y : (* x y) = 12}.
On May 3, 8:22 pm, "samanthasalina...@gmail.com"
Reply all
Reply to author
Forward
0 new messages