Foundations for Mathematical Methodology
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.
| 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_ | 1807261360754524160 |
|---|---|
| author | Michelini Jorge, Juan Pedro |
| author_facet | Michelini Jorge, Juan Pedro |
| author_role | author |
| bitstream.checksum.fl_str_mv | 9492947b73c18f70dd47c8d2c3160520 cb52997c5e8e496b8ce848f9ef245814 |
| bitstream.checksumAlgorithm.fl_str_mv | 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 |
| collection | RAD |
| dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel |
| dc.contributor.tribunal.es.fl_str_mv | Cabezas, Juan José Blanco, Javier |
| 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.other.es.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/bachelorThesis |
| dc.type.version.none.fl_str_mv | info:eu-repo/semantics/publishedVersion |
| description | Incluye bibliografía y anexos. |
| eu_rights_str_mv | openAccess |
| format | bachelorThesis |
| 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 | Tasistro Souto, Álvaro DanielCabezas, Juan JoséBlanco, JavierMichelini Jorge, Juan Pedro2017-06-14T14:50:41Z2017-06-14T14:50:41Z2016Incluye 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.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/3300http://hdl.handle.net/20.500.11968/3300http://hdl.handle.net/20.500.11968/3300InglésengUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/84076PROGRAMACIÓN AUTOMÁTICAMATEMÁTICAS-ENSEÑANZACÁLCULOPROYECTOS-MIFoundations for Mathematical MethodologyTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Master en Ingeniería - MIFacultad de IngenieríaMasterMaster en IngenieríaDesarrollo de TesisDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg2854https://rad.ort.edu.uy/bitstreams/f8d601a9-b89c-4fda-a6d7-5d447401c16a/download9492947b73c18f70dd47c8d2c3160520MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf772551https://rad.ort.edu.uy/bitstreams/4fdbcbc9-20bd-41c6-96af-29b8b3067e8c/downloadcb52997c5e8e496b8ce848f9ef245814MD5120.500.11968/33002024-07-22 15:42:43.189oai:rad.ort.edu.uy:20.500.11968/3300https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:42:43RAD - 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 |
