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

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

回顾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

相关文章

idea的终端(Terminal)cmd的命令换成linux的命令详解

《idea的终端(Terminal)cmd的命令换成linux的命令详解》本文介绍IDEA配置Git的步骤:安装Git、修改终端设置并重启IDEA,强调顺序,作为个人经验分享,希望提供参考并支持脚本之... 目录一编程、设置前二、前置条件三、android设置四、设置后总结一、php设置前二、前置条件

python中列表应用和扩展性实用详解

《python中列表应用和扩展性实用详解》文章介绍了Python列表的核心特性:有序数据集合,用[]定义,元素类型可不同,支持迭代、循环、切片,可执行增删改查、排序、推导式及嵌套操作,是常用的数据处理... 目录1、列表定义2、格式3、列表是可迭代对象4、列表的常见操作总结1、列表定义是处理一组有序项目的

python使用try函数详解

《python使用try函数详解》Pythontry语句用于异常处理,支持捕获特定/多种异常、else/final子句确保资源释放,结合with语句自动清理,可自定义异常及嵌套结构,灵活应对错误场景... 目录try 函数的基本语法捕获特定异常捕获多个异常使用 else 子句使用 finally 子句捕获所

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

SQL Server 中的 WITH (NOLOCK) 示例详解

《SQLServer中的WITH(NOLOCK)示例详解》SQLServer中的WITH(NOLOCK)是一种表提示,等同于READUNCOMMITTED隔离级别,允许查询在不获取共享锁的情... 目录SQL Server 中的 WITH (NOLOCK) 详解一、WITH (NOLOCK) 的本质二、工作

springboot自定义注解RateLimiter限流注解技术文档详解

《springboot自定义注解RateLimiter限流注解技术文档详解》文章介绍了限流技术的概念、作用及实现方式,通过SpringAOP拦截方法、缓存存储计数器,结合注解、枚举、异常类等核心组件,... 目录什么是限流系统架构核心组件详解1. 限流注解 (@RateLimiter)2. 限流类型枚举 (

Java Thread中join方法使用举例详解

《JavaThread中join方法使用举例详解》JavaThread中join()方法主要是让调用改方法的thread完成run方法里面的东西后,在执行join()方法后面的代码,这篇文章主要介绍... 目录前言1.join()方法的定义和作用2.join()方法的三个重载版本3.join()方法的工作原

Spring AI使用tool Calling和MCP的示例详解

《SpringAI使用toolCalling和MCP的示例详解》SpringAI1.0.0.M6引入ToolCalling与MCP协议,提升AI与工具交互的扩展性与标准化,支持信息检索、行动执行等... 目录深入探索 Spring AI聊天接口示例Function CallingMCPSTDIOSSE结束语

C语言进阶(预处理命令详解)

《C语言进阶(预处理命令详解)》文章讲解了宏定义规范、头文件包含方式及条件编译应用,强调带参宏需加括号避免计算错误,头文件应声明函数原型以便主函数调用,条件编译通过宏定义控制代码编译,适用于测试与模块... 目录1.宏定义1.1不带参宏1.2带参宏2.头文件的包含2.1头文件中的内容2.2工程结构3.条件编

PyTorch中的词嵌入层(nn.Embedding)详解与实战应用示例

《PyTorch中的词嵌入层(nn.Embedding)详解与实战应用示例》词嵌入解决NLP维度灾难,捕捉语义关系,PyTorch的nn.Embedding模块提供灵活实现,支持参数配置、预训练及变长... 目录一、词嵌入(Word Embedding)简介为什么需要词嵌入?二、PyTorch中的nn.Em