注意：此页面搜索的是所有试题
河南理工大学-计算机科学与技术-离散数学
[应用题,10分] 令p：他是计算机系本科生 q：他是计算机系研究生 r：他学过DELPHI语言 s:他学过C++语言 t:他会编程序 前提：(p∨q)→(r∧s),(r∨s)→t 结论：p→t证①p P(附加前提) ②p∨q T①I ③(p∨q)→(r∧s) P(前提引入) ④r∧s T②③I ⑤r T④I ⑥r∨s T⑤I ⑦(r∨s)→t P(前提引入) ⑧t T⑤⑥I
[应用题,10分] 在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。
[应用题,10分] 在20名青年有10名是公司职员,12名是学生,其中5名既是职员又是学生,问有几名既不是职员,又不是学生。
[应用题,10分] 某班有25名学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。而6个会打网球的人都会打另外一种球，求不会打这三种球的人数。
[应用题,10分] 已知带权图G，如右图所示．试求图G的最小生成树，并计算该生成树的权．
[应用题,10分] 求一棵带权为1，1，1，2，2，3，4，5的最优二元树T，并计算它的权W(T)。
[应用题,10分] 在具有n个顶点的完全图Kn中删去多少条边才能得到树？
[应用题,10分] 某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)若C去，则D留下。
[应用题,10分] 在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。
[应用题,10分] 在20名青年有10名是公司职员,12名是学生,其中5名既是职员又是学生,问有几名既不是职员,又不是学生。
[应用题,10分] 某班有25名学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。而6个会打网球的人都会打另外一种球，求不会打这三种球的人数。
[应用题,10分] 已知带权图G，如右图所示．试求图G的最小生成树，并计算该生成树的权．
[应用题,10分] 求一棵带权为1，1，1，2，2，3，4，5的最优二元树T，并计算它的权W(T)。
[应用题,10分] 在具有n个顶点的完全图Kn中删去多少条边才能得到树？
[应用题,10分] 某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)若C去，则D留下。