Matemática de programas en cursos de Ingeniería de Software
Resumen:
El presente trabajo presenta un curso introductorio a la programación, de dos semestres de duración, cuyo enfoque está basado en el razonamiento de la corrección de los programas. El objetivo es enseñar un lenguaje programación funcional, introduciendo diferentes nociones de lógica proposicional y de primer orden, así como el principio de inducción natural y estructural, como herramienta para el desarrollo de pruebas de propiedades de los programas. Para el enfoque práctico, se propone el uso del asistente de demostración Isabelle/HOL y el lenguaje Isar, para expresar prueba formal. Se desarrolla la planificación completa del curso semana a semana, incluyendo un estudio de caso como trabajo culminante del curso: la demostración del Teorema Fundamental de la Aritmética.
2016 | |
LÓGICA PROYECTOS-ID PROGRAMACIÓN LENGUAJES DE PROGRAMACIÓN |
|
Español | |
Universidad ORT Uruguay | |
RAD | |
http://hdl.handle.net/20.500.11968/3240 | |
Acceso abierto |
_version_ | 1807261359844360192 |
---|---|
author | Copes Sabaj, Martin |
author_facet | Copes Sabaj, Martin |
author_role | author |
bitstream.checksum.fl_str_mv | c66c967fec0bcd420a5ae52a42afb825 eb7cb9697ac8eeecf2b0a5c4026459e1 |
bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
bitstream.url.fl_str_mv | https://rad.ort.edu.uy/bitstreams/8b7d54dd-20b2-4f19-ae6b-66b7fe5d891e/download https://rad.ort.edu.uy/bitstreams/735e9bd0-0ef3-4b2f-ad30-9869d08297ca/download |
collection | RAD |
dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel |
dc.contributor.tribunal.es.fl_str_mv | Betarte Guidi, Gustavo Romulo Garbervetsky, Diego David |
dc.creator.none.fl_str_mv | Copes Sabaj, Martin |
dc.date.accessioned.none.fl_str_mv | 2017-06-14T14:46:30Z |
dc.date.available.none.fl_str_mv | 2017-06-14T14:46:30Z |
dc.date.issued.es.fl_str_mv | 2016 |
dc.description.abstract.none.fl_txt_mv | El presente trabajo presenta un curso introductorio a la programación, de dos semestres de duración, cuyo enfoque está basado en el razonamiento de la corrección de los programas. El objetivo es enseñar un lenguaje programación funcional, introduciendo diferentes nociones de lógica proposicional y de primer orden, así como el principio de inducción natural y estructural, como herramienta para el desarrollo de pruebas de propiedades de los programas. Para el enfoque práctico, se propone el uso del asistente de demostración Isabelle/HOL y el lenguaje Isar, para expresar prueba formal. Se desarrolla la planificación completa del curso semana a semana, incluyendo un estudio de caso como trabajo culminante del curso: la demostración del Teorema Fundamental de la Aritmética. |
dc.description.es.fl_txt_mv | Incluye bibliografía y anexos Incluye archivos complementarios. |
dc.format.extent.es.fl_str_mv | 174 p. diagrs |
dc.identifier.citation.es.fl_str_mv | Copes Sabaj, M. (2016). Matemática de programas en cursos de Ingeniería de Software (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3240 |
dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.11968/3240 http://hdl.handle.net/20.500.11968/3240 |
dc.language.iso.none.fl_str_mv | Español spa |
dc.publisher.es.fl_str_mv | Universidad ORT Uruguay |
dc.relation.other.es.fl_str_mv | https://bibliotecas.ort.edu.uy/bibid/83410 |
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 | LÓGICA PROYECTOS-ID PROGRAMACIÓN LENGUAJES DE PROGRAMACIÓN |
dc.title.none.fl_str_mv | Matemática de programas en cursos de Ingeniería de Software |
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_03148ad495a3f421de31a93c51002ed4 |
identifier_str_mv | Copes Sabaj, M. (2016). Matemática de programas en cursos de Ingeniería de Software (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3240 |
instacron_str | Universidad ORT |
institution | Universidad ORT |
instname_str | Universidad ORT Uruguay |
language | spa |
language_invalid_str_mv | Español |
network_acronym_str | RAD |
network_name_str | RAD |
oai_identifier_str | oai:rad.ort.edu.uy:20.500.11968/3240 |
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 DanielBetarte Guidi, Gustavo RomuloGarbervetsky, Diego DavidCopes Sabaj, Martin2017-06-14T14:46:30Z2017-06-14T14:46:30Z2016Incluye bibliografía y anexosIncluye archivos complementarios.El presente trabajo presenta un curso introductorio a la programación, de dos semestres de duración, cuyo enfoque está basado en el razonamiento de la corrección de los programas. El objetivo es enseñar un lenguaje programación funcional, introduciendo diferentes nociones de lógica proposicional y de primer orden, así como el principio de inducción natural y estructural, como herramienta para el desarrollo de pruebas de propiedades de los programas. Para el enfoque práctico, se propone el uso del asistente de demostración Isabelle/HOL y el lenguaje Isar, para expresar prueba formal. Se desarrolla la planificación completa del curso semana a semana, incluyendo un estudio de caso como trabajo culminante del curso: la demostración del Teorema Fundamental de la Aritmética.174 p. diagrsCopes Sabaj, M. (2016). Matemática de programas en cursos de Ingeniería de Software (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/3240http://hdl.handle.net/20.500.11968/3240http://hdl.handle.net/20.500.11968/3240EspañolspaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/83410LÓGICAPROYECTOS-IDPROGRAMACIÓNLENGUAJES DE PROGRAMACIÓNMatemática de programas en cursos de Ingeniería de SoftwareTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Ingeniería en Sistemas - IDFacultad de IngenieríaCarrera UniversitariaIngeniero en SistemasProyectoProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3197https://rad.ort.edu.uy/bitstreams/8b7d54dd-20b2-4f19-ae6b-66b7fe5d891e/downloadc66c967fec0bcd420a5ae52a42afb825MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf2025215https://rad.ort.edu.uy/bitstreams/735e9bd0-0ef3-4b2f-ad30-9869d08297ca/downloadeb7cb9697ac8eeecf2b0a5c4026459e1MD5120.500.11968/32402024-07-22 16:15:25.723oai:rad.ort.edu.uy:20.500.11968/3240https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T16:15:25RAD - Universidad ORT Uruguayfalse |
spellingShingle | Matemática de programas en cursos de Ingeniería de Software Copes Sabaj, Martin LÓGICA PROYECTOS-ID PROGRAMACIÓN LENGUAJES DE PROGRAMACIÓN |
status_str | publishedVersion |
title | Matemática de programas en cursos de Ingeniería de Software |
title_full | Matemática de programas en cursos de Ingeniería de Software |
title_fullStr | Matemática de programas en cursos de Ingeniería de Software |
title_full_unstemmed | Matemática de programas en cursos de Ingeniería de Software |
title_short | Matemática de programas en cursos de Ingeniería de Software |
title_sort | Matemática de programas en cursos de Ingeniería de Software |
topic | LÓGICA PROYECTOS-ID PROGRAMACIÓN LENGUAJES DE PROGRAMACIÓN |
url | http://hdl.handle.net/20.500.11968/3240 |