微百科:格理论

本分类共包含词条: 0

本分类中词条共被编辑过: 0

参与协作的用户数: 0

分配格

最新协作智愿者: 星语

分配格设〈A,,〉是由格〈A,〉所诱导的代数系统。如果对任意的a,b,cA,满足a(bc)=(ab)(ac)和a(bc)=(ab)(ac),则称〈A,〉是分配格。 [详细]

相关词条: 有限群 非线性算子 修辞格 黎曼几何学 可计算性理论

精彩词条

最新协作智愿者

桃桃妈

桃桃妈

创建词条:16

编辑词条:279

anyaniu

anyaniu

创建词条:89

编辑词条:111

xiaolaoban888

xiaolaoban888

创建词条:30590

编辑词条:109853

看你能蹦达几天

看你能蹦达几天

创建词条:26089

编辑词条:2938

最新词条 词条帮助 | 全部词条

  • 分配格

    分配格

    协作者: 星语

    分配格设〈A,,〉是由格〈A,〉所诱导的代数系统。如果对任意的a,b,cA,满足a(bc)=(ab)(ac)和a(bc)=(ab)(ac),则称〈A,〉是分配格。 [详细]

  • 剩余格

    剩余格

    协作者: 忘忧·花

    在抽象代数中,剩余格是有着特定的简单性质的格,此性质适用于任何环的所有两端的理想状态。 在这个上下文中,这些对象的研究可以回溯到1930年代。最近在各种多值逻辑的真实度的求值中形成这样的一个格来一般化布尔代数、Heyting代数和多值代数。 [详细]

  • 布尔代数

    布尔代数

    协作者: 秋刀魚

    所谓一个布尔代数,是指一个有序的四元组〈B,∨,∧,*〉,其中B是一个非空的集合,∨与∧是定义在B上的两个二元运算,*是定义在B上的一个一元运算,并且它们满足一定的条件。以布尔值(或称逻辑值)为基本研究对象并以此延伸至相关研究方向的一门数学学科。布尔值有两个,真(用1表示)和假... [详细]

  • 布尔代数

    布尔代数

    协作者: 秋刀魚

    所谓一个布尔代数,是指一个有序的四元组〈B,∨,∧,*〉,其中B是一个非空的集合,∨与∧是定义在B上的两个二元运算,*是定义在B上的一个一元运算,并且它们满足一定的条件。以布尔值(或称逻辑值)为基本研究对象并以此延伸至相关研究方向的一门数学学科。布尔值有两个,真(用1表示)和假... [详细]

  • 完全格

    完全格

    协作者: 指迷居士

    完全格,是在其中所有子集都有上确界(并)和下确界(交)的偏序集。出现于数学和计算机科学的很多应用中。 [详细]

  • 有补格

    有补格

    协作者: 啊亮1

    有补格〔h苗沈州由胡】神洲臼妞或~口曰此耐曰h比理;pe山e徽c八0"0皿e”朋MH」具有零元O和单位1的一个格(」at石Ce)L,其中对任何元素a存在元素b(称为元素a的补(印mp】献11tofthee七比长”t)),使得avb=l且“八b二0.如果对任何满足a续b的a,b〔... [详细]

  • 内在格授予条件

    乔姆斯基(Chomsky,1986:194) 在1986年提出了内在格授予条件 如果A是一个内在格授予成分,那么只有在A给NP分派题元角色的情况下,A才能给NP授格。 Chomsky, Noam (1986)Knowledge of Language: Its Nature... [详细]

  • 成分统制

    成分统制

    协作者: william_he

    成分统制(C(onstituent)-command)或最大投射统制(M(aximal projection)-command),简称“统制” 如果节点A、B互不支配,而且支配A的第一个最大投射也支配B,则节点A统制节点B。 Chomsky, Noam (1986)Barr... [详细]

  • 补运算

    补运算

    协作者: 萧魂

    即在有补格中求补元(complement)的过程。 设 <math>(L, \vee, \wedge, 0, 1)</math> 是一个有界格,<math>a \in L</ma... [详细]