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 |
