离散数学之学习笔记

第1部分 数量逻辑

第1章 命题逻辑的基本概念

学习难点:

  • 理解悖论的概念。

1.1 命题与联结词

1.1.1 命题的概念

非真即假的陈述句称为命题

作为命题的陈述句所表达的判断结果称作命题的真值 ,真值的取值只有两个:

真值为真的命题称为真命题。真值为假的命题称为假命题

不能被分解成更简单的命题称为简单命题原子命题 。由简单命题通过联结词联结而成的命题,称为复合命题

判断命题的步骤:(1)判断它是否为陈述句;(2)判断它是否有唯一的真值。

可以用字母p,q,r,s表示命题。

1.1.2 悖论

由真能推出假、又由假能推出真,从而既不能为真,也不能为假的陈述句称作悖论。

1.1.3 五个定义

定义1.1 设p为命题

1.2命题公式其赋值

第2章 命题逻辑等值演算

第3章 命题逻辑的推理理论

第4章 一阶逻辑基本概念

第5章 一阶逻辑等值演算与推理

第2部分 集合论

第3部分 代数结构

第4部分 组合数学

第5部分 图论

第6部分 初等数论

相关推荐
沐苏瑶37 分钟前
计算机网络核心笔记:打通 TCP/UDP 与 HTTP/HTTPS 底层逻辑(重点上)
笔记·计算机网络·http·https
天天爱吃肉82181 小时前
AI Agent时代你的经验值多少钱?
人工智能·python·功能测试·学习·汽车
hongyucai5 小时前
随意学习-模型工程:因子、隐空间、采样策略
学习
Amazing_Cacao9 小时前
CFCA精品可可产区风土体系(亚洲):彻底拒绝应试背诵,将感官复核作为检验真实物理差异的唯一铁律
学习
谙弆悕博士13 小时前
信息系统项目管理师教程(第4版)笔记——第 2 章 信息技术发展
笔记·职场和发展·软考高级·软考·高项·项目经理
wp123_114 小时前
【硬件选型笔记】TONEVEE MVL4020-1R2M 与Coilcraft XAL4020-122MEC 大电流功率电感参数深度解析
笔记
aaaameliaaa14 小时前
指针之总结
c语言·笔记·算法
caimouse15 小时前
protoc-gen-c 支持 proto3 `optional` 关键字修改记录
c语言·学习
撩得Android一次心动15 小时前
Linux编程笔记3【个人用】
linux·笔记
憧憬成为java架构高手的小白15 小时前
黑马八股--中间件学习之MQ(RabbitMQ)
学习·中间件