离散数学考试-葛元上海海事大学.docVIP

复习提纲： 一、 判断哪些是命题 1、指出下列哪些是命题，哪些不是命题 命题的表示（联结词），符号化命题 2、将下列命题符号化： 真值表（用来证明） 等价式的证明（用已知的等价式推导） 3、试证明下列等价式是否成立：?∧(┑Q∨R∨→ 蕴涵的证明、 对偶式（化对偶式） 写出主析（合）取范式（真值表，公式推导） *命题的推理（真值表，直接，间接） 二、 谓词公式的翻译（存在，全称） 约束变元及其换名 等价式和蕴涵式（转换，扩展和收缩，分配，多量词） 前束范式 *推理 三、 集合的表示 集合的运算（。。。。 幂集） *包含排斥 序偶（同集合） 关系（定义域，值域，特殊的关系，关系的表示特别是矩阵） *关系的性质（5大性质，） 复合关系和逆关系 关系的闭包运算（三个） 集合的划分和覆盖（能判断哪些是划分和覆盖） *等价关系（判定，要会用等价关系对集合划分） 序关系（判定，*哈斯图，链反链） *求极大（小），最大（小），上（下）界，上（下）确界 四、 *判定是否函数，满，入，双 逆函数、复合函数（判定原函数是满，入，双复合后是否满，入，双） *判定二个集合是否等势（构造双射函数） 有限集，无限集（可数， 不可数） 自然数 实数集 可列 五、 *代数运算的表示（运算表） *判断代数系统的运算性质：封闭，可交换，可结合，