Foundations for Mathematical Methodology

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.authorMichelini Jorge, Juan Pedroes
dc.contributor.tribunalCabezas, Juan Josées
dc.contributor.tribunalBlanco, Javieres
dc.date.accessioned2017-06-14T14:50:41Z
dc.date.available2017-06-14T14:50:41Z
dc.date.issued2016es
dc.descriptionIncluye bibliografía y anexos.es
dc.description.abstractEl 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.sponsorshipANII - POS_NAC_2014_1_102561.es
dc.format.extent153 p.es
dc.identifier.citationMichelini 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/3300es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3300
dc.languageIngléses
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/84076es
dc.subjectPROGRAMACIÓN AUTOMÁTICAes
dc.subjectMATEMÁTICAS-ENSEÑANZAes
dc.subjectCÁLCULOes
dc.subjectPROYECTOS-MIes
dc.titleFoundations for Mathematical Methodologyes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Master en Ingeniería - MIes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelMasteres
ort.thesis.degreenameMaster en Ingenieríaes
ort.thesis.degreetypeDesarrollo de Tesises
ort.thesis.noteDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
754.44 KB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de postgrado