Zorro
constructor de demostraciones calculacionales
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.
| 2013 | |
|
PROYECTOS-LAN MATEMÁTICA CALCULACIONAL HASKELL DIJKSTRA SISTEMA DE INFORMACIÓN (LISI) LÓGICA |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/2994 | |
| Acceso abierto |
