离散数学

第一节 命题与命题联结词语

1. 命题与命题的表示

1.推理:由一个或几个已知的前提,推导出一个未知结论的思维过程称为推理。
2.推理的基本要素就是表达这些前提的一些==陈述句==
  1. 命题的否定
  2. 命题的和取
  3. 命题的析取
  4. 条件命题
  5. 双条件命题

第二节 命题公式

  1. 和式公式及联结词的优先次序
  2. 真值指派
  3. 等价命题
  4. 重言式、矛盾式与可满足式

第三节 等值演算

第四节 范式

第五节 主范式

第六节 自然推理系统

第七节 谓词的概念与表示

第八节 量词与合式公式

第九节 谓词演算的等价式与蕴含式

第十节 前束范式与谓词演算的推理理论

第十一节 集合的基本概念

第十二节 集合运算

第十三节 有序对与笛卡尔积

第十四节 关系及关系的性质

第十五节 关系的运算

第十六节 等价关系与序关系

第十七节 函数

第十八节 代数系统

第十九节 群与半群

第二十节 环与域

第二十一节 格的基本概念

第二十二节 分配格与有补格

第二十三节 布尔代数

第二十四节 图的基本概念

第二十五节 图的联通性

第二十六节 图的表示

第二十七节 欧拉图与哈密顿图

第二十八节 平面图

第二十九节 数及其遍历

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值