Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Datos del PFC [Volver]

Titulación
X
Título
Análisis de Puzzles con Diálogos a través de la Programación Declarativa
Autor
José David Díaz García
Directores
Gutierrez Lopez, Francisco
Ruiz Jiménez, Blas Carlos
Requisitos
Tener un conocimiento amplio sobre dos lenguajes declarativos, uno funcional y otro lógico.
Descripción
Muchos autores han planteado "problemas de ingenio" con el objetivo de introducir la lógica y la aritmética elementales, así como ejercitar estrategias de la matemática desde aspectos educativos y de investigación básica, llamados Puzzles con Diálogos [1, 2:cap. 12]; en éstos interviene un árbitro que elige ciertos datos, y reparte a diferentes participantes en forma secreta información parcial sobre éstos datos; el problema consiste en adivinar la información del árbitro a partir de un diálogo entre los participantes. Famosos puzzles con diálogos han sido descritos por John Conway [3]. El proyecto versará sobre el uso de lenguajes declarativos (Prolog, Haskell, ...) para describir un modelo general que permita, no solo resolver puzzles particulares, sino obtener/probar conjeturas sobre las soluciones de problemas similares.
[1] Ruiz Jiménez, Blas Carlos, F.Gutierrez, J.Gallardo, Puzzles con Diálogos, en: Jornadas para el Aprendizaje y la Enseñanza de las Matemáticas, Lugo (1999) 617-621.
[2] Ruiz Jiménez, Blas Carlos, Gutiérrez López, Francisco, Guerrero García, Pablo, Galllardo Ruiz, José Enrique, Razonando con Haskell. Una introducción a la Programación Funcional (los autores, Málaga, 2000).
[3] Ruiz Jiménez, Blas Carlos et al., Some light on the conjectures of Goldbach and Opperman, en: Proceedings of the Second Mediterranean Conference on Mathematics Education, Nicosia (Cyprus) (2000) 65-74.
Otros
-
Fecha
7/10/02
Fecha lectura
-
Url
-
Documento
>>> Acceder