离散数学之学习笔记

第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部分 初等数论

相关推荐
编程版小新15 分钟前
Day1:体验产品,以画图方式梳理用户操作和管理员操作
学习
yang)18 分钟前
jesd204B应用笔记
网络·笔记
三品吉他手会点灯1 小时前
STM32F103 学习笔记-24-I2C-读写EEPROM(第2节)-I2C协议层介绍
笔记·stm32·学习
z200509301 小时前
【C++学习】C++ 类型转换深度解析:从 C 风格缺陷到 C++ 四种安全转换的思想内核
c语言·c++·学习
三品吉他手会点灯2 小时前
STM32F103 学习笔记-24-I2C-读写EEPROM(第3节)-STM32的I2C框图详解
笔记·stm32·学习
sheeta19982 小时前
LeetCode 每日一题笔记 日期:2026.06.14 题目:2130. 链表最大孪生和
笔记·leetcode·链表
踏着七彩祥云的小丑2 小时前
嵌入式测试学习第 36 天:串口日志分析、通过日志定位简单问题
单片机·嵌入式硬件·学习
Flittly2 小时前
【AgentScope Java新手村系列】(7)子Agent编排
java·spring boot·笔记·spring·ai
MartinYeung52 小时前
[论文学习]LLM 情境学习资料的快速精确遗忘技术:基于 In-Context Learning 与量化 K-Means 的 ERASE 方法
学习·算法·kmeans
踏着七彩祥云的小丑2 小时前
Go学习第8天:接口 + 泛型 + 错误处理
开发语言·学习·golang·go