Zorro
Loading...
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad ORT Uruguay
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.
Description
Incluye bibliografía.
Keywords
PROYECTOS-LAN, MATEMÁTICA CALCULACIONAL, HASKELL, DIJKSTRA, SISTEMA DE INFORMACIÓN (LISI), LÓGICA
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