我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:小鱼儿玄机1站开奘结果 > 前束范式 >

问个事有人知道离散数学的复习要点吗

归档日期:06-06       文本归类:前束范式      文章编辑:爱尚语录

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

   基础:连接词、命题公式的定义与解释;等价式、蕴含式、对偶式; 公式的类型; 常用最小连接词组; 大小项及其性质; 2种主范式的求解

   辖域与约束变元、自由变元的判断;公式的类型; 谓词等价式与蕴含式; 前束范式的求解;

   命题的翻译以及一阶逻辑推理、各类推理规则及运用、推理格式

   集合的运算(交并补,对称差); 容斥原理公式;笛卡尔积与序偶

   3种特殊关系(恒等关系、全关系、空关系); 关系的运算(逆、合成);

   关系3种表示的转换与求解(集合、图、矩阵); 关系5种性质的判断与证明、以及在各种表示中的反映;

   相容关系与覆盖、等价关系与划分(等价类)的相互求解、证明; 偏序关系的定义与性质、相关概念(最大最小元、极大极小元、上下界、最小上界、最大下界;存在与唯一)及其判断

   证明与求解:代数系统的定义、集合上的运算(可计算、结果唯一、封闭性);6种运算律、3种特殊元素(存在与唯一)、及其在运算表中的反映(注意某些性质的证明时左右方向的要求); 子代数、积代数的运算、特殊元素; 以上各种概念常见的例子

   半群、含幺半群(独异点)、群的联系与区别、判别与证明,特殊元素的求解;

   群的性质,子群的概念、判定; 群的阶、元素的阶、生成子群;

   格的定义(2种)与性质,格的对偶,分配格的定义与性质,有界格、补元(存在与唯一),有补格的判断,布尔代数的定义与性质;

本文链接:http://scrinzoom.com/qianshufanshi/169.html