Zorro : constructor de demostraciones calculacionales

Loading...
Thumbnail Image
Date
2013
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
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.
En
Thesis note
Proyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Licenciado en Sistemas
40 p.
Notes
Incluye bibliografía.
Subject
PROYECTOS-LAN, MATEMÁTICA CALCULACIONAL, HASKELL, DIJKSTRA, SISTEMA DE INFORMACIÓN (LISI), LÓGICA
Type
Trabajo final de carrera
Access the full text
Citation
Michelini Jorge, J. P. (2013). Zorro: constructor de demostraciones calculacionales (Proyecto). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2994
Rights license