Tasistro Souto, Álvaro Daniel2017-06-142017-06-142016Copes 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/3240Incluye 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. diagrsLÓGICAPROYECTOS-IDPROGRAMACIÓNLENGUAJES DE PROGRAMACIÓNTrabajo final de carrera