Sobre inducción y recursión
Date
2025-10
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
“Lo que este trabajo pretende es dar una justificación rigurosa en teoría de conjuntos y cálculo proposicional de la inducción matemática y también del método general de definición conocido como “recursión” pues la recursión y la inducción están estrechamente relacionadas: la recursión es una forma de definir funciones que dependen de sus valores anteriores, y se puede demostrar que la definición produce una única función usando inducción. “Recursión” se usa en el sentido de ’definición por recursión’ o ’definición por inducción’, es decir, definir una función f para el argumento x usando los valores previamente definidos. Los significados actuales de recursión y recursivo derivan del verbo ’recurrere’ en su sentido de ’volver una cosa al lugar de donde salió’. Una recursión es un procedimiento que define un conjunto o una función y al definirlo apela a elementos de dicho conjunto o a valores de la función”. Este trabajo tiene como objetivo proporcionar una justificación rigurosa de la inducción matemática y el método recursivo en los contextos de teoría de conjuntos y cálculo proposicional".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading