首页/新闻资讯/正文详情

离散数学1:集合论与序论在计算机的联系

发布时间:2026/9/26 19:57:41 来源:云帆数科 栏目:资讯中心
离散数学1:集合论与序论在计算机的联系
笛卡尔积两个集合笛卡尔积后的结果是元素为有序对的集合。例如A {1, 2} B {x, y}则 A × B {(1, x), (1, y), (2, x), (2, y)}B × A {(x, 1), (x, 2), (y, 1), (y, 2)}。有序对有序对的性质∀a,b,c,d ((a,b)(c,d)↔ac∧bd)这是唯一性质python中的tuple或者list就是有序对tuple和list允许其中的元素不一定是同类型像“集合的有序可重复版”用代码构建集合时要检查遍历每两个元素是否相同不需要顺序但构建有序组后面会提到不需要遍历每两个元素但需要额外内存保存下标。但C和java里的数组必须要求同类型。其集合论定义有多种主流zfc系统用的是库拉托夫斯基(Kazimierz Kuratowski)的定义(a,b){{a},{a,b}}优点只使用集合没有额外定义也没有循环定义结构简单证明有序对性质的过程简单缺点有序对的秩比元素的秩高2集合论中的秩表示一个集合中根元素被多少层集合括号包裹了的最大数和矩阵的秩不是一回事虽然都是rank。即使在数学里很多英语术语相同但又指向不一样的概念比如纤维和原像向量和矢量等等这在某些集合论系统如新基础 NF中会造成麻烦以下还有其他关于有序对的定义1.库拉托夫斯基定义变体短定义(a,b){a,{a,b}}2.维纳Wiener定义(x,y){{{x},∅},{{y}}}3.冯诺依曼John von Neumann序数定义(x,y) { {∅, x}, {{∅}, y} }......etc.以上定义因为各种原因综合考量而放弃数学系统构建者在用最少的公理构建并解释所有的数学但目前对于有序对的用哪种形式系统更加合适没有明确标准所以非数学工作者最好把有序对看成一个公理初始概念。有序n元组有序n元组(tuple)也简化为有序组或者序组和有序对一样也有多种定义例如有序3元组左嵌套(a,b,c)((a,b),c)右嵌套(a,b,c)(a,(b,c))混合嵌套etc.这些定义看实际用途而编码,依旧建议看作是公理初始概念多个集合笛卡尔积的结果就是元素为有序n元组的集合。序列就是一种有序n元组序列也有有限序列无限序列可变序列之分。数列其实是序列的子集但一些高数教材依旧称呼序列完全等价数列坐标向量和矩阵坐标向量本质上就是特殊的一维的有序n元组有序n元组的i下标对应的值叫做第i分量例如有序3元组(5,6,7)的第0分量是5第1分量是6分量和元素等价分量更强调位置。m×n矩阵就是每个元素都为有序n元组的有序m元组例如m×n矩阵A就可以表示成A((a11​,…,a1n​), (a21​,…,a2n​), …, (am1​,…,amn​))。就是特殊的二维数组。张量如果写代码自动构建一个矩阵不做限制那么可能会产生不是矩阵的结构如A[[1,2],[3]]或者B[ [1,2], [ [3,4],[5,6,7] ] ]如果构建张量后面会提到矩阵是特殊的张量就更加复杂。做限制以前先明确以下概念序组的结构可以画成树结构叶结点就是最底层的元素机器学习里和以上举例的AB两个数组是数字更抽象来讲可能是字符串布尔值函数等等序组的嵌套深度分为最大嵌套深度和最小嵌套深度以序组B为例最大嵌套深度是2最小嵌套深度是3 。如果把这个序组转化为树结构那么树结构的深度1就是最大嵌套深度毕竟树结构的深度是按照边来计算的而不是结点。最小嵌套深度就是叶结点最小的深度。因此可以对矩阵进行限制1.同一阶的数组长度要一致。2. 同一阶的数组的最大嵌套深度相等。3.只能是二阶数组。第三个限制是针对矩阵的如果删除这个限制这个以推广到新的概念张量。0阶张量就是标量1阶张量就是向量2阶张量就是矩阵。tensorflow中shape函数就可以知道一个张量的结构shape(2,3,4)表示一个2×3×4的张量矩阵n×m矩阵可以看作一个m输入n输出的函数矩阵的乘法就是两个函数的复合。矩阵乘列向量可以看作向量作为1阶张量输入到矩阵这个函数中输出结果也会是向量即序组梯度二元函数的输出只能对其中一个输入求导也就是偏导。偏导可以看作在x轴或者y轴上放置一个垂直于xy平面的平面对截取的函数图像求导。方向导函数不限制位置在xy平面上的任意直线上竖直放置一个平面对截取的函数图像求导。某个点在某个方向上的最大的方向导数就是梯度因此梯度是一种向量。

相关推荐

Wan 3.0多模态参考实操:30秒商品视频的分工方案
Wan 3.0多模态参考实操:30秒商品视频的分工方案

