首页 > 试题广场 >

写出求给定集合的幂集的递归定义。

[问答题]
写出求给定集合的幂集的递归定义。
推荐
用P(A)表示A的幂集,定义谓词beset(X)表示X是一个集合。则
其中,a∈A且I(X,y)={x|( x0)(x0∈Xbeset(x0)x=x0∪{y})}
发表于 2018-03-25 10:17:00 回复(0)