离散数学【详解】-自学考试湖北,争取做到识字都能看懂。

本文主要是介绍离散数学【详解】-自学考试湖北,争取做到识字都能看懂。,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

回顾8年前,我记得我大学高数没复习,考了23分。

今天公司代码写完了,明天清明节,写篇文章磨磨时间。

我的文章,没有一篇不是磨时间能好好写出来的。 ----我


先列标题,比如h1,h2,这些内容。然后往里面填字,然后读一下改改,有例子的补充一下备注,大概我想写这篇文章的想法就这

逻辑

命题

命题,一个最简单的判断

什么是命题?能够【判断真假】的【陈述句】。看起来很简单对吧?

争议的例子

小明是一条狗【ps,这里只是形象举例,并不是得罪叫小明的人...】。真还是假?很多人不用质疑的就说,是假的,人怎么可能是狗呢?没错,可是我说小明是人了吗?假设我养了一条狗,就叫小明呢?那不就是真命题了。所以这是一个命题,但是不一定是真命题或者是假命题,要看条件。

例子1

假如这条狗叫小明,那么小明是一条狗。这个呢?是对的,很多人这样说,但是小明有千千万万,那么小明也可能是人或者其他呢。所以这里引入了一个条件,叫做【当且仅当】,当且仅当这条狗叫小明,那么小明是一条狗,恭喜!成立!真命题。

例子2

天鹅的羽毛是黑的。在很久之前是假命题,但是现在有黑天鹅。那么就是真命题。所以记住,命题真假以当前人们的认知为主。而不是过去或者未来的认知。所以请不要异想天开。

命题公式

啥是命题公式?一个命题能叫公式吗?不能。和数学公式一样,什么是数学公式?就是把各个数字进行符号组合,对吧。那命题公式也是一样,把各个【命题】与【符号】进行组合

命题我已经说了,“当且仅当这条狗叫小明,那么小明是一条狗。真命题”,那么,我们来聊聊符号吧。

符号

或,析取,指派是啥意思?

先来个例子,我给2个命题,从10楼跳下去会摔死记为A,装了竹蜻蜓摔不死记为B。

A 或 B,他是真还是假命题?A成立吧,他是真命题,B不成立,他是假命题(他只有在机器猫动画片里才成立)。所以他是真命题。为什么???下面就来学习我们第一个符号,或。

 在数学里用【U】或者【V】表示 也能表示【析取】,在代码里常用or或者|表示。

或,只要左边或者右边,有一个成立,那么他整个就成立,这个命题公式就是真命题。

总结一下,【A 或 B】 称为 【命题公式】 ,【A】 在没有赋值(也叫指派)的情况下称为【变元】 ,B也是变元。代码里叫变量。【赋值】就是【把具体的命题换到变元里】。

考试的同学需要花1分钟记住以下内容,考试时候再次背一遍

A 或 B】 称为 【命题公式】
【A】 在没有赋值(也叫指派)的情况下称为【变元】 ,B也是变元

赋值】就是【把具体的命题换到变元里】

判断真假】的【陈述句】是命题

【命题】与【符号】进行组合就是【命题公式】
【或】 数学里用【U】或者【V】表示 也能表示【析取】,只要有一个成立则都成立

合取,并且,否定

这个倒着的析取就是合取,代表的是肯定,A ^ B,代表的是A 并且 B。

2边同时为真才是真。

这个是否定,这个打不出来。

我就叫它横折吧。横折A,代表A的否定,假如A是真,那么结果就是假。横折 横折 A,假如A是真,那么他的否定的否定也是真。

30秒记忆

横折代表否定,双重否定表肯定

合取式,代表并且,像一座三角的山。2边同时为真,才是真。

条件联接词、双条件联接词

联接词是啥?就是我们经常用的联接用的,比如,如果,xxxx,就,xxxxx。这里的【如果】和【就】都称为联接词,那什么是条件联接词?顾名思义就是加了条件的联接词。如果【xxxx】 就称为条件。

——> 右边箭头是条件联接词。 

<——> 双箭头是双条件联接词。

例子,前真后假,条件假。  

