Show simple item record

dc.contributor.advisor Tasistro Souto, Álvaro Daniel es
dc.contributor.author Copes Sabaj, Martin es
dc.date.accessioned 2017-06-14T14:46:30Z
dc.date.available 2017-06-14T14:46:30Z
dc.date.issued 2016 es
dc.identifier.citation 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://dspace.ort.edu.uy/handle/20.500.11968/3240 es
dc.identifier.uri http://hdl.handle.net/20.500.11968/3240
dc.description Incluye bibliografía y anexos es
dc.description Incluye archivos complementarios. es
dc.description.abstract 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. es
dc.format.extent 174 p. diagrs es
dc.language Español es
dc.publisher Universidad ORT Uruguay es
dc.subject LÓGICA es
dc.subject PROYECTOS-ID es
dc.subject PROGRAMACIÓN es
dc.subject LENGUAJES DE PROGRAMACIÓN es
dc.title Matemática de programas en cursos de Ingeniería de Software es
dc.type Trabajo final de carrera es
ort.thesis.degreegrantor Facultad de Ingeniería es
ort.thesis.degreelevel Carrera Universitaria es
ort.thesis.degreename Ingeniero en Sistemas es
ort.thesis.degreetype Proyecto es
ort.thesis.note Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería es
dc.contributor.tribunal Betarte Guidi, Gustavo Romulo es
dc.contributor.tribunal Garbervetsky, Diego David es
dc.relation.other https://bibliotecas.ort.edu.uy/bibid/83410 es
ort.thesis.career FI - Ingeniería en Sistemas - ID es


Files in this item

This item appears in the following Collection(s)

Show simple item record