Subversion Repositories wimsdev

Rev

Rev 11076 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
17193 bpr 1
 <b>有限集合(按字面区别的、形式的或近似的).</b> (名称: <span class="tt">set</span>, <span class="tt">fset</span><span class="tt">aset</span>) <br>
11076 bpr 2
 这是一列以逗号相隔的元素表, 其次序无关紧要.
133 bpr 3
<p>
5903 bpr 4
对于 <span class="tt">set</span>, 各元素只进行字符比较而无求值过程 (因此 21+1 不代表同一元素).
5
但是如果选项中有 <span class="tt">repeat</span>, 那么具有正确重复度的元素才是正确的,
2071 zjchen 6
否则只能算部分正确.
11076 bpr 7
 </p><p>
5903 bpr 8
对于  <span class="tt">fset</span>, 其中元素被看作<em>形式表达式</em>予以求值.
11076 bpr 9
 </p><p>
5903 bpr 10
对于 <span class="tt">aset</span>, 其中元素被看作<em>近似表达式</em>予以求值.
11076 bpr 11
</p>