Detalles de la obra

Título:
Foundations for Mathematical Methodology
Autor(es):
Michelini Jorge, Juan Pedro
Pie de imprenta:
Montevideo: Universidad ORT Uruguay, 2016
Descripción física:
153 p. En línea
Nota de tesis:
Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2016. Calificación: 100/100
Título obtenido:
Entregado como requisito para la obtención del título de Master en Ingeniería
Tutor:
Álvaro Daniel Tasistro Souto
Tribunal:
Juan José Cabezas; Javier Blanco
Resumen:
El trabajo presenta un método original para establecer y demostrar conjeturas de la teoría ecuacional del cálculo lambda tipado. Incluye una serie de reglas que permiten al estudiante descubrir, por ejemplo, el tipo de las listas, que la función que invierte el orden de una lista es interesante y que dicha función es su propio inverso. Dichas reglas permiten, además, demostrar lo descubierto, de forma similar a como se resuelve una ecuación de segundo grado. El método quedó formalizado en un programa informático. El presente trabajo tiene valor como reflexión sobre la práctica matemática y una aplicación clara a la didáctica de la matemática de programas.
Referencias bibliográficas:
Incluye bibliografía y anexos.
Idioma:
Inglés
Tipo de material:
[Trabajo Final de Carrera]
Ubicación física:
Disponible en línea

Archivos asociados:

Archivo Tamaño Formato
Desarrollo de Tesis 773kB application/pdf
Informe del corrector 26kB application/pdf