Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo

Sobre una idea desarrollada por G. Jacopini (Universidad de Roma), se introduce un modelo adicional a los clásicos de funciones recursivas y máquinas de Turing. Este modelo, no común en la literatura, es de una enorme potencia didáctica. En su aparente sencillez permite familiarizarse rápidamente...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Kantor, Raúl
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1996
Materias:
Ciencias Informáticas
Algorithms
Listas
Funciones de listas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24221
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24221
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Algorithms
Listas
Funciones de listas
spellingShingle Ciencias Informáticas
Algorithms
Listas
Funciones de listas
Kantor, Raúl
Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
topic_facet Ciencias Informáticas
Algorithms
Listas
Funciones de listas
description Sobre una idea desarrollada por G. Jacopini (Universidad de Roma), se introduce un modelo adicional a los clásicos de funciones recursivas y máquinas de Turing. Este modelo, no común en la literatura, es de una enorme potencia didáctica. En su aparente sencillez permite familiarizarse rápidamente con conceptos de gran profundidad. El presente es la base estructural de un apunte de cátedra más completo. Los alumnos llegan a esta parte de la materia con un manejo del concepto clásico de funciones recursivas. El resultado principal que se ofrece es que este nuevo modelo “al menos” incluye al de las funciones recursivas. El tema que sigue (que se esboza brevemente al final de este trabajo) es la presentación de las máquinas de Turing y la demostración de la capacidad de estas de “contemplar” entre sus posibilidades las funciones recursivas de listas. La clásica demostración de que las máquinas de Turing pueden ser “representadas” por las funciones recursivas, cierra en belleza la presentación de estos tres modelos de cálculo, mostrando su equivalencia profunda.
format Objeto de conferencia
Objeto de conferencia
author Kantor, Raúl
author_facet Kantor, Raúl
author_sort Kantor, Raúl
title Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title_short Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title_full Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title_fullStr Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title_full_unstemmed Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title_sort listas y funciones de listas : una propuesta de introducción de modelos de cálculo
publishDate 1996
url http://sedici.unlp.edu.ar/handle/10915/24221
work_keys_str_mv AT kantorraul listasyfuncionesdelistasunapropuestadeintroducciondemodelosdecalculo
bdutipo_str Repositorios
_version_ 1764820466753601536

Ejemplares similares