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

Loading...
Thumbnail Image
Date
2016
Authors
Copes Sabaj, Martin
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
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.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Ingeniero en Sistemas
174 p. diagrs
Notes
Incluye bibliografía y anexos
Incluye archivos complementarios.
Subject
LÓGICA, PROYECTOS-ID, PROGRAMACIÓN, LENGUAJES DE PROGRAMACIÓN
Type
Trabajo final de carrera
Access the full text
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://rad.ort.edu.uy/handle/20.500.11968/3240
Rights license