自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(17)
  • 收藏
  • 关注

原创 离散数学------代数系统部分

代数系统简介一、 二元运算及其性质①、定义②、二元与一元运算的表示③、二元运算的性质④、特异元素:单位元、零元,逆元二、代数系统①、定义②、代数系统的成分与表示③、同类型与同种代数系统三、几个典型的代数系统①、半群、独异点与群②、环与域一、 二元运算及其性质①、定义②、二元与一元运算的表示③、二元运算的性质实例:④、特异元素:单位元、零元,逆元实例二、代数系统①、定义②、代数系统的成分与表示③、同类型与同种代数系统三、几个典型的代数系统

2020-06-29 18:56:10 1244

转载 离散数学知识点总结

总结 离散数学知识点http://blog.csdn.net/icepointline/article/details/37878441第二章 命题逻辑1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假;2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积;3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反;4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假;5.求范式时,为保证编码不错,命题变元

2020-06-29 17:49:51 6758 1

原创 离散数学--命题逻辑等值演算

一、基本等值式

2020-06-28 16:30:52 6309

原创 离散数学符号大全

├ 断定符(公式在 L 中可证)╞ 满足符(公式在 E上有效,公式在 E上可满足)┐命题的 “非”运算∧ 命题的 “合取 ”(“与”)运算∨ 命题的 “析取 ”(“或”,“可兼或 ”)运算→ 命题的 “条件 ”运算A<=>B 命题 A 与 B 等价关系A=>B 命题 A 与 B 的蕴涵关系A* 公式 A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的 “与非 ” 运算( “与非门 ” )↓ 命题的 “或非 ”运算( “或非门 ” )□模态词 “必然 ”◇

2020-06-27 17:34:13 21889 1

原创 Visio如何绘制E-R图?

①、首先创建一个空白绘图【其他绘图也可以】②、在更多形状中进行选择 如下图☟☟☟可以看到 如下图形: E-R图三要素 ,实体 、关系、 属性补充 :为什么选择Chen’s数据库表示法 ?【个人比较好奇】  ER模型最早由Peter Chen(陈品山)于1976年提出,并且它在数据库设计领域得到了广泛的认同。 【所以…】...

2020-06-26 19:51:06 19019 3

转载 数据库逻辑结构设计 → E-R图

ER图分为实体、属性、关系三个核心部分。实体是长方形体现,而属性则是椭圆形,关系为菱形。  ER图的实体(entity) 即数据模型中的数据对象,例如人、学生、音乐都可以作为一个数据对象,用长方体来表示,每个实体都有自己的实体成员(entity member)或者说实体对象(entity instance),例如学生实体里包括张三、李四等,实体成员(entity member)/实体实例(entity instance) 不需要出现在ER图中。  ER图的属性(attribute) 即数据对象所具有的属

2020-06-24 17:16:07 13378

转载 SQL模糊查询【like】的四种匹配模式

  执行数据库查询时,有完整查询和模糊查询之分,一般模糊语句如下:SELECT 字段 FROM 表 WHERE 某字段 Like 条件一、四种匹配模式关于条件,SQL提供了四种匹配模式:1、%  表示任意0个或多个字符,可匹配任意类型和长度的字符。有些情况下是中文,需用两个百分号(%%)表示:SELECT * FROM [user] WHERE u_name LIKE ‘%三%’将会把 u_name 为“张三”、“张猫三”、“三脚猫”、“唐三藏”等有“三”的记录全找出来另外,如果须要找

2020-06-24 10:26:51 43030

原创 数据库三级模式:外模式、模式和内模式

三级模式指的是外模式、模式和内模式。两级映射指的是外模式-模式映射 和 模式-内模式映射。文章目录一、模式(Schema)二、外模式(External Schema)三、内模式(Internal Schema)工作原理一、模式(Schema)定义:模式又称概念模式或逻辑模式,是数据库中全体数据的逻辑结构和特征的描述,是所有用户的公共数据视图。理解: ① 一个数据库只有一个模式; ② 是数据库数据在逻辑级上的视图; ③ 数据库模式以某一种数据模型为基础; ④ 定义模式时不仅要定义数据的逻辑..

2020-06-23 18:11:50 39771 2

转载 pr怎么渲染导出最小体积的高清视频?

目录一、设置分辨率和帧率二、设置格式和比特率三、设置保存路径和渲染导出pr怎么渲染导出最小体积的高清视频?pr处理好的视频,渲染发现容易体积过大,该怎么导出体积小有高清的视频呢?下面我们就来看看详细的教程,需要的朋友可以参考下   导出视频主要设置分辨率、帧率、格式和比特率这4大项目。其中分辨率和帧率是在设置序列的时候就决定了,而格式和比特率是在导出的时候才设置的,其中比特率的设置最为关键,决定了文件大小和清晰度,比特率需要根据分辨率的大小来设置,下面我们就来看看premiere渲染导出体积小又高

