Unifikacja (logika)
Z Wikipedii
Niektóre informacje zawarte w artykule wymagają weryfikacji. Do weryfikacji: czy takie pojęcie faktycznie istnieje w logice. (Tekst został wycięty w ramach disambiga z unifikacja) |
Unifikacja - w logice proces ujednolicania, w wyniku którego zakresy pojęciowe lub znaczenia niezwiązane ze sobą lub w jakiś sposób niezgodne, nabywają zgodności i stają się częścią większej całości.