Show simple item record

dc.contributor.advisorMejía Moreno, Carolinaspa
dc.creatorBermúdez Rojas, Daniel Stivenspa
dc.date.accessioned2020-08-10T08:56:06Z
dc.date.available2020-08-10T08:56:06Z
dc.date.created2020-07-17spa
dc.identifier.urihttp://hdl.handle.net/11349/25050
dc.descriptionEste 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.abstractThis 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.mimetypepdfspa
dc.language.isospaspa
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectMáquinas de Turingspa
dc.subjectComputabilidadspa
dc.subjectFunciones computablesspa
dc.subjectTeoría de efectividad Tipo 2spa
dc.titleSobre la teoría de efectividad Tipo 2 y algunas aplicaciones en el Álgebra Linealspa
dc.subject.lembMatemáticas - Tesis y disertaciones académicasspa
dc.subject.lembMáquinas de Turingspa
dc.subject.lembÁlgebra linealspa
dc.subject.lembEstructuras de datosspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.title.titleenglishOn Type 2 theory of effectiveness and some applications in Linear Algebraspa
dc.subject.keywordTuring machinesspa
dc.subject.keywordComputabilityspa
dc.subject.keywordComputable functionsspa
dc.subject.keywordType-2 theory of effectivityspa
dc.type.degreeMonografíaspa
dc.rights.accesoAbierto (Texto Completo)spa
dc.type.driverinfo:eu-repo/semantics/bachelorThesisspa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1fspa


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 4.0 Internacional
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 4.0 Internacional