1 |
unifikaceUnifikace je v logice substituce, po jejíž aplikaci na množinu termů dostaneme jeden term. Formálně, je-li algebra termů a t a s dva termy, je substituce jejich unifikací, pokud . Algoritmus unifika [..]
|
2 |
unifikacesjednocování, jednotnost
|
3 |
unifikacesjednocování, jednotnost
|
4 |
unifikaceSjednocování, sestejòování, pøizpùsobování; tendence pøírodního a spoleèenského výbìru, které pùsobí jako dialektický protiklad proti procesùm rozrùzòování, a preferují to, co je v daný [..]
|
<< unicelulární | uniforma >> |