Zorro : constructor de demostraciones calculacionales [Trabajo Final de Carrera]
Datos de publicación: Montevideo: Universidad ORT Uruguay, 2013Descripción física: 40 p. EN LÍNEANota de tesis: Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería. Montevideo, 2013. Calificación: 100/100 Título obtenido: Licenciado en Sistemas
Tutor: Tasistro Souto, Álvaro Daniel
Tribunal: Cabezas, Juan José | Garbarino Alberti, Helena
Tema(s): MATEMÁTICA CALCULACIONAL | DIJKSTRA | HASKELL | PROYECTOS-LAN | SISTEMA DE INFORMACIÓN (LISI) | LÓGICARecursos en línea: Material completo | Informe del corrector (Requiere ingresar al sistema para acceder al archivo solicitado) Resumen: El objetivo del presente trabajo es formalizar un método de construcción de demostraciones formales con base en la matemática calculacional de Dijkstra y restringido a la lógica proposicional. El método se formalizará e implementará como un programa Haskell.
Tipo de ítem | Biblioteca de origen | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|
Trabajo Final de Carrera | Centro | Disponible en línea | No para préstamo |
Incluye bibliografía.
Tasistro Souto, Álvaro Daniel Cabezas, Juan José Garbarino Alberti, Helena
El objetivo del presente trabajo es formalizar un método de construcción de demostraciones formales con base en la matemática calculacional de Dijkstra y restringido a la lógica proposicional. El método se formalizará e implementará como un programa Haskell.
Español
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.