Zorro

constructor de demostraciones calculacionales

Michelini Jorge, Juan Pedro

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.


Detalles Bibliográficos
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
_version_ 1807261356369379328
author Michelini Jorge, Juan Pedro
author_facet Michelini Jorge, Juan Pedro
author_role author
bitstream.checksum.fl_str_mv d6c79b6b48b5cc7b8e998b927fa0b1a9
cb28c885fcef8bc645a421d4e8445f77
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
bitstream.url.fl_str_mv https://rad.ort.edu.uy/bitstreams/598f37bf-07aa-4235-abda-e5aad3b1342a/download
https://rad.ort.edu.uy/bitstreams/42c124ca-9b45-4bbb-9b7d-cdfcafe35ce3/download
collection RAD
dc.contributor.advisor.none.fl_str_mv Tasistro Souto, Álvaro Daniel
dc.contributor.tribunal.es.fl_str_mv Cabezas, Juan José
Garbarino Alberti, Helena
dc.creator.none.fl_str_mv Michelini Jorge, Juan Pedro
dc.date.accessioned.none.fl_str_mv 2017-06-14T12:13:15Z
dc.date.available.none.fl_str_mv 2017-06-14T12:13:15Z
dc.date.issued.es.fl_str_mv 2013
dc.description.abstract.none.fl_txt_mv 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.
dc.description.es.fl_txt_mv Incluye bibliografía.
dc.format.extent.es.fl_str_mv 40 p.
dc.identifier.citation.es.fl_str_mv 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
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.11968/2994
http://hdl.handle.net/20.500.11968/2994
dc.language.iso.none.fl_str_mv Español
spa
dc.publisher.es.fl_str_mv Universidad ORT Uruguay
dc.relation.other.es.fl_str_mv https://bibliotecas.ort.edu.uy/bibid/76798
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
dc.source.none.fl_str_mv reponame:RAD
instname:Universidad ORT Uruguay
instacron:Universidad ORT
dc.subject.es.fl_str_mv PROYECTOS-LAN
MATEMÁTICA CALCULACIONAL
HASKELL
DIJKSTRA
SISTEMA DE INFORMACIÓN (LISI)
LÓGICA
dc.title.none.fl_str_mv Zorro
constructor de demostraciones calculacionales
dc.type.es.fl_str_mv Trabajo final de carrera
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.version.none.fl_str_mv info:eu-repo/semantics/publishedVersion
description Incluye bibliografía.
eu_rights_str_mv openAccess
format bachelorThesis
id RAD_b57d11670aa83b373240a7e81775f5ba
identifier_str_mv 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
instacron_str Universidad ORT
institution Universidad ORT
instname_str Universidad ORT Uruguay
language spa
language_invalid_str_mv Español
network_acronym_str RAD
network_name_str RAD
oai_identifier_str oai:rad.ort.edu.uy:20.500.11968/2994
publishDate 2013
reponame_str RAD
repository.mail.fl_str_mv rodriguez_v@ort.edu.uy
repository.name.fl_str_mv RAD - Universidad ORT Uruguay
repository_id_str 3927
spelling Tasistro Souto, Álvaro DanielCabezas, Juan JoséGarbarino Alberti, HelenaMichelini Jorge, Juan Pedro2017-06-14T12:13:15Z2017-06-14T12:13:15Z2013Incluye bibliografía.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.40 p.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/2994http://hdl.handle.net/20.500.11968/2994http://hdl.handle.net/20.500.11968/2994EspañolspaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/76798PROYECTOS-LANMATEMÁTICA CALCULACIONALHASKELLDIJKSTRASISTEMA DE INFORMACIÓN (LISI)LÓGICAZorroconstructor de demostraciones calculacionalesTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Licenciatura en Sistemas - ANFacultad de IngenieríaCarrera UniversitariaLicenciado en SistemasProyectoProyecto (Carrera Universitaria). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3177https://rad.ort.edu.uy/bitstreams/598f37bf-07aa-4235-abda-e5aad3b1342a/downloadd6c79b6b48b5cc7b8e998b927fa0b1a9MD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf342740https://rad.ort.edu.uy/bitstreams/42c124ca-9b45-4bbb-9b7d-cdfcafe35ce3/downloadcb28c885fcef8bc645a421d4e8445f77MD5120.500.11968/29942024-07-22 15:43:42.619oai:rad.ort.edu.uy:20.500.11968/2994https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:43:42RAD - Universidad ORT Uruguayfalse
spellingShingle Zorro
Michelini Jorge, Juan Pedro
PROYECTOS-LAN
MATEMÁTICA CALCULACIONAL
HASKELL
DIJKSTRA
SISTEMA DE INFORMACIÓN (LISI)
LÓGICA
status_str publishedVersion
title Zorro
title_full Zorro
title_fullStr Zorro
title_full_unstemmed Zorro
title_short Zorro
title_sort Zorro
topic PROYECTOS-LAN
MATEMÁTICA CALCULACIONAL
HASKELL
DIJKSTRA
SISTEMA DE INFORMACIÓN (LISI)
LÓGICA
url http://hdl.handle.net/20.500.11968/2994

Resultados similares