Revisão das 17h48min de 23 de novembro de 2018 editar He7d3r (discussão \| contribs) Autorrevisores, Administradores da interface, Reversores 42 309 edições m Desfeita a edição 53665957 de 2001:8A0:67D8:A901:D57E:EBCA:87B:DC24: ligação interna sem relevância; -código HTML obsoleto; +ajustes Etiqueta: Desfazer ← Ver a alteração anterior		Revisão das 02h08min de 25 de dezembro de 2018 editar desfazer 177.131.120.83 (discussão) →‎Definições recursivas Etiqueta: Editor Visual Ver a alteração posterior →
Linha 63: == Definições recursivas == Em ~~lógica~~ [[lógica matemática]] e [[ciência da computação]], uma definição recursiva (também chamada de definição indutiva)é usada para definir um objeto (ou um conjunto) em termos de si mesmo. Uma definição recursiva de uma função, por exemplo, define valores para certas entradas em termos de valores produzidos por outras entradas para a mesma função.<ref>P. Aczel (1977), "An introduction to inductive definitions", Handbook of Mathematical Logic, J. Barwise (ed.), ISBN 0-444-86388-5</ref> Uma definição recursiva de um conjunto define todos os elementos desse conjunto através de outros elementos do mesmo conjunto, tomados como base. Por exemplo, uma definição indutiva do conjunto dos [[números naturais]], '''N''':

Definição: diferenças entre revisões