定理-第 2 页-一流百科

互易定理

互易定理在经典电磁学中，互易性是指各种相关定理，涉及时谐电流密度（源）的互换以及在特定约束下的时不变线性介质的麦克斯韦方程中产生的电磁场。互易性与...

词条百科

有噪信道编码定理

有噪信道编码定理在信息论中，噪声信道编码定理（有时称为香农定理或香农极限）确定，对于任何给定的通信信道噪声污染程度，都可以传输离散数据（数字信息） ...

词条百科

包络定理

包络定理在数学和经济学中，包络定理是关于参数化优化问题的值函数的可微性的重要结果。当我们改变目标参数时，包络定理表明，在某种意义上，目标优化器的变...

词条百科

结构化程序理论

结构化程序理论结构化程序定理，也称为 Böhm–Jacopini 定理，是编程语言理论的一个结果。它指出，如果一类控制流图（在此上下文中历史上称为流程图）仅以三...

词条百科

卡鲁什-库恩-塔克条件

卡鲁什-库恩-塔克条件在数学优化中，Karush–Kuhn–Tucker (KKT) 条件，也称为 Kuhn–Tucker 条件，是非线性规划中最优解的一阶导数检验（有时称为一阶必要条件...

词条百科

信源编码定理

简介在信息论中，信源编码定理（或无噪声编码定理）确定了可能的数据压缩的限制，以及香农熵的操作意义。源编码定理以克劳德·香农命名，它表明（在极限情况下...

词条百科

压缩感知

压缩感知压缩感知（也称为压缩感知、压缩采样或稀疏采样）是一种信号处理技术，用于通过寻找欠定线性系统的解来有效地获取和重建信号。这是基于这样的原则，...

词条百科

哈利托诺夫定理

哈利托诺夫定理哈利托诺夫定理是控制理论中用来评估动态系统的稳定性的结果，当系统的物理参数不准确时。当特征多项式的系数已知时，可以使用 Routh-Hurwitz...

词条百科

施图姆定理

施图姆定理在数学中，单变量多项式 p 的斯特姆序列是与 p 及其导数相关的多项式序列，由欧几里德多项式算法的变体得出。施图姆定理用Sturm序列值在区间边界...

词条百科

奥卡姆学习

奥卡姆学习在计算学习理论中，奥卡姆学习是一种算法学习的模型，学习者的目标是输出所收到的训练数据的简洁表述。这与可能近似正确（PAC）的学习密切相关，其...

词条百科

贝叶斯遗憾

贝叶斯遗憾在随机博弈理论中，贝叶斯遗憾是指贝叶斯策略的效用与最优策略（具有最高预期报酬的策略）之间的预期差异（遗憾）。贝叶斯一词是指托马斯-贝叶斯（...

词条百科

可接受的规则

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

词条百科

序列微积分

简介在数理逻辑中，序列微积分是一种形式逻辑论证的风格，其中证明的每一行都是一个条件同义词（GerhardGentzen称之为序列），而不是一个无条件同义词。每一...

词条百科

证明助手

简介在计算机科学和数理逻辑中，证明助手或交互式定理检验器是一种软件工具，通过人机协作来协助开发形式证明。这涉及到某种交互式证明编辑器，或其他界面，...

词条百科

发生检查

简介在计算机科学中，发生检查是句法统一算法的一部分。如果S包含V，它将导致一个变量V和一个结构S的统一失败。在定理证明中的应用在定理证明中，没有发生检...

词条百科

推理系统

推理系统在信息技术中，推理系统是一个软件系统，它使用推理和归纳等逻辑技术从现有的知识中生成结论。推理系统在实现人工智能和基于知识的系统方面发挥着重...

词条百科

参数化

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

词条百科

康托罗维奇定理

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

词条百科

非均匀抽样

非均匀抽样非均匀抽样是抽样理论的一个分支，涉及与Nyquist-Shannon抽样定理有关的结果。非均匀抽样是基于拉格朗日插值以及其本身与（均匀）抽样定理之间的关...

词条百科

多维采样

简介在数字信号处理中，多维采样是将一个多维变量的函数转换为该函数在离散点集上的测量值的离散集合的过程。本文介绍了Petersen和Middleton的基本结果，即从...

词条百科

不可知问题

简介在可计算性理论和计算复杂性理论中，不可知问题是指被证明不可能构造出一种总是导致正确的是或否答案的算法的决策问题。停顿问题就是一个例子：可以证明...

词条百科

可计算函数的逻辑

可计算函数的逻辑可计算函数的逻辑（LCF）是RobinMilner和合作者在1970年代初在斯坦福和爱丁堡开发的交互式自动定理检验器，基于DanaScott之前提出的可计算函...

词条百科

HOL（证明助手）

简介HOL（高阶逻辑）表示一个使用类似（高阶）逻辑和实现策略的交互式定理证明系统家族。这个系列的系统遵循LCF的方法，因为它们被实现为一个库，该库定义了...

词条百科

PBR定理

简介PBR定理是量子基础中的一个禁区定理，由MatthewPusey、JonathanBarrett和TerryRudolph（该定理以其命名）于2012年提出。它对于人们如何解释量子态的性质...

词条百科

图论中的珍珠

简介《图论中的珍珠，综合介绍》是诺拉-哈茨菲尔德和格哈德-林格编写的本科生水平的图论教科书。该书于1990年由学术出版社出版，1994年出版了修订版，2003年...

词条百科

超图正则性方法

超图正则性方法在数学中，超图正则性方法是极值图理论中的一个有力工具，指的是超图正则性定理和相关计数定理的综合应用。它是图的正则性方法的概括，指的是...

词条百科

超图移除定理

超图移除定理在图论中，超图移除定理指出，当一个超图包含一个给定的子超图的少数副本时，那么所有的副本都可以通过移除少量的超边来消除。这是对图形移除定...

词条百科

禁止图的表征

禁止图的表征在图论这个数学分支中，许多重要的图族可以由不属于该图族的单个图的有限集合来描述，并进一步排除该图族中包含任何这些禁止图的（诱导）子图或...

词条百科

缺陷（图论）

缺陷（图论）缺陷是图论中的一个概念，用于完善与图中完美匹配有关的各种定理，如霍尔的婚姻定理。这是由厄伊斯坦-奥雷首先研究的。一个相关的属性是盈余。剩...

词条百科

量子阈值定理

量子阈值定理在量子计算中，量子阈值定理（或量子容错定理）指出，物理错误率低于某个阈值的量子计算机，通过应用量子纠错方案，可以将逻辑错误率抑制到任意...

词条百科

1 2 3