induktivní definice
Rekursívní definice – definice dobře uspořádané množiny, v níž jsou rozlišitelné výchozí prvky a prvky získané. Induktivní definice z výchozích prvků musí generovat (vymezit) danými operacemi všechny předměty této množiny a pouze tyto předměty.
Vytvořeno:
14. 3. 2000
Aktualizováno:
11. 7. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!