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 


Kategória:Matematika
Kategória:Logika