复试相关华师13-15题目.pdf

2015 离散：(仅列出了往年没涉及到的考点) 1.单射 2.二元关系的复合 3.哈赛图的上下确界 上下界 4.谓词逻辑的符号化 0S: 操作系统全部都是选择题,考点很杂,都是挺基础的 2014 离散： 一. 3 小题，判断并证明下列蕴含式、等价式（“->”、“<——>”）是 式、永假式、还是可满足式（不能用真值表证明） 二、消去量词。给定A={a,b,c},消去 任意x 任意y P(x,y) 和存在x 任意y P(x,y) 三、写出从整数到正整数的满足以下条件的4 个函数： a.既是一一对应的，又是映上的 b.是映上