Sobre la teoría de efectividad Tipo 2 y algunas aplicaciones en el Álgebra Lineal

Bermúdez Rojas, Daniel Stiven

Sobre la teoría de efectividad Tipo 2 y algunas aplicaciones en el Álgebra Lineal

dc.contributor.advisor	Mejía Moreno, Carolina	spa
dc.contributor.author	Bermúdez Rojas, Daniel Stiven	spa
dc.date.accessioned	2020-08-10T08:56:06Z
dc.date.available	2020-08-10T08:56:06Z
dc.date.created	2020-07-17	spa
dc.description	Este trabajo muestra una pequeña introducción a laMatemáticas Tipo 2, un tipo de computabilidad basado en las Máquinas de Turing de múltiples cintas unidireccionales. Con este modelo y usando una nueva definición computabilidad, podemos solucionar algunos problemas como inestabilidades numéricas que se encuentran cuando se usa la computabilidad clásica, lo que permite disminuir las serias diferencias que se observan entre los resultados de los cálculos que se hacen usando el modelo y la realidad. El objetivo principal, es aplicar este tipo de computabilidad en la resolución de algunos problemas propios del Álgebra Lineal, tales como, dada una matriz, encontrar su determinante o calcular su inversa.	spa
dc.description.abstract	This work is an introduction to Type-2 Theory of Effectivity. This theory is about some kind of computability that is based on Turing Machines with multiple one-way input tapes. This theory allows solve many problems in computational calculations like differences between real results and results obtained with classical software. The main objective in this text is to attack some problems in Linear Algebra like determinant calculus and inverse matrices.	spa
dc.format.mimetype	pdf	spa
dc.identifier.uri	http://hdl.handle.net/11349/25050
dc.language.iso	spa	spa
dc.rights	Atribución-NoComercial-SinDerivadas 4.0 Internacional	*
dc.rights.acceso	Abierto (Texto Completo)	spa
dc.rights.accessrights	info:eu-repo/semantics/openAccess	spa
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject	Máquinas de Turing	spa
dc.subject	Computabilidad	spa
dc.subject	Funciones computables	spa
dc.subject	Teoría de efectividad Tipo 2	spa
dc.subject.keyword	Turing machines	spa
dc.subject.keyword	Computability	spa
dc.subject.keyword	Computable functions	spa
dc.subject.keyword	Type-2 theory of effectivity	spa
dc.subject.lemb	Matemáticas - Tesis y disertaciones académicas	spa
dc.subject.lemb	Máquinas de Turing	spa
dc.subject.lemb	Álgebra lineal	spa
dc.subject.lemb	Estructuras de datos	spa
dc.title	Sobre la teoría de efectividad Tipo 2 y algunas aplicaciones en el Álgebra Lineal	spa
dc.title.titleenglish	On Type 2 theory of effectiveness and some applications in Linear Algebra	spa
dc.type.coar	http://purl.org/coar/resource_type/c_7a1f	spa
dc.type.degree	Monografía	spa
dc.type.driver	info:eu-repo/semantics/bachelorThesis	spa