2020-06-22 09:06:48 3854

原创 数据库系统原理复习题目【总】

目录第一次课作业一.单选题二.填空题第二次课作业一.单选题二.填空题三.简答题第三次课作业一.单选题二.填空题三.简答题第四次课作业一.单选题二.填空题__三.简答题第五课时作业一.单选题二.简答题第六课时作业一.单选题二.填空题第七课时作业一.单选题二.简答题第八课时作业一.单选题二.简答题第九课时作业一.单选题二.填空题三.简答题四.资料题第十课时作业一.填空题二.简答题第11课时作业一.单选题二.填空题三.简答题第12次作业一.填空题二.简答题第13次作业一.单选题二.填空题第14次作业一.单选题二.

2020-06-22 06:02:00 8138 5

原创 linux安装redis 并配置环境变量

一、linux安装redis进入usr/local文件夹 , 创建一个redis文件夹cd usr/localmkdir redis下载rediswget http://download.redis.io/releases/redis-4.0.9.tar.gz解压缩tar xzf redis-4.0.9.tar.gz进入redis文件夹cd redis-4.0.9由于redis是由C语言编写的,它的运行需要C环境,因此我们需要先安装gcc。安装命令如下:yum instal

2020-06-20 10:03:25 4240 1

原创 E325: 注意 发现交换文件 “文件名.swp”

今天在linux里修改脚本文件时,不小心非正常关闭了脚本文件,再次编辑时,每次都提示 如下错误:E325: 注意发现交换文件 ".bqh.sh.swp"  所有者: root 日期: Wed Feb 20 03:51:12 2019  文件名: /server/scripts/bqh.sh  修改过: 是  用户名: root 主机名: lamp01  进程 ID: 6203 (仍在运行)正在打开文件 "bqh.sh"  日期: Wed Feb 20 04:13:09 2019  比.

2020-06-16 20:05:09 966 1

原创 Vim常用快捷键

第一部分:光标移动、复制粘贴、查找替换第二部分:插入或替换 【节省时间】第三部分:保存、离开第一部分:光标移动、复制粘贴、查找替换[Ctrl] + [f]下一页[Ctrl] + [b]上一页0或[home]到行首$或[end]到行尾G到最后一行ggn为数据,移动到第n行/wordword为要查找的字符串n向下重复前一个查找动作N向上重复前一个查找动作:n1,n2s/word1/word2/gn1,n2为数字,

2020-06-16 08:41:28 643

转载 虚拟机配置NAT网络模式

一、NAT模式介绍NAT(Network Address Translation,网络地址转换)是1994年提出的。当在专用网内部的一些主机本来已经分配到了本地IP地址(即仅在本专用网内使用的专用地址),但现在又想和因特网上的主机通信(并不需要加密)时,可使用NAT方法。 通信特点:默认使用VMnet8,提供DHCP服务 ,可自动分配IP地址,也可手动设置IP虚拟机可以和物理主机互相访问,但不可访问主机所在网络的其他计算机,可访问外部网络二、配置NAT模式【以centos7为例】

2020-06-15 20:59:46 907 1

转载 DiskPart 常用操作【Windows】

操作系统 :Windows文章目录1、进入方式:2、查看当前机器所有的磁盘: `list disk` :3、选择磁盘: `select disk 2` 清除选中磁盘的所有结构和数据: `clean`4、磁盘转换为 `GPT` 格式磁盘,5、创建 EFI 分区6、创建主分区7、操作完成退出, `exit`.磁盘管理操作: diskpart1、进入方式:使用管理员模式(win + x => 命令提示符(管理员))打开命令行 输入命令: diskpart 进入.安装系统的时候, 在磁盘选择界面

2020-06-15 15:19:22 1343

原创 ERROR o.a.c.c.C.[.[.[.[dispatcherServlet] - Servlet.service() for servlet [dispatcherServlet] in....

错误如下 :ERROR o.a.c.c.C.[.[.[.[dispatcherServlet] - Servlet.service() for servlet [dispatcherServlet] in context with path [] threw exception [Request processing failed; nested exception is java.lang.NullPointerException] with root causejava.lang.NullPoin

2020-06-11 15:45:18 42345 1

原创 Warshall算法求传递闭包【Python语言】

Warshall算法求传递闭包1、算法描述:2、例题:3、Python代码实现4、参考文章:1、算法描述:传递闭包的一种有效算法—Warshall算法,这种算法也便于计算机实现。(1)、置新矩阵A=M;(2) 、i=1;(3)、对所有j如果A[j,i]=1,则对k=1,2,…,n,A[j,k]=A[j,k]∨A[i,k];(4)、i加1;(i是行,j是列)(5)、如果i≤n,则转到步骤3),否则停止。2、例题:3、Python代码实现Matrix = [] # 声明空矩阵

2020-06-02 11:57:47 3716

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除