Sobre inducción y recursión

Simple item page
dc.audiencegeneralPublic
dc.contributorMartínez Ruíz, Iván
dc.contributorRamírez Páramo, Alejandro
dc.contributor.advisorMartínez Ruíz, Iván; 0000-0003-2631-7113
dc.contributor.advisorRamírez Páramo, Alejandro; 0000-0002-2777-1118
dc.contributor.authorRomano Carrillo, Martha Angélica
dc.date.accessioned2026-04-21T19:04:42Z
dc.date.available2026-04-21T19:04:42Z
dc.date.issued2025-10
dc.description.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".
dc.folio20251023114752-8612-TL
dc.formatpdf
dc.identificator1
dc.identifier.urihttps://hdl.handle.net/20.500.12371/32046
dc.language.isospa
dc.matricula.creator201751947
dc.publisherBenemérita Universidad Autónoma de Puebla
dc.rights.accesopenAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
dc.subject.lccMatemáticas--Filosofía--Lógica matemática--Teoría de la recursión
dc.subject.lccMatemáticas--Álgebra--Teoría de conjuntos
dc.subject.lccMatemáticas--Filosofía--Lógica matemática--Sistemas lógicos clásicos--Cálculo proposicional
dc.subject.lccInducción (Matemáticas)
dc.thesis.careerLicenciatura en Matemáticas
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactas
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticas
dc.thesis.degreetoobtainLicenciado (a) en Matemáticas
dc.titleSobre inducción y recursión
dc.typeTesis de licenciatura
dc.type.conacytbachelorThesis
dc.type.degreeLicenciatura
Files
Original bundle
Now showing 1 - 2 of 2
Name:
20251023114752-8612-TL.pdf
Size:
608.75 KB
Format:
Adobe Portable Document Format
Download
Name:
20251023114752-8612-CARTA.pdf
Size:
1.21 MB
Format:
Adobe Portable Document Format
Collections
Tesis de Licenciatura