QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3053|回复: 0
打印 上一主题 下一主题

什麽是形式集合Formal Sets/PowerFormalSet?

[复制链接]
字体大小: 正常 放大
lilianjie        

43

主题

4

听众

204

积分

升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2011-12-30 12:18 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    哪位能给理解下:
    ; ~& `5 |" E% c5 y7 q7 D7 R) w. W8 }6 |- v& ], _" r
    Formal Sets
    8 D2 W9 f( s' G( }9 J  V4 YA formal set consists of the subset of elements of some carrier set (structure) on which a certain predicate assumes the value `true'. + t; p* ~% ~0 q8 T: V
    . f5 h8 C. ^- b4 ~( W
    The only set-theoretic operations that can be performed on formal sets are union, intersection, difference and symmetric difference, and element membership testing.
    + M& g% R4 S4 K$ y- D& I
    7 q' W# Q9 y3 m' p7 J$ {! X5 b( E( w( l) b& ^
    ' M. c: B5 C/ s' e0 ^( ]
    S := { 1 .. 5};* c  Y3 p! R8 q7 c( G5 _7 Z7 \
    > P := PowerSet(S);
    ) c4 U' F# t1 Y$ ^; i- G' a/ t% DP;2 b8 i: x6 M5 W2 o6 a  i
    PFS:=PowerFormalSet(S);* M! @3 J( t+ r9 M7 x
    PFS;

    % R; e# g! P9 eF := { 2, 4 };5 p9 _  V" |  z' o7 K+ A# H2 d
    FF := { 2/3, 4 };
    9 k' V" @, [/ {6 }  M/ y! T# _4 b7 F6 N
    F in P;
    1 k* H3 o: S, y( iFF in P;8 f4 _* i! a- J; ~6 T6 U
    F in PFS;% z8 t/ M8 c: {+ T7 Y
    FF in PFS;
    ; P) b6 X1 ~. l1 M" Z
    Set of subsets of { 1 .. 5 }; e" I/ |: J7 p: D5 Z& x- g) p
    Set of formal subsets of { 1 .. 5 }
    * C3 @" C( r( S( C: y/ w+ ~, b6 ^true
    5 H" x# [( ]" nfalse* P( B, D. ]4 Z) A- `5 _
    : g/ u( R! w* d; ]2 [+ M7 ^: Y
    >>  F in PFS;
    1 k" I2 {* _/ x3 C  Z) M      ^0 N1 r7 [5 A0 A1 I" X; r9 Z1 {( V1 m
    Runtime error in 'in': Bad argument types
      `1 _$ T6 G1 d) U* L5 G6 k2 H" S2 r. I1 ~1 i% z" y
    $ {  a1 R( E% L5 @! F
    >> FF in PFS;9 k' i& t- M+ v4 ^: `3 j- Q
          ^
    ' s/ e0 {+ M; F0 s* M. Y5 ]8 q8 dRuntime error in 'in': Bad argument types
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-7-10 01:32 , Processed in 0.631859 second(s), 52 queries .

    回顶部