黎凡特 蛋黄酱

黎凡特

黎凡特(阿拉伯语:المشرق .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium Alte

阅读全文
真势语气 蛋黄酱

真势语气

有些语言具有真势语气和非真势语气的分别。真势语气用来表达逻辑上的可能性、不可能性或必要性,而非真势语气用来表达其它类型的可能性或必要性。在这类语言中,“圆不可能是方的”一句中的“不可能”是通过

阅读全文
完全海廷代数 蛋黄酱

完全海廷代数

在数学特别是序理论中,完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴的对象,它们是范畴CHey,locales的范畴Loc,它的对偶frames的范畴Frm。定义考虑是完全格的偏序集合(P, ≤)。则P是完全海

阅读全文
惰性求值 蛋黄酱

惰性求值

在编程语言理论中,惰性求值(英语:Lazy Evaluation),又译为惰性计算、懒惰求值,也称为传需求调用(call-by-need),是一个计算机编程中的一个概念,目的是要最小化计算机要做的工作。它有两个相关而又有区别的含意,可以

阅读全文
抽象代数逻辑 蛋黄酱

抽象代数逻辑

抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。概述代数逻辑起源的原型和后续发展的核心基础是在布尔代数类和经典命题演算之间的关联。这种关联是

阅读全文
一元布尔代数 蛋黄酱

一元布尔代数

在抽象代数中,一元布尔代数是带有如下标识(signature)的代数结构 <A, ·, +, ', 0, 1, ∃> 有型 <2,2,1,0,0,1>,这里的 <A, ·, +, ', 0, 1> 是布尔代数。前缀一元算子 ∃ 指示存在量词,它满足恒等式:∃0 = 0

阅读全文
经典逻辑 蛋黄酱

经典逻辑

经典逻辑(英语:Classical logic),又称古典逻辑,标识已经被最深入的研究和最广泛的使用的一类形式逻辑,也被称为标准逻辑(standard logic)。经典逻辑被特征化为一些性质,非经典逻辑缺乏这其中的某一个或多个特性:排

阅读全文
否命题 蛋黄酱

否命题

在逻辑学中,否命题是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定,那么称这两个命题互为否命题。 P &#x2192; Q

阅读全文
自由幺半群 蛋黄酱

自由幺半群

在抽象代数里,于一集合A上的自由幺半群是指一幺半群,其元素都是由A内零个或多个元素以串接之二元运算形成的有限序列(或字符串)。通常标记为A*。其单位元为空字元串,标记为ε 或 λ。在A上的自由半群则指是A

阅读全文