是一个-第 5 页-一流百科

可接受的规则

简介在逻辑学中，如果一条推理规则被添加到一个形式系统的现有规则中，该系统的定理集不会改变，那么该规则就是可接受的。换句话说，每一个可以用该规则推导...

词条百科

程序的结构合成

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

词条百科

守护命令语言

简介守护命令语言（GCL）是EdsgerDijkstra在EWD472中为谓词变换器语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它的证明携...

词条百科

空白类型

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

词条百科

元组

什么是元组在数学中，元组是一个元素的有限有序列表（序列）。一个n元组是一个有n个元素的序列（或有序列表），其中n是一个非负整数。只有一个0元组，被称为...

词条百科

U系统

什么是U系统在数理逻辑中，U系统和U-系统是纯类型系统，即具有任意数量的排序、公理和规则（或排序之间的依赖关系）的类型化λ计算的特殊形式。它们都被Jean-Y...

词条百科

可还原性公理

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

词条百科

残余布尔代数

残余布尔代数在数学中，残余布尔代数是一个残余的格子，其格子结构是布尔代数的结构。这方面的例子包括布尔代数的单数被认为是联结的，给定字母表Σ上的所有形...

词条百科

残余格子

残余格子在抽象代数中，残余格子是一种代数结构，它同时是一个格子x≤y和一个单体x-y，当x-y被看作是乘法或合法时，它可以接受操作x/z和z/y，松散地类似于除法...

词条百科

模糊度量理论

模糊度量理论在数学中，模糊度量理论考虑了广义的度量，其中加性属性被较弱的单调性属性所取代。模糊度量理论的核心概念是模糊度量（也是容量）。存在许多不...

词条百科

模糊控制系统

模糊控制系统模糊控制系统是一个基于模糊逻辑的控制系统，模糊逻辑是一个数学系统，它以逻辑变量的形式分析模拟输入值，而逻辑变量具有0和1之间的连续值，与...

词条百科

模糊分类

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

词条百科

脉冲（信号处理）

脉冲（信号处理）信号处理中的脉冲是指信号的振幅从基线值到较高或较低值的快速、瞬时变化，然后迅速恢复到基线值。脉冲形状脉冲形状可以从一个叫做脉冲整形...

词条百科

修正的维格纳分布函数

修正的维格纳分布函数注：维格纳分布函数在这里被缩写为WD，而不是维格纳分布函数中使用的WDF修正的威格纳分布函数是威格纳分布函数（WD）的一个变体，它减少...

词条百科

流图（数学）

简介流图是一种与一组线性代数或微分方程相关的数字图的形式。信号流图是一个由有向分支相互连接的节点（或点）的网络，代表一组线性代数方程。流图中的节点...

词条百科

恒定振幅零自相关波形

恒定振幅零自相关波形在信号处理中，恒定振幅零自相关波形（CAZAC）是一个周期性的复值信号，模数为1，相位外的周期性（循环）自相关等于零。CAZAC序列在无线...

词条百科

因果滤波器

简介在信号处理中，因果滤波器是一个线性和时间不变的因果系统。因果这个词表明，滤波器的输出只取决于过去和现在的输入。一个输出也取决于未来输入的滤波器...

词条百科

径向基函数

径向基函数径向基函数（RBF）是一个实值函数φ，其值只取决于输入和某个固定点之间的距离。其值只取决于输入和某个固定点（或者原点）之间的距离，是一个径向...

词条百科

数值方法

数值方法在数值分析中，数值方法是一种旨在解决数值问题的数学工具。在编程语言中，带有适当收敛检查的数值方法的实现被称为数值算法。数学定义让F(x,y)=0{di...

词条百科

康托罗维奇定理

康托罗维奇定理康托罗维奇定理，或称牛顿-康托罗维奇定理，是一个关于牛顿方法的半局部收敛的数学声明。它是由LeonidKantorovich在1948年首次提出的。它与Ban...

词条百科

梯度离散法

梯度离散法命名微分方程的清单分类类型与过程的关系微分（离散类似物）随机性随机性部分延迟解存在性和xxx性检验法特征法欧拉指数响应公式有限差分有...

词条百科

布彻群

什么是布彻群在数学中，布彻群是以新西兰数学家JohnC.Butcher的名字命名的，由Hairer&Wanner(1974)，是一个无穷大的李群，首先在数值分析中引入，用于研...

词条百科

双域模型

双域模型双域模型是一个定义心脏电活动的数学模型。它包括一个连续的（体积平均）方法，其中心脏的微观结构是由成片的肌肉纤维来定义的，形成了一个复杂的三...

词条百科

正弦滤波器

正弦滤波器在信号处理中，正弦滤波器是一个理想化的滤波器，它可以去除给定截止频率以上的所有频率成分，而不影响较低的频率，并且具有线性相位响应。该滤波...

词条百科

反因果系统

反因果系统在系统理论中，反因果系统是一个假设的系统，其输出和内部状态完全取决于未来的输入值。一些教科书和发表的研究文献可能将反因果系统定义为不依赖...

词条百科

频带限制

频带限制(了解如何以及何时删除此模板信息)频带限制是指将信号的频域表示或频谱密度限制在某个有限的频率以上为零。一个带限信号是一个其傅里叶变换或频谱密...

词条百科

统一（计算机科学）

统一（计算机科学）在逻辑学和计算机科学中，统一是解决符号表达式之间方程的一个算法过程。根据哪些表达式（也叫术语）允许出现在方程组中（也叫统一问题）...

词条百科

命题证明系统

简介在命题微积分和证明复杂性中，命题证明系统（pps），也称为Cook-Reckhow命题证明系统，是一个用于证明经典命题同义词的系统。数学定义形式上，一个pps是...

词条百科

霍恩条款

霍恩条款在数理逻辑和逻辑编程中，霍恩条款是一个具有特殊规则形式的逻辑公式，使其具有用于逻辑编程、形式化规范和模型理论的有用属性。霍恩条款是以逻辑学...

词条百科

弗雷格系统

简介在证明复杂性中，弗雷格系统是一个命题证明系统，其证明是使用有限的健全和隐含完整的推理规则得出的公式序列。弗雷格系统（在一般证明理论中更多地被称...

词条百科

1 … 3 4 5 6 7 … 27