我考的是南航的计算机科学与技术专业，汲取了我们备战时找题难的经验，今天回来把我记忆中的笔试试题贴出来，希望给13年的学弟学妹一点帮助。值得一说的是今年12年的复试与往年还是有不少变化的，不确定下届会怎么样，不管怎样，祝下届的好运吧
笔试科目：离散数学与编译原理
全部是大题，没有选择与填空
离散数学
1. 先用谓词符号表示，再给出证明:所有聪明和勤奋的人都会成功的，科学家都是聪明的，小明是科学家并且是勤奋的，所以小明能成功。
2. 定义C(X)=U{B|X包含于B} 这个20分
证明X包含于C(X)，证明C(C(X))包含于C(X)，若X包含于Y，证明C(X)包含于C（Y）.
3. 给出一个图，判断其是否为欧拉图，哈密顿图，平面图，二部图并给出理由 这个20分
4. 群的证明 这个15分
H，P是群G的子群，证明HnP也是G的子群；
证明PUH是G的子群，当且仅当包含于H，或者H包含于P。
编译原理
1、第一大题是基础概念题
第一小题是简述编译系统包括哪几个部分，每个部分分别有什么功能
第二小题是根据C语言的特点，说明C语言的存储方式分别有哪几种
第三小题是先写出一个句型的推导过程，然后写出语法树，写出所有短语，直接短语，句柄和素短语
本内容试读结束，登录后可阅读更多
下载后可阅读完整内容，剩余1页未读，立即下载
