Detalles de la obra

Título:
Andy 1 1/2
Autor(es):
Copes Sabaj, Martin; Nieves Molina, Gastón Javier; Urciuoli Silva, Sebastián
Pie de imprenta:
Montevideo: Universidad ORT Uruguay, 2014
Descripción física:
85 p. diagrs. En línea
Nota de tesis:
Trabajo Integrador (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2014. Calificación: 70/100
Título obtenido:
Entregado como requisito para la obtención del título de Licenciado en Ingeniería de Software
Tutor:
Álvaro Daniel Tasistro Souto
Tribunal:
Ernesto Sebastián Copello Gigirey; Nora Adriana Szasz Cerutti
Resumen:
En el presente proyecto se presentan el diseño e implementación de un software asistente de pruebas para el cálculo de Deducción Natural de Lógica de Orden 1 y medio. Dicha lógica es una extensión de la Lógica de Primer Orden que permite el uso de meta-variables de fórmulas y por lo tanto, habilita la construcción de pruebas genéricas. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el aprendizaje de pruebas formales en lógica.
Notas:
Incluye archivos complementarios.
Referencias bibliográficas:
Incluye bibliografía y anexos
Idioma:
Inglés
Tipo de material:
[Trabajo Final de Carrera]
Ubicación física:
Disponible en línea

Archivos asociados:

Archivo Tamaño Formato
Trabajo Integrador 945kB application/pdf
Informe del corrector 31kB application/pdf