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

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...

Full description

Autores:

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2020

Institución:

Universidad Distrital Francisco José de Caldas

Repositorio:

RIUD: repositorio U. Distrital

Idioma:

spa

OAI Identifier:

oai:repository.udistrital.edu.co:11349/25050

Acceso en línea:

http://hdl.handle.net/11349/25050

Palabra clave:

Máquinas de Turing
Computabilidad
Funciones computables
Teoría de efectividad Tipo 2
Matemáticas - Tesis y disertaciones académicas
Máquinas de Turing
Álgebra lineal
Estructuras de datos
Turing machines
Computability
Computable functions
Type-2 theory of effectivity

Rights

License

Atribución-NoComercial-SinDerivadas 4.0 Internacional