以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  [求助]问2个离散问题和1个ds问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=62114)


--  作者:fgffggfg
--  发布时间:5/3/2008 4:39:00 PM

--  [求助]问2个离散问题和1个ds问题
2个离散问题:
   1、空集的幂集是{空集}吧?
 2、任意xA(x)=>A(x)正确吗?这个规则的名字叫什么,书上好象没有写。
       ( x属于A)合取(任意x(x属于A->x属于B))=>x属于B  这个推理应用的是什么规则呢?
1个ds问题:
    const elem &item 这个参数的写法表示什么呢?
    可以类比const elem *item的用法么?
谢谢~~~~~
--  作者:jason_00
--  发布时间:5/3/2008 6:24:00 PM

--  
跟着感觉回答你的问题
1>应该是{Ф}
2>不清楚,第2个好像是什么三段论
3>引用是避免拷贝,const是避免修改 ,用常数指针来代替也可以,不过c++里还是习惯用引用
--  作者:冬天的农夫
--  发布时间:5/4/2008 12:04:00 PM

--  
1. 有一个算幂集的公式:设|A|=n 则|A的幂集|=2^n
自己就可以从这个概念和公式中找出关系。
2.可以,好像叫什么引入。老师的课件上有这个部分。
3.貌似不是ds的问题。。。说白了就是为了防止改变,不过要赋初值。
--  作者:Logician
--  发布时间:5/4/2008 4:27:00 PM

--  
1. 是
2. 正确。在数理逻辑编有讲,叫全称量词消去。
--  作者:fgffggfg
--  发布时间:5/5/2008 8:24:00 AM

--  
谢谢,谢谢啦~
--  作者:bravery
--  发布时间:5/11/2008 2:35:00 PM

--  
1 Ф 的幂集是{Ф}
2
(1) 正确,用谓词逻辑推理的全称量词消去可证明
(2) 推理过程正确, 但没有对应的规则
3 晕,这么简单,不回答罢了

W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms