2021年软件工程专业-离散数学-考试大纲（专插本）.docxVIP

吉林大学珠海学院 2021年本科插班生招生入学考试 《软件工程》专业考试大纲 考试科目名称：离散数学 一、考试的内容、要求和目的 1、考试内容： 第一章 集合、映射与运算 （考核比重：10%） （1）集合的有关概念 （2）映射的有关概念 （3）运算的定义及性质 （4）集合的运算 （5）集合的划分与覆盖 第二章 关系 （考核比重：15%） （1）关系的概念 （2）关系的运算 （3）关系的性质 （4）关系的闭包 （5）等价关系 （6）相容关系 （7）偏序关系 第三章 命题逻辑 （考核比重：15%） （1） 命题的有关概念 （2） 逻辑联结词 （3） 命题公式及其真值表 （4） 命题等值的命题公式 （5） 命题公式的范式 （6） 联结词集合的功能完备性 （7） 命题逻辑中的推理 第四章 谓词逻辑 （考核比重：15%） （1） 个体、谓词、量词和函词 （2） 谓词公式及命题的符号化 （3） 谓词公式的解释及类型