Foundations for Mathematical Methodology

Loading...
Thumbnail Image
Date
2016
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
Abstract
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.
En
Thesis note
Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Master en Ingeniería
153 p.
Notes
Incluye bibliografía y anexos.
Subject
PROGRAMACIÓN AUTOMÁTICA, MATEMÁTICAS-ENSEÑANZA, CÁLCULO, PROYECTOS-MI
Type
Trabajo final de carrera
Access the full text
Citation
Michelini Jorge, J. P. (2016). Foundations for Mathematical Methodology (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3300
Rights license