Show simple item record

dc.contributor.advisorPáez, Jorge Edgares_ES
dc.contributor.authorCastellanos Camargo, Cristian Camilo
dc.contributor.authorDíaz Suárez, Yerson Libardo
dc.date.accessioned2016-09-06T16:13:39Z
dc.date.accessioned2017-12-12T21:57:27Z
dc.date.available2016-09-06T16:13:39Z
dc.date.available2017-12-12T21:57:27Z
dc.date.created2015
dc.date.issued2015
dc.identifier.otherTE-17797es_ES
dc.identifier.urihttp://hdl.handle.net/20.500.12209/2221
dc.description.abstractTrabajo 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.es_ES
dc.formatPDFes_ES
dc.language.isospaes_ES
dc.publisherUniversidad Pedagógica Nacional
dc.subjectLENGUAJE Y PROBLEMA DE LA PARADAes_ES
dc.subjectLICENCIATURA EN MATEMÁTICAS - TESIS Y DISERTACIONES ACADÉMICASes_ES
dc.subjectPROBLEMA INDECIDIBLEes_ES
dc.subjectALGORITMOS - CALCULO MATEMÁTICOes_ES
dc.subjectAUTÓMATAes_ES
dc.subjectCOMPUTADORES - HISTORIAes_ES
dc.subjectALGORITMOes_ES
dc.subjectLÓGICA MATEMÁTICAes_ES
dc.subjectMÁQUINA DE TURINGes_ES
dc.subjectENTSCHEIDUNGSPROBLEMes_ES
dc.titleAproximación al Entscheidungsproblem desde la teoría de Autómatas y máquinas de Turinges_ES
dc.typeTesises_ES
dc.publisher.programLicenciatura en Matemáticases_ES
dc.rights.accessAcceso abiertoes_ES
dc.relation.referencesApostol, T. (2001). Calculus (Segunda edición, Vols. 1-2, Vol. 2). Barcelona: Reverté.es_ES
dc.relation.referencesBeuchot, M. (1986). La conceptografía y la lógica formal de Frege. Revista Elementos, Ciencia y Cultura, 2(9), 70-75.es_ES
dc.relation.referencesBeuchot, M. (2008). Introducción a la lógica. México, D.F: UNAM.es_ES
dc.relation.referencesBeuchot, M. (2011). Manual de Filosofía. México, D.F: Ediciones Paulinas.es_ES
dc.relation.referencesBoole, G. (1854). An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications.en_EN
dc.relation.referencesCadevall, 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.es_ES
dc.relation.referencesDavis, M. (2002). La computadora universal. De Leibniz a Turing. Barcelona: Debate.es_ES
dc.relation.referencesDe Castro, R. (2004). Teoría de la computación. Lenguajes, autómatas, gramáticas (Primera edición). Bogotá: Universidad Nacional de Colombia.es_ES
dc.relation.referencesGallardo, D., Arques, P., & Lesta, I. (2003). Introducción a la teoría de la computabilidad (Segunda Edición). Alicante: Publicaciones Universidad de Alicante.es_ES
dc.relation.referencesGarcí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=eses_ES
dc.relation.referencesHerná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.es_ES
dc.relation.referencesHolcombe, M. (1982). Algebraic Automata Theory. Cambridge University Press.en_EN
dc.relation.referencesMartínez, P. (1985). El origen histórico de la lógica matemática: Boole. Thémata: Revista de filosofía, (2), 87 - 98.es_ES
dc.relation.referencesMelé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.pdfes_ES
dc.relation.referencesMuñoz, J. (2002). Introducción a la teoría de conjuntos (Cuarta edición). Bogotá: Universidad Nacional de Colombia.es_ES
dc.relation.referencesNavarrete, 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.pdfes_ES
dc.relation.referencesPérez, J., & Caparrini, F. (2003). Máquinas moleculares basadas en ADN. Universidad de Sevilla.es_ES
dc.relation.referencesWise, H. (1996). Breaking the Code. Documental, biografía, British Broadcasting Corporation (BBC). Recuperado a partir de https://www.youtube.com/watch?v=S23yie-779kes_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record