redukovatelný termín
Termín, který je v jazyku J definitoricky převeden na jiný termín. V axiomatických systémech jsou všechny definované pojmy redukovatelné na primitivní termíny. Primitivní termíny, pokud jsou nezávislé, nejsou navzájem redukovatelné.
Vytvořeno:
14. 3. 2000
Aktualizováno:
25. 9. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!