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

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

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

相关文章

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

2024年流动式起重机司机证模拟考试题库及流动式起重机司机理论考试试题

题库来源:安全生产模拟考试一点通公众号小程序 2024年流动式起重机司机证模拟考试题库及流动式起重机司机理论考试试题是由安全生产模拟考试一点通提供,流动式起重机司机证模拟考试题库是根据流动式起重机司机最新版教材,流动式起重机司机大纲整理而成(含2024年流动式起重机司机证模拟考试题库及流动式起重机司机理论考试试题参考答案和部分工种参考解析),掌握本资料和学校方法,考试容易。流动式起重机司机考试技

OpenHarmony鸿蒙开发( Beta5.0)无感配网详解

1、简介 无感配网是指在设备联网过程中无需输入热点相关账号信息,即可快速实现设备配网,是一种兼顾高效性、可靠性和安全性的配网方式。 2、配网原理 2.1 通信原理 手机和智能设备之间的信息传递,利用特有的NAN协议实现。利用手机和智能设备之间的WiFi 感知订阅、发布能力,实现了数字管家应用和设备之间的发现。在完成设备间的认证和响应后,即可发送相关配网数据。同时还支持与常规Sof

hdu 2093 考试排名(sscanf)

模拟题。 直接从教程里拉解析。 因为表格里的数据格式不统一。有时候有"()",有时候又没有。而它也不会给我们提示。 这种情况下,就只能它它们统一看作字符串来处理了。现在就请出我们的主角sscanf()! sscanf 语法: #include int sscanf( const char *buffer, const char *format, ... ); 函数sscanf()和

软考系统规划与管理师考试证书含金量高吗?

2024年软考系统规划与管理师考试报名时间节点: 报名时间:2024年上半年软考将于3月中旬陆续开始报名 考试时间:上半年5月25日到28日,下半年11月9日到12日 分数线:所有科目成绩均须达到45分以上(包括45分)方可通过考试 成绩查询:可在“中国计算机技术职业资格网”上查询软考成绩 出成绩时间:预计在11月左右 证书领取时间:一般在考试成绩公布后3~4个月,各地领取时间有所不同

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

系统架构师考试学习笔记第三篇——架构设计高级知识(20)通信系统架构设计理论与实践

本章知识考点:         第20课时主要学习通信系统架构设计的理论和工作中的实践。根据新版考试大纲,本课时知识点会涉及案例分析题(25分),而在历年考试中,案例题对该部分内容的考查并不多,虽在综合知识选择题目中经常考查,但分值也不高。本课时内容侧重于对知识点的记忆和理解,按照以往的出题规律,通信系统架构设计基础知识点多来源于教材内的基础网络设备、网络架构和教材外最新时事热点技术。本课时知识

K8S(Kubernetes)开源的容器编排平台安装步骤详解

K8S(Kubernetes)是一个开源的容器编排平台,用于自动化部署、扩展和管理容器化应用程序。以下是K8S容器编排平台的安装步骤、使用方式及特点的概述: 安装步骤: 安装Docker:K8S需要基于Docker来运行容器化应用程序。首先要在所有节点上安装Docker引擎。 安装Kubernetes Master:在集群中选择一台主机作为Master节点,安装K8S的控制平面组件,如AP

嵌入式Openharmony系统构建与启动详解

大家好,今天主要给大家分享一下,如何构建Openharmony子系统以及系统的启动过程分解。 第一:OpenHarmony系统构建      首先熟悉一下,构建系统是一种自动化处理工具的集合,通过将源代码文件进行一系列处理,最终生成和用户可以使用的目标文件。这里的目标文件包括静态链接库文件、动态链接库文件、可执行文件、脚本文件、配置文件等。      我们在编写hellowor

LabVIEW FIFO详解

在LabVIEW的FPGA开发中,FIFO(先入先出队列)是常用的数据传输机制。通过配置FIFO的属性,工程师可以在FPGA和主机之间,或不同FPGA VIs之间进行高效的数据传输。根据具体需求,FIFO有多种类型与实现方式,包括目标范围内FIFO(Target-Scoped)、DMA FIFO以及点对点流(Peer-to-Peer)。 FIFO类型 **目标范围FIFO(Target-Sc