词条

合一

本文有关计算机科学主题。其他学科的条目参见合一 (消歧义)。

在数理逻辑中，特别是应用于计算机科学中，两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说，我们在项的集合上假定一个预序，其中 t* ≤ t 意味着 t* 是通过代换(substitute)在 t 中某些项的一个或多个自由变量而从 t 获得的。s 和 t 的同一 u，如果存在的话，是 s 和 t 二者的代换实例的一个项。s 和 t 的任何公共的代换实例也是 u 的实例。

例如，对于多项式X² 和 Y³ 可以通过采纳 X = Z³ 和 Y = Z² 而同一到 Z⁶。

合一相关文献

天人合一

参看天儒家理学中医道教道家内丹术天人相应知行合一合一亭宏观与微观参考资料天人合一（《中华百科全书》）季羡林：〈“天人合一”新解〉（2008）哲学概念浅释第四辑：“天人合德”与“神人合一”陆庆祥：“天人合一”思想之我观中西人文精神与宗教精神的交会道家养生要旨简述科学人杂志唐君毅《与青年谈中国文化》（节录一）

查看全文

知行合一

概述王守仁继承陆九渊强调“心即是理”之思想，反对程颐朱熹通过事事物物追求“至理”的“格物致知”方法，因为事理无穷无尽，格之则未免烦累，故提倡从自己内心中去寻找“理”，认为“理”全在人“心”，“理”化生宇宙天地万物，人秉其秀气，故人心自秉其精要。在知与行的关系上，王守仁从“天地万物本吾一体”出发，强调要知，更要行，知中有行，行中有知，所谓“知行合一”，二者互为表里，不可分离。知必然要表现为行，不行则不能算真知。出处王守仁指出：参考林维杰：〈王阳明论知行：一个诠释伦理学的解读〉。李明辉：〈从康德的实践哲学论王阳明的“知行合一”说〉。

查看全文

兵农合一

制度由国家推行的授田制。授田制下的每一士兵（成年男子）身份的村社社员都得到一块由国家分配的足以维持自己和家属生活的份地，并义务为国家负担兵役。特点是服役人员平时散在村社为农，战时临时征集为兵。散在为民时，兵器收归国家统一保管，国家临时征兵时发授武器，与职业常备军明显不同。代表古罗马份地。三国时代的屯田制。中国隋唐均田制。中世纪欧洲和日本的庄园制。日本战国时期长宗我部氏的一领具足相关条目民事防护、民防团、民防保甲制度保甲法府兵制保安团保安警察

查看全文

议行合一

基本特征其基本特征是：由人民直接或间接选举的代表机关统一行使国家权力；国家行政机关和其他国家机关由人民代表机关产生，各自对国家权力机关负责并受其监督。议行合一被普遍认为是与三权分立体制相对立的一种政治组织架构。

查看全文

合一

Prolog中的合一同一概念是在Prolog背后的主要想法。它表示绑定变量的内容的机制并可以看作为一种只一次的(one-time)赋值。在Prolog中，这种操作用符号"="来指示

查看全文

合一相关标签

数理逻辑

计算机逻辑

学科&术语

家族谱大览