离散数学之学习笔记

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

相关推荐
zyf10441624 分钟前
暑期实践日志 Day47:复盘第七章内容,规整对应成果
学习·计算机网络·剪辑·暑期实践·课题任务
传奇开心果编程26 分钟前
【Rust入门知识点学与练】第10课:Option 和 Result(错误处理入门)
开发语言·学习·rust
喵的前端路26 分钟前
《EDVAC》学习记录(第二部分)
学习
lee_curry44 分钟前
AI Agent 工程师完整学习路线(面向生产级项目与面试)
人工智能·学习·ai·面试·agent
小毛驴8501 小时前
前端开发学习路线可以分为几个层次
学习
血小板要健康1 小时前
链表 阶段算法总结
java·数据结构·笔记·算法·leetcode·链表
star learning white1 小时前
STM32入门学习3
stm32·单片机·学习
浔溺1 小时前
al+大数据每日学习笔记31
大数据·笔记·学习
!!!!8131 小时前
AI Coding学习
学习
摇滚侠1 小时前
《SpringBoot 3:入门与应用实战》第 9 章 跨域问题 阅读笔记 27
spring boot·笔记·okhttp