合一
在逻辑和计算机科学中，合一（unification），是方程求解表达式之间方程的算法过程。例如，使用 x, y, z 作为变量，单元素集合解的方程{cons(x, cons(x, nil)) = cons(2, y)}是一个语法一阶合一问题，具有替换{x ↦ 2, y ↦ cons(2, nil)}作为其唯一解。 合一算法首先由雅克·埃尔布朗 ( 发现，而第一个正式研究可归因于 ，他使用一阶句法合一作为基本构建块他对一阶逻辑的归结过程的…
标签：#合一
共 2 篇文章
方程求解
數學中的方程求解是指找出哪些值（可能是數、函數、集合）可以使一個方程成立，或是指出這様的解不存在。方程是兩個用等號相連的數學表示式，表示式中有一個或多個未知數，未知數為自由變數，解方程就是要找出未知數要在什麼情形下，才能使等式成立。更準確的說，方程求解不一定是要找出未知數的值，也有可能是將未知數以表示式來表示。方程的解是一組可以符合方程的未知數，也就是說若用方程的解來取代未知數，會使方程變為恆等式。 例如方程x+y=2x-1的解為x=y…