At universityin the AI department bogs, was this predicate calculus statement:
This translates as - 'For all x and y, where x is a dalek and y is not a dalek, x exterminates y'
After 48 hours in the lab, stuff like that became funny.
/geek
(This translates as - 'For all x and y, where x is a dalek and y is not a dalek, x exterminates y'
After 48 hours in the lab, stuff like that became funny.
/geek
UncleLewy,
Mon 3 Nov 2003, 14:19,
archived)
lovely predicate calculusthat and lambda calculus were the bane of my life.
( jonas is not my name,
Mon 3 Nov 2003, 15:17,
archived)