---- Corollary 结论 ? 如果 f'(x) = g'(x), 则两个函数的差， 是一个常数 可以写成 f(x) = g(x) + c ， c为常数
的情况下，存在一定人口比例构成的范围使得机会同等政策可为弱势群体带来福祉 (Corollary 3.2 b)。...然而需要警惕的是，机会同等政策操之过急过于激进会带来相对伤害 (Corollary 3.4)。...DemParity fails 和 Corollary 3.6 DemParity never loans less than MaxUtil, but EqOpt might)。...Section 3 Proposition 1 和 Corollary 1 证明了即使在一些很广泛的情况下，算法在这个动态系统中会逐渐变得不公正。...根据 Corollary1, 只要左手边的矩阵所有特征值中最大的模大于右边，公正的算法在这个动态系统中就是不稳定的。 ?
由此我们可以推论 所有在 empty context 下 well typed 的 term 都是 closed 得： Corollary typable_empty__closed : ∀t T,...**) Corollary soundness : ∀t t' T, empty ⊢ t ∈ T → t -->* t' → ~(stuck t').
A corollary to Fermat's theorem is that for any m B (-m) == B (P-1-m) (mod P) .
axiom}{公理} \newtheorem{property}{性质} \newtheorem{proposition}{命题} \newtheorem{lemma}{引理} \newtheorem{corollary
Corollary soundness : ∀t t' T, ⊢ t ∈ T → t -->* t' → ~(stuck t'). Proof.
Corollary 1: Nonhomogeneous Thinning 考虑一个速率为 的泊松过程，假设点到达数轴上的点 的概率密度函数为 ，那么这一些点服从一个速率为 的泊松过程。...所以我们可以得到， ，这是用到了Corollary 1的结论。 有了这个之后，我们只需要令 就可以了，我们可以得到 最后一步是用到了期望的一个经典公式 。...Corollary 2: 若 ，那么有 简单来说，这个定理就是在告诉我们，在 的时候，有 ，也就是服从二项分布的意思。 这个定理的证明就是利用了Theorem 3。...这就是我们这一部分所介绍的内容，根据Corollary 2我们直接可以得到 好的，到此为止，关于泊松过程的变换我们就介绍完了。
Corollary 2.1: 在定理2.4的假定下，有 ? 推论2.1是定理2.4的极限情况。 Theorem 2.5: 设 ? 再设固定θ = θ_0时，最优的discriminator为 ?...Corollary3.1: 若 ? 则 ? 若 ? 则 ? 若 ? 则 ? 定理3.1和推论3.1表明，ε的分布会影响我们对距离的选择。...Corollary3.2: 设 ? 则 ? 对D的输入添加噪声，在训练的过程中将引导噪声样本向真实数据流形的方向移动，可以看成是引导样本的一个小邻域向真实数据移动。...Corollary4: 设g_θ是任意一个前向传播神经网络，带有参数θ，并且p(z)是关于z的先验概率，满足 ? g满足局部Lipschitz条件，局部Lipschitz常数为L(θ, z)，且 ?
Corollary(推论)： 如果函数f(x)为凸函数,那么在 f(x) 上任意两点X1,X2所作割线一定在这两点间的函数图象的上方，即： ?
Corollary: When writing a base class, always write a destructor explicitly, because the implicitly generated
Corollary 1: 这个证明非常简单，把之前的式子代进来就可以了。我们交给读者完成。 这里的 就是我们之前的定义，简单来说就是队列空闲的时间占比。反过来说， 就是队列繁忙的时间。...Corollary 2: 长期来看，队列中有 个人所占的时间比例，和最后到达者发现自己队伍前面有 个人（包括他自己）的次数所占比例是相同的。 数学上的定义是 和 趋于同一极限。...注意到Corollary 2是怎么推出来的，因为PASTA，所以每一个人的到达不会有任何对之前队列的影响，所以对于 这个量，是否具备“上帝视角”并不重要。
通过输入触发词（比如「cor」），然后按Tab键，就能创建整个推论环境（corollary environment），非常节省时间。 陶哲轩表示，奇怪的是，20年前就曾有一个短暂的时期见过类似功能。
power 次方 root 根 commutativity 交换性 associativity 结合性 distributivity 分配性 axiom 公理 theorem 定理 lemma 引理 corollary
转化后的模型称为master problem（MP），需要下列的符号定义： 注：Corollary 1为前文提到的性质2 综上建立如下set partitioning模型（MP）： 目标函数(16)表示最小化车辆行驶成本
Corollary nf_same_as_value : ∀t, normal_form step t ↔ value t. Value !
The expected sequence of definition, lemma, theorem, example, corollary works well for deductive argument
普特定律往往遵循普特推理(Putt's Corollary)： 随着时间的推移，每一个技术层次都会发展出一种能力倒置。
You must not relinquish ownership of an object you do not own This is just corollary of the previous
This erosion is occurring in all spheres of life; its corollary is the mounting narcissification of the
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
