克莱尼代数 编辑
克莱尼代数在数学中是下列两个事物之一:
1
相关
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
在抽象代数中，剩余格是既为格又为幺半群的代数结构，使得幺半群乘法的每个自变量都是关于这个格次序的伽罗瓦连接的一极。它的一般概念是Ward和Dilworth在1939年介入的。某些例子先于一般概念而存在，包括布尔代数、Heyting代数、剩余布尔代数、关系代数和MV-代数。剩余半格省略了交运算∧，比如克莱尼代数和作用代数。
在抽象代数中，剩余格是既为格又为幺半群的代数结构，使得幺半群乘法的每个自变量都是关于这个格次序的伽罗瓦连接的一极。它的一般概念是Ward和Dilworth在1939年介入的。某些例子先于一般概念而存在，包括布尔代数、Heyting代数、剩余布尔代数、关系代数和MV-代数。剩余半格省略了交运算∧，比如克莱尼代数和作用代数。
斯蒂芬·科尔·克莱尼美国数学家、逻辑学家，主要从事对可计算函数的研究，而他的递归理论研究有助于奠定理论电脑科学的基础。他为数学直觉主义的基础做出了重要贡献，算数阶层、克莱尼代数、Kleene星号、克莱尼递归定理和克莱尼不动点定理数学概念以他的名字命名。他也是正规表示法的发明者。
在代数逻辑中，作用代数是既是剩余半格又是克莱尼代数的代数结构。它向剩余半格增加了克莱尼代数的星号或自反传递闭包运算，或者说向克莱尼代数增加了剩余半格的左和右剩余或蕴涵运算。不像程序的动态逻辑和其他模态逻辑，对于它们程序和命题形成了两个不同的类别，作用代数合并了二者为一个单一类别。它可被认为是变异的Heyting代数，带有星号并带有非交换性的合取，它的单位元不需要是顶元素。不像克莱尼代数，作用代数形成了一个代数簇，它进一步的是可有限公理化的，至关重要的公理是 a·* ≤ a。不像克莱尼代数的等式理论的模型，作用代数的星号运算是在所有等式的模型中自反传递闭包。