条件是指制约事物发生、存在或发展的因素。可能指： 生活条件，对人们生活好坏程度的一个衡量。 條件句，表达事实含义、假设情况及其结果的一种句子。 实质条件（英語：material conditional），命题演算或在数学的逻辑演算的一种形式。 反事实条件（英語：counter-factual...

在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式： 若A，則B。 这裡的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这裡的A，叫做前件；第二项这裡的B，叫做后件。 这个算子...

在数学和计算机科学中，高阶函数是至少满足下列一个条件的函数： 接受一个或多个函数作为输入 输出一个函数 在数学中它们也叫做算子（运算符）或泛函。微积分中的导数就是常见的例子，因为它映射一个函数到另一个函数。 在无类型lambda演算，所有函数都是高阶的；在有类型lambda演算...

在数学中，迹类算子（英語：Trace class）是一个满足如下条件的紧算子，可以为其定义迹，使得迹有限且与基底的选择无关。迹类算子本质上与核型算子相同，但是许多作者将希尔伯特空间上的核型算子这一特殊情况称为“迹类算子”，而将“核型算子”用于更一般的巴拿赫空间。...

如果有在G其上是真而φ是假的指派，则G不（语义上）蕴涵φ。Q.E.D. 下面定义的命题演算通过公理的方式定义了多数逻辑算子的语法并且它只使用一个推理规则。它也叫做标准命题演算。 设φ、χ和ψ表示合式公式。（wff自身将不包含任何希腊字母，而只包含大写罗马字母、连结算子和圆括号）。公理有 THEN-1：φ →(χ → φ) THEN-2：(φ...

数学中，算子理论（operator theory）是对函数空间上线性算子的研究，始于微分算子和积分算子。算子可按特征抽象地表示，例如有界线性算子和闭算子，也可以考虑非线性算子。研究在很大程度上依赖于函数空间的拓扑，是泛函分析的分支。 若算子集合构成域上的代数，则就是算子代数。对算子代数的描述是算子理论的一部分。...

= g(f)，叫做g的不动点，并且它可以在lambda演算中使用叫做悖论算子或不动点算子来实现，它被表示为Y -- Y组合子： Y = λg.(λx.g(x x))(λx.g(x x)) 在lambda演算中，Y g是g的不动点，因为它展开为g(Y g)。现在，要完成我们对阶乘函数的递归调用，我们可以简单的调用...

变换作用的算符都是单一的。在有限维的情况下，这样的算符就是排列矩阵。单边变换（英语：shift operator）是一个等距算子（isometry），他的共轭是一个半同等距算子（coisometry）。 傅里叶算符（英语：Fourier operator）是一个幺正算符，也就是，一个执行傅里叶变换（...

在数学中，全纯函数演算（holomorphic functional calculus）是全纯函数的一种函数演算。也就是说其目标在于，对于给定的一个全纯函数 f {\displaystyle f} 和一个算子 T {\displaystyle T} ，希望构造一个对应的算子 f ( T ) {\displaystyle...

演对称性。 發生不对称性有两种情况：第一種是物理定律时间反演的不对称性，比如弱相互作用；第二個則是宇宙初始条件所导致的不对称性。 除了微观系统物理定律的时间反演对称性以外，物理学家也试图找出物理系统中具有时间反演不变性的定域量或者宏观量。宏观系统通常不具有时间反演...

在数理逻辑中，蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达，这个二元运算被指示为“implies” “如果 ..., 则 ...”, “→”, “ → {\displaystyle \rightarrow \!} ”等等。 单独的蕴涵作为逻辑算子...

这些组合子的现代名字源于哈斯凱爾·加里在1930年的博士论文（参见B,C,K,W系统）。在Schönfinkel的最初著作中，把现在的S, K, I, B和C分别叫做S, C, I, Z和T。 在本文描述的CLK和CLI演算必须做出区分。这种区别对应于在λK和λI演算之间的区别。不同于λK演算，λI演算限制抽象为：...

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。 高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯的...

ISWIM具有由加了语法糖的lambda演算构成的函数式核心，它是增加了可变变量和赋值的指令式语言，并具有Landin的强力控制机制J算子（英语：J operator），它能够捕获当前的续体（Scheme的call/cc（英语：call-with-current-continuation）算子...

接替代了笛卡尔积，它是笛卡尔积的退化情况。 总之，关系代数的运算有与域关系演算或元组关系演算同样的表达能力。但是出于前面介绍中给出的原因，关系代数有严格弱于没有函数符号的一阶谓词演算的表达能力。关系代数实际上对应于一阶逻辑的子集，即没有递归和否定的Horn子句。...

黑维塞单位阶跃函数 在早期算子微积分（英语：Operational calculus）的发展中做出主要贡献。但因为缺乏严格的数学理论作基础，他的“微分算子方法”一度遭到数学家排斥。（和傅里叶展开方法在数学史上的遭遇比较相似。） 黑维塞条件（英语：Heaviside condition）...

之前并且因此也在这个范围之外。 在Curry-Howard同构下，上述对演绎元定理的转换过程类似于从lambda 演算项到组合子逻辑项的转换过程，这里的公理 1 对应于 K 组合子，而公理 2 对应于 S 组合子。注意 I 组合子对应于定理模式 P→P。 要展示如何把自然演绎转换成公理化形式的证明，我们应用它于重言式...

存储赋值结果的变量（左值）被写在赋值算子的右侧。对一个变量的第一次赋值被认为是对它的初始化声明。 赋值算子的左侧被用作表达式（德語：Ausdrücke），它定义哪个值将被赋值到这个变量。表达式可以使用算术算子、布尔算子和比较算子（ = {\displaystyle =} ， ≠ {\displaystyle...

简单类型 lambda 演算( λ → {\displaystyle \lambda ^{\to }} )是连接词只有 → {\displaystyle \to } (函数类型)的有类型 lambda 演算。这使它成为规范的、在很多方面是最简单的有类型 lambda 演算的例子。 简单类型也被用来称呼对简单类型...

可以當成and），其解的集合在附圖中的藍色區域（紅線、綠線和橘線分別對應第一個條件、第二個條件及第三個條件。）。上述問題的約束條件都是線性的，若目標函數也是線性，即屬於线性规划的範圍。 线性规划的最佳解可以用单纯形法求解。Prolog III 程式語言也有提供解特定不等式的演算法，是其語言的特徵之一，細節可以參考約束邏輯程式設計（英语：Constraint...

论和一组故障（故障的可见效果），可以使用溯因法来推导故障的某个集合好像是问题的原因。 溯因法也用于建模自动计划。给定与动作事件和它们的效果（例如事件演算的公式）有关的逻辑理论，找到达到一个状态的计划的问题可以建模为溯因蕴涵着最终状态是目的状态的文字的序列的问题。...

有最大素数的证明，和康托尔对在0和1之间有不可数個实数的对角线证明。 矛盾同许多有名的悖论有关。其中之一是在一阶谓词演算中从矛盾中可以推导出任何命题（也叫陈述）。换句话说，依据谓词演算，不管P和Q意味着什么，如果P和¬P都为真的，则Q为真。在这个事实的表达中，矛盾被称为在一阶逻辑中的"逻辑爆炸"。...

零阶逻辑是在与布尔函数、一元谓词演算、命题逻辑或句子逻辑有关主题的从业人员中流行的术语。使用这个术语的好处是它确立了更高的抽象层次，在其中上述这些主题之间的很无关紧要的区别可以在这个中肯的同构下被包容。 向着最初的方向，表1列出了具体类型X × Y → B和抽象类型 B × B → B的十六个函数在零阶逻辑的不同语言中的等价表达。...

柯里－霍华德同构给出了“证明”和“程序”的等价性，这一结果与证明论有关，直觉主义逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑的演算属于理想的程序语言。 与之相应的，计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了反哺，比如说自动定理证明、计算机辅助证明、计算群论和逻辑编程的应用。...

条命令访问多条记录的概念；其次，也消除了指定如何访问记录的需求（即无论是否使用索引）。 SQL最初基于关系代数和元组关系演算，包含多种类型的语句，这些语句可被非正式地归类为以下子语言：数据查询语言（DQL）；数据定义语言（DDL）；数据控制语言（DCL）；数据操作语言（DML）。 SQL...

真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（ ∧ {\displaystyle \land } ）、邏輯或（ ∨ {\displaystyle \lor } ）、邏輯非（ ¬ {\displaystyle...

形式定律 Lindenbaum–Tarski代数 逻辑门 逻辑连结词 逻辑图 逻辑矩阵 一元布尔代数 查尔斯·桑德斯·皮尔士 皮尔士定律 命题演算 自足算子 Marshall Harvey Stone（英语：Marshall Harvey Stone） Stone对偶性 Stone布尔代数表示定理...

命题演算——邏輯系統 字元集 (数理逻辑) 滑坡论证 诡辩 诡辩术 正确性——政府、官员和法律的权威为民众所认可的程度 规定性定义 陈述 (逻辑)（英语：Statement (logic)） 稻草人论证——非正式謬誤的類型 严格条件 结构规则 子语言 亚结构逻辑 后继函数 满射函数...

_{i=1}^{k-2}j_{i}.} 如果样条有其他的线性限制条件，那么这个样条将存在于一个线性子空间中。例如自然三次样条的空间是C2三次样条的子空间。 常用的样条有许多种，由它们的特征命名。以下列出其中几种： 由表达方式命名： 如果样条是基曲线的线性组合， 则称为B样条 如果每个子区间的多项式由伯恩施坦多项式表达，则称为貝茲样条(Bézier...

扣数学、追求热爱的主基调，讲述了林朝夕（张子枫饰）、裴之（张新成饰）等人在两个平行世界多次穿行、直面挑战的励志故事。本剧于2022年7月22日在CCTV-8、爱奇艺同步上映。 本剧涉及两个平行世界：草莓世界和芝士世界，在另一个世界物件的帮助下、在特定的条件中就可以实现穿行。一个世界的人物完成穿行后...

微分方程可以通过施加逆拉普拉斯变换得到其解。英国电气工程师奧利弗·黑維塞第一次提出了一个类似的计划，虽然没有使用拉普拉斯变换；以及由此产生的演算被誉为黑維塞演算。 应用拉普拉斯变换解常变量齐次微分方程，可以将微分方程化为代数方程，使问题得以解决。在工程学上，拉普拉斯变换的重大意义在于：将一个信号从时...