Foundations for Mathematical Methodology

Michelini Jorge, Juan Pedro

Supervisor(es): Tasistro Souto, Álvaro Daniel

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.

Detalles Bibliográficos
2016
ANII - POS_NAC_2014_1_102561.
PROGRAMACIÓN AUTOMÁTICA
MATEMÁTICAS-ENSEÑANZA
CÁLCULO
PROYECTOS-MI
Inglés
Universidad ORT Uruguay
RAD
http://hdl.handle.net/20.500.11968/3300
Acceso abierto
_version_ 1874659229142351872
author Michelini Jorge, Juan Pedro
author_facet Michelini Jorge, Juan Pedro
author_role author
bitstream.checksum.fl_str_mv 9492947b73c18f70dd47c8d2c3160520
cb52997c5e8e496b8ce848f9ef245814
ef020020e4f52de7fe78e10b9d1d594e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
bitstream.url.fl_str_mv https://rad.ort.edu.uy/bitstreams/f8d601a9-b89c-4fda-a6d7-5d447401c16a/download
https://rad.ort.edu.uy/bitstreams/4fdbcbc9-20bd-41c6-96af-29b8b3067e8c/download
https://rad.ort.edu.uy/bitstreams/da9e2401-1331-4be2-9703-b0c731c13c8d/download
collection RAD
dc.contributor.tribunal.es.fl_str_mv Cabezas, Juan José
Blanco, Javier
dc.creator.advisor.none.fl_str_mv Tasistro Souto, Álvaro Daniel
dc.creator.none.fl_str_mv Michelini Jorge, Juan Pedro
dc.date.accessioned.none.fl_str_mv 2017-06-14T14:50:41Z
dc.date.available.none.fl_str_mv 2017-06-14T14:50:41Z
dc.date.issued.es.fl_str_mv 2016
dc.description.abstract.none.fl_txt_mv 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.
dc.description.es.fl_txt_mv Incluye bibliografía y anexos.
dc.description.sponsorship.none.fl_txt_mv ANII - POS_NAC_2014_1_102561.
dc.format.extent.es.fl_str_mv 153 p.
dc.identifier.citation.es.fl_str_mv 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
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.11968/3300
http://hdl.handle.net/20.500.11968/3300
dc.language.iso.none.fl_str_mv Inglés
eng
dc.publisher.es.fl_str_mv Universidad ORT Uruguay
dc.relation.none.fl_str_mv https://bibliotecas.ort.edu.uy/bibid/84076
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv reponame:RAD
instname:Universidad ORT Uruguay
instacron:Universidad ORT
dc.subject.es.fl_str_mv PROGRAMACIÓN AUTOMÁTICA
MATEMÁTICAS-ENSEÑANZA
CÁLCULO
PROYECTOS-MI
dc.title.none.fl_str_mv Foundations for Mathematical Methodology
dc.type.es.fl_str_mv Trabajo final de carrera
dc.type.none.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
description Incluye bibliografía y anexos.
eu_rights_str_mv openAccess
format masterThesis
id RAD_1fc6d51c9b8648074ce985c4244f1fa9
identifier_str_mv 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
instacron_str Universidad ORT
institution Universidad ORT
instname_str Universidad ORT Uruguay
language eng
language_invalid_str_mv Inglés
network_acronym_str RAD
network_name_str RAD
oai_identifier_str oai:rad.ort.edu.uy:20.500.11968/3300
publishDate 2016
reponame_str RAD
repository.mail.fl_str_mv rodriguez_v@ort.edu.uy
repository.name.fl_str_mv RAD - Universidad ORT Uruguay
repository_id_str 3927
spelling Cabezas, Juan JoséBlanco, JavierMichelini Jorge, Juan PedroTasistro Souto, Álvaro Daniel2017-06-14T14:50:41Z2017-06-14T14:50:41Z2016Michelini 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/3300http://hdl.handle.net/20.500.11968/3300http://hdl.handle.net/20.500.11968/3300Incluye bibliografía y anexos.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.ANII - POS_NAC_2014_1_102561.153 p.InglésengUniversidad ORT UruguayPROGRAMACIÓN AUTOMÁTICAMATEMÁTICAS-ENSEÑANZACÁLCULOPROYECTOS-MIFoundations for Mathematical MethodologyTrabajo final de carrerainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://bibliotecas.ort.edu.uy/bibid/84076reponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFacultad de IngenieríaMasterMaster en IngenieríaDesarrollo de TesisDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de IngenieríaFI - Master en Ingeniería - MITHUMBNAILMaterial completo.pdf.jpgWritten by FormatFilter org.dspace.app.mediafilter.PDFBoxThumbnail on 2024-07-22T18:42:43Z (GMT).Generated Thumbnailimage/jpeg2854https://rad.ort.edu.uy/bitstreams/f8d601a9-b89c-4fda-a6d7-5d447401c16a/download9492947b73c18f70dd47c8d2c3160520MD53ORIGINALMaterial completo.pdfDSpace Rest apidescriptionapplication/pdf772551https://rad.ort.edu.uy/bitstreams/4fdbcbc9-20bd-41c6-96af-29b8b3067e8c/downloadcb52997c5e8e496b8ce848f9ef245814MD51TEXTMaterial completo.pdf.txtWritten by FormatFilter org.dspace.app.mediafilter.TikaTextExtractionFilter on 2026-07-10T18:01:21Z (GMT).Extracted texttext/plain100838https://rad.ort.edu.uy/bitstreams/da9e2401-1331-4be2-9703-b0c731c13c8d/downloadef020020e4f52de7fe78e10b9d1d594eMD5420.500.11968/33002026-07-10 15:01:21.823open.accessoai:rad.ort.edu.uy:20.500.11968/3300https://rad.ort.edu.uyhttps://rad.ort.edu.uy/Universidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272026-07-10T18:01:21RAD - Universidad ORT Uruguayfalse
spellingShingle Foundations for Mathematical Methodology
Michelini Jorge, Juan Pedro
PROGRAMACIÓN AUTOMÁTICA
MATEMÁTICAS-ENSEÑANZA
CÁLCULO
PROYECTOS-MI
status_str publishedVersion
title Foundations for Mathematical Methodology
title_full Foundations for Mathematical Methodology
title_fullStr Foundations for Mathematical Methodology
title_full_unstemmed Foundations for Mathematical Methodology
title_short Foundations for Mathematical Methodology
title_sort Foundations for Mathematical Methodology
topic PROGRAMACIÓN AUTOMÁTICA
MATEMÁTICAS-ENSEÑANZA
CÁLCULO
PROYECTOS-MI
url http://hdl.handle.net/20.500.11968/3300

Resultados similares