中科院计算机研究所99年数学试题.docxVIP

中科院计算机技术研究所 1999 年硕士研究生入学考试试题 离散数学 一.(8 分)求与公式(x2 or not x1)-x3 逻辑等值的主合取范式和主析取范式. 二.(8 分)判断下列各公式是: 1.永真式 2.永假式 3.其它(1) (p-(q-r))-(q-(p-r)) (not p or q)-(p and(p and q)) (not p or q)and not(q or not r)and not(r or not p or not q) (q and p)-(p or q) 三.(9 分)问any x exist y P(x,y)-exist y any x P(x,y)是否谓词演算的有效式?证明你的结论. 四.(9 分)将下列推理符号化并给出形式证明: 鸟会飞,猴子不会飞;所以,猴子不是鸟. 五.(12 分)令X={x1,x2,...,xm},Y={y1,y2,...,yn},问: 有多少不同的由X 到Y 的关系? 有多少不同的由X 到Y 的影射? 有多少不同的由X 到Y 的单射，双射? 六.(8 分)设e 是奇数阶交换群G 的单元位,试证:G 的所有元素之积为e. 七.(15 分) ①是个群,H,K 是其子群,在 G 上定义二元关系R: any a,b in G,aRb =存在 h,k in k,使得 b=h*a*k,证明:R 是 G 上的等价关系. ② 在①中