免费注册	查看新帖 \|

广告


平台论坛博客文库

› 论坛 › 程序设计 › C/C++ › 离散数学中集合的可满足性

最近访问板块

发新帖

查看: 1203 | 回复: 7

上一主题

下一主题

离散数学中集合的可满足性 [复制链接]

论坛徽章:: 0

电梯直达

跳转到指定楼层

1楼 [收藏(0)] [报告]

发表于 2005-09-20 10:03 |只看该作者 |倒序浏览

设有集合 people={亚历克斯,安妮,亨利}
可以认为x和y是属于类型people的.

x=亚历克斯 ^ y=安妮是可满足的,请你说说为什么呢?

^(是并的符号)

文库|博客

论坛徽章:: 1

荣誉版主
日期:2011-11-23 16:44:17

2楼 [报告]

发表于 2005-09-20 10:20 |只看该作者

离散数学中集合的可满足性

不太懂，不过我看没问题呀，就是同时成立吧？

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

3楼 [报告]

发表于 2005-09-20 11:06 |只看该作者

离散数学中集合的可满足性

有解就是可满足的。

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

4楼 [报告]

发表于 2005-09-20 11:24 |只看该作者

离散数学中集合的可满足性

可满足？
就是说，合取，析取后得到的结果都一样吧？（都为真（1），或者都为假（0））
这样的叫绝对吧？
如果不完全一样，就叫可满足
半年前学的，没好好学，但是大概意思知道了

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

5楼 [报告]

发表于 2005-09-20 11:56 |只看该作者

离散数学中集合的可满足性

就是说 people 中存在 x, y 使得你那个逻辑表达式的之值为真。

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

6楼 [报告]

发表于 2005-09-20 12:12 |只看该作者

离散数学中集合的可满足性

定义：如果公式A的每个赋值都是成真赋值，称A为永真式，也称重言式。
如果公式A的每个赋值都是成假赋值，称A为永假式，也称矛盾式。
如果公式A的赋值至少有一个成真赋值，则称A为可满足式

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

7楼 [报告]

发表于 2005-09-20 13:38 |只看该作者

离散数学中集合的可满足性

x=亚历克斯 ^ y=安妮没可能赋值至少有一个成真吧?

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

论坛徽章:: 0

8楼 [报告]

发表于 2005-09-20 14:11 |只看该作者

离散数学中集合的可满足性

因为是可满足
所以可能有一个不是人

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

发新帖

Chinaunix › 论坛 › 程序设计 › C/C++ › 离散数学中集合的可满足性

北京盛拓优讯信息技术有限公司. 版权所有京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号：11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员联系我们：huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP