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

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalBetarte Guidi, Gustavo Romuloes
dc.contributor.tribunalGarbervetsky, Diego Davides
dc.creatorCopes Sabaj, Martin
dc.date.accessioned2017-06-14T14:46:30Z
dc.date.available2017-06-14T14:46:30Z
dc.date.issued2016es
dc.descriptionIncluye bibliografía y anexoses
dc.descriptionIncluye archivos complementarios.es
dc.description.abstractEl 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.extent174 p. diagrses
dc.identifier.citationCopes 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/3240es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/3240
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/83410es
dc.subjectLÓGICAes
dc.subjectPROYECTOS-IDes
dc.subjectPROGRAMACIÓNes
dc.subjectLENGUAJES DE PROGRAMACIÓNes
dc.titleMatemática de programas en cursos de Ingeniería de Softwarees
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Ingeniería en Sistemas - IDes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelCarrera Universitariaes
ort.thesis.degreenameIngeniero en Sistemases
ort.thesis.degreetypeProyectoes
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
1.93 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado