计算机复试真题.pdfVIP

共计40分；

第二题是（谓词逻辑）命题符号化，具体记不清楚了

但是不是很难；

第三题推理证明，前提：∃x(A(x)∧∀y(B(y)→C(x,y)))，

∀x(A(x)→∀y(D(y)→¬C(x,y)))结论：∀x(A(x)→¬D(x))；

第四题：代数系统的一道证明题，共三个小问，第一

问证明等价关系，第二问是同于关系证明，最后一问

求划分；

第五题：格与布尔代数，好像给了一个分配格，当时

这块儿没复习，完全不会；

第六题：图论证明，证明一个n个顶点，m条边的一

个无向简单平面图，其中边数m30,求证：至少存在

一个度不大于4的顶点；

第七题：树的证明（好像是这个），证明一个二叉树叶

1.设计一个字符串过滤程序：从键盘输入小写字母（a-

-z）组成的字符串，若其中出现重复字符，将非首次出

现的字符过滤掉。如输入：asdfsadsadsa输出：asdf。

2.给定一个整数t，以及n个整数，在这n个整数中找

到加和为t的所有组合。

如输入t=4，n=6，这6个数为432211，则输出结果为

4，3+1，2+2和2+1+1。

3.约瑟夫环问题：n个人围成一圈，从1-n编号，从第

s个人开始进行1-m的报数，报到m的人出列，并继

续1-m的报数，直到所有人出列为止，求这n个人的

出列顺序。

感谢强哥帮忙回忆离散的，希望对16考研的学弟

学妹能有所帮助,祝大家考研顺利，我们兰大见!