Universidad ORT Uruguay

Zorro constructor de demostraciones calculacionales

Michelini Jorge, Juan Pedro. Universidad ORT Uruguay, 2013. 40 p.
Abstract:
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.
URI: http://hdl.handle.net/20.500.11968/2994
Nota de tesis: Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Titulo obtenido: Licenciado en Sistemas
Description:

Incluye bibliografía.

Subject: PROYECTOS-LAN, MATEMÁTICA CALCULACIONAL, HASKELL, DIJKSTRA, SISTEMA DE INFORMACIÓN (LISI), LÓGICA
Type: Trabajo final de carrera
Citation: Michelini Jorge, J. P. (2013). Zorro: constructor de demostraciones calculacionales (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://dspace.ort.edu.uy/handle/20.500.11968/2994
Acceda al texto completo: https://bibliotecas.ort.edu.uy/bibid/76798

Show full item record

Files in this item

Icon
Name: Material completo.pdf
Size: 334.7Kb
Format: PDF
Description: description
View/Open

This item appears in the following Collection(s)