Induktívna definícia

Induktívna definícia je jeden zo spôsobov definovania objektov matematických a logických systémov. Spočíva v tom, že sa uvádzajú:

1. východiskové alebo elementárne objekty systému
2. pravidlá alebo operácie, ktoré umožňujú z daných objektov budovať nové objekty systému.

Takto sa definuje napr. prirodzené číslo v aritmetike. Induktívna definícia má byť úplná, t. j. jej prostriedkami sa majú definovať všetky objekty daného systému a len tieto objekty.

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.