![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
大一下离散数学I实验
水之积也不厚,则其负大舟也无力
渣硕求个大厂实习。。。
展开
-
求命题公式的主范式
成绩 100 开启时间 2017年04月6日 星期四 08:00 折扣 0.8 折扣时间 2017年05月5日 星期五 08:00 允许迟交 否 关闭时间 2017年05月18日 星期四 23:55 实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式原创 2018-01-09 16:19:38 · 2921 阅读 · 0 评论 -
消解算法
成绩 100 开启时间 2017年04月6日 星期四 08:00 折扣 0.8 折扣时间 2017年05月5日 星期五 08:00 允许迟交 否 关闭时间 2017年05月18日 星期四 23:55 实现功能:消解算法 输入:合式公式 A 的合取范式 输出:当 A 是可满足时,回答“转载 2018-01-09 16:21:17 · 5508 阅读 · 2 评论 -
求关系的传递闭包
成绩 10 开启时间 2017年04月26日 星期三 14:55 折扣 0.8 折扣时间 2017年05月15日 星期一 14:55 允许迟交 否 关闭时间 2017年06月1日 星期四 14:55 输入 一次输入一个关系矩阵,每一行两个相邻元素之间用一个空格隔开,输入元素的行与列分别原创 2018-01-09 16:22:29 · 4130 阅读 · 0 评论 -
求偏序集中的极大元与极小元
输入 输入偏序集£>,A中的元素数不超过20个,分别用单个小写的英文字母表示。 输入的第一行给出A中的各个元素,两个相邻的元素之间用逗号隔开。 输入的第二行给出偏序关系£,用有序对的形式给出(只给出哈斯图中的满足覆盖的两个元素形成的有序对),如,等等,两个相邻的有序对之间用逗号隔开。 输出 输出A的极小元与极大元。 输出的第一行给出各个极小元,两个相邻元原创 2018-01-09 16:23:37 · 1232 阅读 · 1 评论