Logo
Юнионпедия
Съобщение
Предлага се в Google Play
New! Свали Юнионпедия на вашия Android ™!
Безплатно
По-бързо от браузъра!
 

Унификация (информатика)

Index Унификация (информатика)

Унификация в математическата логика и по-специално в информатиката е метод за уеднаквяване на логически изрази и играе основна роля в областта на логическото програмиране.

1 връзка: Математическа логика.

Математическа логика

Математическата логика е дял от математиката, съвременна форма на формалната логика.

New!!: Унификация (информатика) и Математическа логика · Виж повече »

Пренасочва тук:

Унификация.

ИзходящIncoming
Хей! Ние сме на Facebook сега! »