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ú:
- východiskové alebo elementárne objekty systému
- 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
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.