大一下离散数学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 · 2955 阅读 · 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 · 5591 阅读 · 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 · 4158 阅读 · 0 评论 -
求偏序集中的极大元与极小元
输入输入偏序集£>,A中的元素数不超过20个,分别用单个小写的英文字母表示。输入的第一行给出A中的各个元素,两个相邻的元素之间用逗号隔开。输入的第二行给出偏序关系£,用有序对的形式给出(只给出哈斯图中的满足覆盖的两个元素形成的有序对),如,等等,两个相邻的有序对之间用逗号隔开。输出输出A的极小元与极大元。输出的第一行给出各个极小元,两个相邻元原创 2018-01-09 16:23:37 · 1237 阅读 · 1 评论