Show simple item record

dc.contributor.advisor Tasistro Souto, Álvaro Daniel es
dc.contributor.author Michelini Jorge, Juan Pedro es
dc.date.accessioned 2017-06-14T14:50:41Z
dc.date.available 2017-06-14T14:50:41Z
dc.date.issued 2016 es
dc.identifier.citation Michelini Jorge, J. P. (2016). Foundations for Mathematical Methodology (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://dspace.ort.edu.uy/handle/20.500.11968/3300 es
dc.identifier.uri http://hdl.handle.net/20.500.11968/3300
dc.description Incluye bibliografía y anexos. es
dc.description.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. es
dc.description.sponsorship ANII - POS_NAC_2014_1_102561. es
dc.format.extent 153 p. es
dc.language Inglés es
dc.publisher Universidad ORT Uruguay es
dc.subject PROGRAMACIÓN AUTOMÁTICA es
dc.subject MATEMÁTICAS-ENSEÑANZA es
dc.subject CÁLCULO es
dc.subject PROYECTOS-MI es
dc.title Foundations for Mathematical Methodology es
dc.type Trabajo final de carrera es
ort.thesis.degreegrantor Facultad de Ingeniería es
ort.thesis.degreelevel Master es
ort.thesis.degreename Master en Ingeniería es
ort.thesis.degreetype Desarrollo de Tesis es
ort.thesis.note Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería es
dc.contributor.tribunal Cabezas, Juan José es
dc.contributor.tribunal Blanco, Javier es
dc.relation.other https://bibliotecas.ort.edu.uy/bibid/84076 es
ort.thesis.career FI - Master en Ingeniería - MI es


Files in this item

This item appears in the following Collection(s)

Show simple item record