Detalles de la obra

Título:
Matemática de programas en cursos de Ingeniería de Software
Autor(es):
Copes Sabaj, Martin
Pie de imprenta:
Montevideo: Universidad ORT Uruguay, 2016
Descripción física:
174 p. diagrs. En línea
Nota de tesis:
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2016. Calificación: 100/100
Título obtenido:
Entregado como requisito para la obtención del título de Ingeniero en Sistemas
Tutor:
Álvaro Daniel Tasistro Souto
Tribunal:
Gustavo Romulo Betarte Guidi; Diego David Garbervetsky
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.
Notas:
Incluye archivos complementarios.
Referencias bibliográficas:
Incluye bibliografía y anexos
Idioma:
Español
Tipo de material:
[Trabajo Final de Carrera]
Ubicación física:
Disponible en línea

Archivos asociados:

Archivo Tamaño Formato
Proyecto 2.03MB application/pdf
Informe del corrector 26kB application/pdf