Matemática de programas en cursos de Ingeniería de Software

Copes Sabaj, Martin

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.


Detalles Bibliográficos
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