Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.

Castellanos Camargo, Cristian Camilo; Díaz Suárez, Yerson Libardo

dc.contributor.advisor	Páez Ortegón, Jorge Edgar	spa
dc.contributor.author	Castellanos Camargo, Cristian Camilo	spa
dc.contributor.author	Díaz Suárez, Yerson Libardo	spa
dc.date.accessioned	2016-09-06T16:13:39Z
dc.date.accessioned	2017-12-12T21:57:27Z
dc.date.available	2016-09-06T16:13:39Z
dc.date.available	2017-12-12T21:57:27Z
dc.date.issued	2015
dc.identifier.other	TE-17797
dc.identifier.uri	http://hdl.handle.net/20.500.12209/2221
dc.description.abstract	Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se definen y clasifican los autómatas finitos para entender el funcionamiento, definición, caracterización y simulación de las Máquinas de Turing, con el fin de reconocer los lenguajes recursivamente enumerables que son recursivos, los cuales son equivalentes a una definición de decibilidad y serán de gran importancia para la aproximación a la demostración del Entscheidungsproblem.	spa
dc.format	PDF	spa
dc.format.mimetype	application/pdf	spa
dc.language.iso	spa
dc.publisher	Universidad Pedagógica Nacional	spa
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/4.0/
dc.source	reponame:Repositorio Institucional de la Universidad Pedagógica Nacional	spa
dc.source	instname:Universidad Pedagógica Nacional	spa
dc.subject	Lenguaje y problema de la parada	spa
dc.subject	Problema indecidible	spa
dc.subject	Automata	spa
dc.subject	Algoritmo	spa
dc.subject	Maquina de Turing	spa
dc.subject	Entscheidungsproblem	spa
dc.title	Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.	spa
dc.type	info:eu-repo/semantics/bachelorThesis
dc.publisher.program	Licenciatura en Matemáticas	spa
dc.rights.access	Acceso abierto	spa
dc.rights.accessrights	info:eu-repo/semantics/openAccess
dc.relation.references	Apostol, T. (2001). Calculus (Segunda edición, Vols. 1-2, Vol. 2). Barcelona: Reverté.
dc.relation.references	Beuchot, M. (1986). La conceptografía y la lógica formal de Frege. Revista Elementos, Ciencia y Cultura, 2(9), 70-75.
dc.relation.references	Beuchot, M. (2008). Introducción a la lógica. México, D.F: UNAM.
dc.relation.references	Beuchot, M. (2011). Manual de Filosofía. México, D.F: Ediciones Paulinas.
dc.relation.references	Boole, G. (1854). An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications.
dc.relation.references	Cadevall, S. (1976). Decibilidad de la Lógica de Predicados Monádicos por el Método de la Recusación. Teorema: Revista Internacional de Filosofía, 6(3-4), 455-484.
dc.relation.references	Davis, M. (2002). La computadora universal. De Leibniz a Turing. Barcelona: Debate.
dc.relation.references	De Castro, R. (2004). Teoría de la computación. Lenguajes, autómatas, gramáticas (Primera edición). Bogotá: Universidad Nacional de Colombia.
dc.relation.references	Gallardo, D., Arques, P., & Lesta, I. (2003). Introducción a la teoría de la computabilidad (Segunda Edición). Alicante: Publicaciones Universidad de Alicante.
dc.relation.references	García, L., & Martínez, G. (2005). Apuntes de Teoría de Autómatas y lenguajes formales. Recuperado a partir de http://repositori.uji.es/xmlui/handle/10234/5995?localeattribute=es
dc.relation.references	Hernández, F., & Morado, R. (2007). Hilbert, Turing y la Noción de Procedimiento Efectivo. En Sociedad y ciencia (pp. 313-320). México D.F: Siglo XXI editores.
dc.relation.references	Holcombe, M. (1982). Algebraic Automata Theory. Cambridge University Press.
dc.relation.references	Martínez, P. (1985). El origen histórico de la lógica matemática: Boole. Thémata: Revista de filosofía, (2), 87 - 98.
dc.relation.references	Meléndez, R. (1992). Observaciones sobre la demostración de Gödel. En P. Gómez & C. Gómez, Sistemas Formales, informalmente ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? (Segunda edición, pp. 109-111). Bogotá: Una empresa docente/Universidad de los Andes. Recuperado a partir de http://funes.uniandes.edu.co/668/1/Gomez1999Sistemas.pdf
dc.relation.references	Muñoz, J. (2002). Introducción a la teoría de conjuntos (Cuarta edición). Bogotá: Universidad Nacional de Colombia.
dc.relation.references	Navarrete, I., Cárdenas, M., Sánchez, D., Botía, J., Marín, R., & Martínez, R. (2003). Teoría de autómatas y lenguajes formales. Universidad de Murcia. Recuperado a partir de http://tux.uis.edu.co/lenguajes/doc/Murcia.pdf
dc.relation.references	Pérez, J., & Caparrini, F. (2003). Máquinas moleculares basadas en ADN. Universidad de Sevilla.
dc.relation.references	Wise, H. (1996). Breaking the Code. Documental, biografía, British Broadcasting Corporation (BBC). Recuperado a partir de https://www.youtube.com/watch?v=S23yie-779k
dc.publisher.faculty	Facultad de Ciencia y Tecnología	spa
dc.type.local	Tesis/Trabajo de grado - Monografía – Pregrado	spa
dc.type.coar	http://purl.org/coar/resource_type/c_7a1f	eng
dc.description.degreename	Licenciado en Matemáticas	spa
dc.description.degreelevel	Tesis de pregrado	spa
dc.type.driver	info:eu-repo/semantics/bachelorThesis	eng
dc.identifier.instname	instname:Universidad Pedagógica Nacional	spa
dc.identifier.instname	instname:Universidad Pedagógica Nacional	spa
dc.identifier.reponame	reponame: Repositorio Institucional UPN	spa
dc.identifier.repourl	repourl: http://repositorio.pedagogica.edu.co/
dc.subject.lemb	Algoritmos - Calculo matemático	spa
dc.subject.lemb	Lógica matemática	spa
dc.subject.lemb	Computadores - Historia	spa
dc.type.version	info:eu-repo/semantics/acceptedVersion
dc.type.version	http://purl.org/coar/version/c_ab4af688f83e57aa
dc.rights.creativecommons	Attribution-NonCommercial-NoDerivatives 4.0 International