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

Autores
Kantor, Raúl
Año de publicación
1996
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Algorithms
Listas
Funciones de listas
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24221
Acceder
id SEDICI_ffdeee367210f52c68a32f6263285aad
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24221
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Listas y funciones de listas : Una propuesta de introducción de modelos de cálculoKantor, RaúlCiencias InformáticasAlgorithmsListasFunciones de listasSobre 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.Eje: 4to. ateneo de profesores universitarios de computación y sistemasRed de Universidades con Carreras en Informática (RedUNCI)1996-11info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf498-506http://sedici.unlp.edu.ar/handle/10915/24221spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:34Zoai:sedici.unlp.edu.ar:10915/24221Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:34.742SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
title Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
spellingShingle Listas y funciones de listas : Una propuesta de introducción de modelos de cálculo
Kantor, Raúl
Ciencias Informáticas
Algorithms
Listas
Funciones de listas
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
dc.creator.none.fl_str_mv Kantor, Raúl
author Kantor, Raúl
author_facet Kantor, Raúl
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Algorithms
Listas
Funciones de listas
topic Ciencias Informáticas
Algorithms
Listas
Funciones de listas
dc.description.none.fl_txt_mv 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.
Eje: 4to. ateneo de profesores universitarios de computación y sistemas
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 1996
dc.date.none.fl_str_mv 1996-11
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24221
url http://sedici.unlp.edu.ar/handle/10915/24221
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
498-506
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260124698148864
score 13.13397

Publicaciones similares