中科大计算机复试笔试部分 09-15
整理版
2010中科大计算机复试内容 笔试:
离散8道大题,1小时。难度不是很大,但是时间很紧。
第一题:是一个等价命题的判断,不难。
第二题:所有羊都是吃草的,所有死羊都是不吃草的,所以死羊不是羊。 能得出这个结论吗,证明之!
第三题:
‘+’,‘-’,|x-y|,Min在实数集内是不是可交换的,可结合的,是否有逆元,是否有幺元
第四题:证明N={0,1,2,3,4},N对+mod5是群,N-{0}对*mod5是群 第六题:R和S都是A上的自反,对称,传递关系,求R交S的自反,对称,传递闭包是什么
第七题:给一个5个节点的图,画出方向矩阵,然后问从A到B长度为4的路径的条数 第八题:一个连通图所有顶点的度为偶数,证明删除一个顶点后,连通分量数目小于等于deg(v), v是顶点
编译原理 也是1小时
第一题:写出生成由a,b组成,且不含2个连续的a的字符串的正规式,并画出最简的DFA 第二题:简述SLR,LR,LALR所描述的语言集合的关系
第三题:给了2个函数f(),g(),f()中调用了g(), 画出程序运行时的 活动记录站的结构,以及控制链,假设返回值用寄存器存储
第四题:struct stu{ int n; long m}val;
main()
{ struct stu{int n;long m;}val;
f(val);
}
为什么f(val)会提示类型不匹配
第五题:题目记不清了,就是3个指针指来指去的,然后问你最后结果多少
2011中科大计算机复试内容
离散数学:(与编译一起两个小时)
比较简单,好好看书一定没问题。图那一章只考书上的简单定理证明。11年考的是证明度数等于顶点数的两倍!有一个群的证明题,很简单,有两个命题的证明,有两个谓词命题的判断(求真值)然后举反例或证明。还有一个是求最小生成树(数据结构学过的)。
1、找出一个正规式,它所表示的语言就是右边的DFA所接受的语言。并请依据教材上提供的方法确认该 DFA是最简的DFA。
2、下面是类型表达式的语法:
type ->integer | boolean | array[num] of type | recordfield_listend |type