|
以文本方式查看主题 - 中文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 |