Zorro : constructor de demostraciones calculacionales

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalCabezas, Juan Josées
dc.contributor.tribunalGarbarino Alberti, Helenaes
dc.creatorMichelini Jorge, Juan Pedro
dc.date.accessioned2017-06-14T12:13:15Z
dc.date.available2017-06-14T12:13:15Z
dc.date.issued2013es
dc.descriptionIncluye bibliografía.es
dc.description.abstractEl 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.es
dc.format.extent40 p.es
dc.identifier.citationMichelini 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/2994es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/2994
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/76798es
dc.subjectPROYECTOS-LANes
dc.subjectMATEMÁTICA CALCULACIONALes
dc.subjectHASKELLes
dc.subjectDIJKSTRAes
dc.subjectSISTEMA DE INFORMACIÓN (LISI)es
dc.subjectLÓGICAes
dc.titleZorroes
dc.title.subtitleconstructor de demostraciones calculacionaleses
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Licenciatura en Sistemas - ANes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelCarrera Universitariaes
ort.thesis.degreenameLicenciado en Sistemases
ort.thesis.degreetypeProyectoes
ort.thesis.noteProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
334.71 KB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de grado