先交代一下背景吧。我最近在做一个家居类目的商品视频,客户要求30秒完播、输出一条能用在小红书和抖音信息流的片子。脚本、素材、配音都齐了,问题卡在“用什么工具把三样东西合成一条视频”上。最后选了Wan 3.0来做多模态参考生成——不是因为它参数最大… · 2026/9/26 19:57:35

Wan 3.0商品视频制作:三参考分工与实操指南
Wan 3.0商品视频制作:三参考分工与实操指南

1. 30秒商品视频,为什么偏偏是Wan 3.0做电商素材这几年,我一直有个很深的感触:商品视频的需求量和制作成本之间,存在一条巨大的鸿沟。传统的商品视频怎么拍?要么上影棚、租器材、找模特,单条成本轻松破千&a… · 2026/9/26 19:57:35

佛山口碑好的抬老人上下楼服务企业,广受信赖的靠谱商家汇总
佛山口碑好的抬老人上下楼服务企业,广受信赖的靠谱商家汇总

老人上下楼出行难,广州本土专业服务商如何破局 老小区无电梯,老人出行到底有多难广州老城区里,不少建于上世纪八九十年代的住宅楼都没有安装电梯,对于行动不便的老人来说,上下楼成了生活里的头等难题。如果老人只是走路… · 2026/9/26 19:57:29

BP神经网络负荷预测实战:从数据构造到调参避坑
BP神经网络负荷预测实战:从数据构造到调参避坑

简介:这份资源面向电力系统调度、能源管理及电气工程方向的学习者与研究人员,聚焦基于BP神经网络的电力负荷预测方法,帮助解决历史负荷数据建模、未来用电需求预估等实际问题,适合具备一定MATLAB基础、希望掌握神经网络预测流程的… · 2026/9/26 20:38:10

CMD路径跳转全攻略:cd命令、跨盘符、UNC与报错排查
CMD路径跳转全攻略:cd命令、跨盘符、UNC与报错排查

前阵子同事问我,为什么他复制了一串路径粘到CMD里,回车却总是提示“系统找不到指定的路径”。他说路径明明看着完整,可就是跳不过去。这个场景我太熟悉了,刚接触命令行的人十有八九会栽在这一步。其实CMD里跳转到指定文件或文件夹… · 2026/9/26 20:38:10

每日力扣4刷题法:从算法面试高频题到Python实战全解析
每日力扣4刷题法:从算法面试高频题到Python实战全解析

每天一到早上,我打开力扣,第一件事就是看今天的“每日力扣4”计划完成了没。这个系列我从半年前开始做,规则非常简单粗暴:每天雷打不动刷4道力扣题,一道热题100里没做过的,一道高频经典但容易忘的&#xff… · 2026/9/26 20:38:10

Postman公共函数封装指南:告别Pre-request Script重复代码
Postman公共函数封装指南:告别Pre-request Script重复代码

做接口联调这几年,我在 Postman 里最烦的事不是接口长时间无响应,而是同一个签名算法在十几个请求的 Pre-request Script 里各放了一份。每次后端改一点逻辑,我都要打开每个请求、找到那段一模一样的代码、逐个替换,还得提心吊胆怕… · 2026/9/26 20:38:10

VSCode Bookmark插件:从代码标记到跨文件导航的工程实践
VSCode Bookmark插件:从代码标记到跨文件导航的工程实践

1. 为什么我离不开 VSCode Bookmark:核心场景与设计思路1.1 它解决的到底是哪个痛点先聊一个每天都会遇到的场景:你打开了一个几百上千行的文件,里面有几个位置需要反复修改。比如前端项目里,一个组件的样式定义在 style 区&#… · 2026/9/26 20:38:03

π0模型:面向具身智能的轻量级物理响应建模框架
π0模型:面向具身智能的轻量级物理响应建模框架

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views … · 2026/9/26 20:38:03

数据库课后习题答案别硬背:当测试用例集刷,效率翻倍
数据库课后习题答案别硬背:当测试用例集刷,效率翻倍

简介:万常选版《数据库原理与设计》课后习题答案资源,覆盖第2至6章及第9章,适合正在学习关系模型、数据库建模、关系数据理论与模式求精的本科生、自学者作为复习与自测材料。压缩包共7个文件,含3个doc参考答案、2个sql示例脚本、… · 2026/9/26 0:00:21

OpenClaw 替代品?Hermes Agent 踩坑实录:macOS 飞书接入 TaoToken 配置
OpenClaw 替代品?Hermes Agent 踩坑实录:macOS 飞书接入 TaoToken 配置

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views … · 2026/9/26 0:00:40

向下兼容与向上兼容:接口设计中的兼容性策略与工程实践
向下兼容与向上兼容:接口设计中的兼容性策略与工程实践

一次版本升级事故,是很多团队绕不过去的坎。线上环境里,服务端明明已经上线了新版接口,老的移动端还在照着旧文档传参数。请求一到网关,校验直接拒绝,用户操作失败,客服群炸了锅,开发群里开始互… · 2026/9/26 0:00:46

了解更多?预约专属演示

我们的顾问将为您一对一讲解产品与方案

企业微信二维码