Estructuras desde el punto de vista de la teoría de la computabilidad

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorMartínez Ruíz, Iván
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorAltamirano Fernández, Luis Fernando
dc.date.accessioned2021-08-17T16:33:49Z
dc.date.available2021-08-17T16:33:49Z
dc.date.issued2021-02
dc.description.abstract“La teoría de la computabilidad se centra en el estudio de la complejidad de los objetos matemáticos en función de la dificultad de dar un algoritmo para calcularlos. Después del trabajo fundacional en el área de Turing en 1936, hubo desarrollos de Kleene, Post, Turing, Church y Markov que sirvieron de base a la teoría. Algunos de estos resultados se pueden encontrar en [Dav]. En este trabajo tomamosalgunas de las definiciones básicas de allí y las modificamos para darle al lecto una mirada más completa. Otro enfoque que usa un tipo diferente de máquina se puede encontrar en [Cut]. En este trabajo modificamos una máquina de Turing añadiéndole direccionamiento indirecto y así convirtiéndola en una máquina de acceso aleatorio. También presentamos de manera formal las principales definiciones y resultados dados en [Cut]. Nuestros propósitos principales son: el mostrar la existencia de un programa universal, mostrar ejemplos explícitos de conjuntos no computables, introducir la noción de que un conjunto sea enumerado por una unción computable e introducir los grados de Turing.”es_MX
dc.folio20210429142621-9482-TLes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/14007
dc.language.isospaes_MX
dc.matricula.creator201429353es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.lccOptimización matemáticaes_MX
dc.subject.lccProgramación (Matemáticas)es_MX
dc.subject.lccAlgoritmos computacionaleses_MX
dc.subject.lccFunciones computableses_MX
dc.thesis.careerLicenciatura en Matemáticases_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainLicenciado (a) en Matemáticases_MX
dc.titleEstructuras desde el punto de vista de la teoría de la computabilidades_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
20210429142621-9482-TL.pdf
Size:
1.15 MB
Format:
Adobe Portable Document Format
Description:
Download
Name:
20210429142621-9482-Carta.pdf
Size:
504.8 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Licenciatura