1分钟记忆

条件联接词 就是【常用的联接词】 后面 【跟了带条件句子】。

谓词命题

参考:

自考02324离散数学第一章思维导图_自考离散数学知识点-CSDN博客

离散数学知识点总结-CSDN博客

这篇关于离散数学【详解】-自学考试湖北,争取做到识字都能看懂。的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/874018

相关文章

使用Python删除Excel中的行列和单元格示例详解

《使用Python删除Excel中的行列和单元格示例详解》在处理Excel数据时,删除不需要的行、列或单元格是一项常见且必要的操作,本文将使用Python脚本实现对Excel表格的高效自动化处理,感兴... 目录开发环境准备使用 python 删除 Excphpel 表格中的行删除特定行删除空白行删除含指定

MySQL中的LENGTH()函数用法详解与实例分析

《MySQL中的LENGTH()函数用法详解与实例分析》MySQLLENGTH()函数用于计算字符串的字节长度,区别于CHAR_LENGTH()的字符长度,适用于多字节字符集(如UTF-8)的数据验证... 目录1. LENGTH()函数的基本语法2. LENGTH()函数的返回值2.1 示例1:计算字符串

Spring Boot spring-boot-maven-plugin 参数配置详解(最新推荐)

《SpringBootspring-boot-maven-plugin参数配置详解(最新推荐)》文章介绍了SpringBootMaven插件的5个核心目标(repackage、run、start... 目录一 spring-boot-maven-plugin 插件的5个Goals二 应用场景1 重新打包应用

mybatis执行insert返回id实现详解

《mybatis执行insert返回id实现详解》MyBatis插入操作默认返回受影响行数,需通过useGeneratedKeys+keyProperty或selectKey获取主键ID,确保主键为自... 目录 两种方式获取自增 ID:1. ​​useGeneratedKeys+keyProperty(推

Python通用唯一标识符模块uuid使用案例详解

《Python通用唯一标识符模块uuid使用案例详解》Pythonuuid模块用于生成128位全局唯一标识符,支持UUID1-5版本,适用于分布式系统、数据库主键等场景,需注意隐私、碰撞概率及存储优... 目录简介核心功能1. UUID版本2. UUID属性3. 命名空间使用场景1. 生成唯一标识符2. 数

Linux系统性能检测命令详解

《Linux系统性能检测命令详解》本文介绍了Linux系统常用的监控命令(如top、vmstat、iostat、htop等)及其参数功能,涵盖进程状态、内存使用、磁盘I/O、系统负载等多维度资源监控,... 目录toppsuptimevmstatIOStatiotopslabtophtopdstatnmon

java使用protobuf-maven-plugin的插件编译proto文件详解

《java使用protobuf-maven-plugin的插件编译proto文件详解》:本文主要介绍java使用protobuf-maven-plugin的插件编译proto文件,具有很好的参考价... 目录protobuf文件作为数据传输和存储的协议主要介绍在Java使用maven编译proto文件的插件

Android ClassLoader加载机制详解

《AndroidClassLoader加载机制详解》Android的ClassLoader负责加载.dex文件,基于双亲委派模型,支持热修复和插件化,需注意类冲突、内存泄漏和兼容性问题,本文给大家介... 目录一、ClassLoader概述1.1 类加载的基本概念1.2 android与Java Class

Java中的数组与集合基本用法详解

《Java中的数组与集合基本用法详解》本文介绍了Java数组和集合框架的基础知识,数组部分涵盖了一维、二维及多维数组的声明、初始化、访问与遍历方法,以及Arrays类的常用操作,对Java数组与集合相... 目录一、Java数组基础1.1 数组结构概述1.2 一维数组1.2.1 声明与初始化1.2.2 访问

SpringBoot线程池配置使用示例详解

《SpringBoot线程池配置使用示例详解》SpringBoot集成@Async注解,支持线程池参数配置(核心数、队列容量、拒绝策略等)及生命周期管理,结合监控与任务装饰器,提升异步处理效率与系统... 目录一、核心特性二、添加依赖三、参数详解四、配置线程池五、应用实践代码说明拒绝策略(Rejected