函数-第 5 页-一流百科

平均值转移

平均值转移平均值转移是一种非参数特征空间的数学分析技术，用于定位密度函数的xxx值，是一种所谓的模式搜索算法。应用范围包括计算机视觉和图像处理中的聚类...

词条百科

内在维度

简介一个数据集的内在维度可以被认为是数据的最小表示中所需要的变量数量。同样地，在多维信号的处理中，信号的内在维度描述了需要多少变量来产生信号的良好...

词条百科

逆向一致性

逆向一致性在图像注册中，逆向一致性衡量的是由注册算法产生的图像之间的映射的一致性。反向一致性误差由Christiansen和Johnson在2001年提出，量化了由注册程...

词条百科

图形切割优化

图形切割优化图形切割优化是一种适用于离散变量函数系列的组合优化方法，以流动网络理论中的切割概念命名。由于xxx流量最小切割定理，确定代表流量网络的图形...

词条百科

程序的结构合成

程序的结构合成程序的结构合成（SSP）是一种基于命题微积分的（自动）程序合成的特殊形式。更确切地说，它使用直觉逻辑来描述程序的结构，使程序可以由子程序...

词条百科

代数值集的缩小

简介与逻辑编程一样，代数值集的缩小提供了一种对未解决或部分解决的方程中的数值进行推理的方法。在逻辑编程依赖解析的地方，代数值集依赖缩小规则。缩小规...

词条百科

变量（计算机科学）

变量（计算机科学）在计算机编程中，变量是一个抽象的存储位置，与一个相关的符号名称配对，它包含一些被称为值的已知或未知的信息量；或者用更简单的话说，...

词条百科

空白类型

空白类型空白类型，是一个正常返回的函数的返回类型，但不向其调用者提供结果值。通常这样的函数被调用是为了其副作用，如执行一些任务或写入其输出参数。在...

词条百科

单元类型

单元类型简介在被称为类型理论的数理逻辑和计算机科学领域，单元类型是一种只允许一个值的类型。与单位类型相关的载体（底层集合）可以是任何单子集。任何两...

词条百科

类型签名

类型签名在计算机科学中，类型签名或类型注释定义了一个函数、子程序或方法的输入和输出。一个类型签名包括一个函数所包含的参数的数量、类型和顺序。类型签...

词条百科

类型系统

类型系统在计算机编程中，类型系统是一个由一组规则组成的逻辑系统，它为每个术语（一个词、短语或其他符号集）分配一个称为类型的属性。通常，这些术语是计...

词条百科

类型族

什么是类型族在计算机科学中，类型族将数据类型与其他数据类型联系起来，使用由输入类型的有效实例和相应的输出类型的开放式集合定义的类型级函数。类型族是...

词条百科

类型类

什么是类型类在计算机科学中，类型类是一种类型系统结构，支持临时多态性。这是通过在参数化的多态类型中为类型变量添加约束来实现的。这样的约束通常涉及到...

词条百科

F系统

什么是F系统F系统（也称多态λ微积分或二阶λ微积分）是一种类型化的λ微积分，它在简单的类型化λ微积分中引入了一种对类型进行普遍量化的机制。F系统将编程语言...

词条百科

参数多态性

参数多态性在编程语言和类型理论中，参数多态性允许给一段代码一个通用类型，用变量代替实际类型，然后根据需要用特定类型进行实例化。参数多态的函数和数据...

词条百科

参数化

什么是参数化在编程语言理论中，参数化是参数化多态函数所享有的一种抽象的统一性属性，它抓住了一个多态函数的所有实例都以同样的方式行事的直觉。参数化的...

词条百科

多态性（计算机科学）

多态性（计算机科学）在编程语言理论和类型理论中，多态性是指为不同类型的实体提供一个单一的接口，或者使用一个符号来代表多个不同的类型。这个概念借用了...

词条百科

选项类型

选项类型(了解如何以及何时删除此模板信息)在编程语言（尤其是函数式编程语言）和类型理论中，选项类型或也许类型是一种多态类型，它表示对可选值的封装；例...

词条百科

交叉类型

交叉类型在类型理论中，交叉类型可以分配给那些既可以分配给类型的值一般来说，如果两个类型的值的范围重叠，那么属于这两个范围的交点的值可以被赋予两个类...

词条百科

函数类型

函数类型在计算机科学和数理逻辑中，函数类型（或箭头类型或指数）是指一个函数已经或可以被分配到的变量或参数的类型，或者是一个高阶函数获取或返回函数的...

词条百科

归纳类型

归纳类型在类型理论中，如果一个系统具有从创建该类型的常量和函数中创建新类型的设施，那么它就具有归纳类型。该功能的作用类似于编程语言中的数据结构，并...

词条百科

从属类型

简介在计算机科学和逻辑学中，从属类型是一种类型，其定义取决于一个值。它是类型理论和类型系统的一个重叠的特征。在直觉类型理论中，从属类型被用来编码逻...

词条百科

可还原性公理

简介可还原性公理是由伯特兰-罗素在20世纪初提出的，作为他的类型的ramified理论的一部分。罗素设计并介绍了公理，试图管理的矛盾，他已经发现在他的分析集合...

词条百科

有界量化

有界量化在类型理论中，有界量化（也是有界多态性或有界泛型）指的是普遍的或存在的量词，这些量词被限制（有界）在一个特定类型的子类型上范围。有界量化是...

词条百科

代数数据类型

简介在计算机编程中，特别是函数式编程和类型理论中，代数数据类型（ADT）是一种复合类型，即由其他类型组合而成的类型。两类常见的代数类型是乘积类型（即图...

词条百科

临时多态性

简介在编程语言中，临时多态性是一种多态性，其中多态性函数可以应用于不同类型的参数，因为一个多态性函数可以表示许多不同的和潜在的异质的实现，这取决于...

词条百科

模糊集

什么是模糊集在数学中，模糊集是模糊集的一个延伸。在模糊集中，每个对象在区间[0,1]中被分配一个单一的值，反映其成员等级。这个单一的值不允许分离成员资格...

词条百科

成员函数（数学）

成员函数（数学）在数学中，模糊集的成员函数是经典集的指标函数的一般化。在模糊逻辑中，它代表了作为估值延伸的真值程度。真理度经常与概率相混淆，尽管它...

词条百科

模糊数学

模糊数学模糊数学是数学的一个分支，包括模糊集合理论和模糊逻辑，它处理一个集合中的元素在频谱上的部分包含，而不是简单的二进制是或否（0或1）包含。语言...

词条百科

模糊分类

模糊分类模糊分类是将元素归入一个模糊集合的过程，其成员函数由模糊命题函数的真值定义。一个模糊类~C={i|~Π(i)}被定义为满足模糊分类谓词~Π的个体的模糊集~...

词条百科

1 … 3 4 5 6 7