Zorro : constructor de demostraciones calculacionales [Trabajo Final de Carrera]

Autor/es: Michelini Jorge, Juan PedroDatos 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.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca de origen Signatura topográfica Estado Fecha de vencimiento Código de barras
Trabajo Final de Carrera 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.

para colocar un comentario.