unifikál
C2
Maďarština
unify
SLOVESO
C2
TECHNICAL
1
unify
C2
Vzorec užití:
unifikál két kifejezést / változót
Zatím nejsou k dispozici žádné dvojice příkladových vět.
Význam
make expressions logically consistent
Témata
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
Definice
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
Gramatika
Zatím nejsou k dispozici žádné gramatické údaje.
Výrazy
K tomuto heslu zatím nejsou přiřazené žádné výrazy.