Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden
Resumen:
En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el contexto de un curso de Lógica.
| 2013 | |
| ANII - POS_FUL_2013_1_12. | |
|
ENSEÑANZA-LÓGICA SOFTWARE EDUCATIVO META VARIABLES PROYECTOS-MI DEDUCCIÓN NATURAL |
|
| Español | |
| Universidad ORT Uruguay | |
| RAD | |
| http://hdl.handle.net/20.500.11968/2973 | |
| Acceso abierto |
| _version_ | 1807261360740892672 |
|---|---|
| author | Pais Falero, Jorge Andrés |
| author_facet | Pais Falero, Jorge Andrés |
| author_role | author |
| bitstream.checksum.fl_str_mv | 1410a5819be985d67e14e3ea597d67dd d0d6462c5da21d0cbaf224f4c7dd4a9b |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 |
| bitstream.url.fl_str_mv | https://rad.ort.edu.uy/bitstreams/fd21cee1-d819-42bc-8854-2cad2e8526cf/download https://rad.ort.edu.uy/bitstreams/0458f262-025a-4e39-86d3-81dda600c90d/download |
| collection | RAD |
| dc.contributor.advisor.none.fl_str_mv | Tasistro Souto, Álvaro Daniel |
| dc.contributor.tribunal.es.fl_str_mv | Viera, Marcos Yovine Seijas, Sergio Fabián |
| dc.creator.none.fl_str_mv | Pais Falero, Jorge Andrés |
| dc.date.accessioned.none.fl_str_mv | 2017-06-14T12:12:26Z |
| dc.date.available.none.fl_str_mv | 2017-06-14T12:12:26Z |
| dc.date.issued.es.fl_str_mv | 2013 |
| dc.description.abstract.none.fl_txt_mv | En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el contexto de un curso de Lógica. |
| dc.description.es.fl_txt_mv | Incluye bibliografía. |
| dc.description.sponsorship.none.fl_txt_mv | ANII - POS_FUL_2013_1_12. |
| dc.format.extent.es.fl_str_mv | 60 p. tbls. |
| dc.identifier.citation.es.fl_str_mv | Pais Falero, J. A. (2013). Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2973 |
| dc.identifier.uri.none.fl_str_mv | http://hdl.handle.net/20.500.11968/2973 http://hdl.handle.net/20.500.11968/2973 |
| 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/76342 |
| 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 | ENSEÑANZA-LÓGICA SOFTWARE EDUCATIVO META VARIABLES PROYECTOS-MI DEDUCCIÓN NATURAL |
| dc.title.none.fl_str_mv | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| 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_d8769f78cb328362cca915748add7813 |
| identifier_str_mv | Pais Falero, J. A. (2013). Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2973 |
| 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/2973 |
| 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 DanielViera, MarcosYovine Seijas, Sergio FabiánPais Falero, Jorge Andrés2017-06-14T12:12:26Z2017-06-14T12:12:26Z2013Incluye bibliografía.En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de que el mismo sea utilizado por estudiantes en el contexto de un curso de Lógica.ANII - POS_FUL_2013_1_12.60 p. tbls.Pais Falero, J. A. (2013). Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden (Desarrollo de Tesis). Universidad ORT Uruguay, Facultad de Ingeniería. Recuperado de https://rad.ort.edu.uy/handle/20.500.11968/2973http://hdl.handle.net/20.500.11968/2973http://hdl.handle.net/20.500.11968/2973EspañolspaUniversidad ORT Uruguayhttps://bibliotecas.ort.edu.uy/bibid/76342ENSEÑANZA-LÓGICASOFTWARE EDUCATIVOMETA VARIABLESPROYECTOS-MIDEDUCCIÓN NATURALDiseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer ordenTrabajo final de carrerainfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionreponame:RADinstname:Universidad ORT Uruguayinstacron:Universidad ORTinfo:eu-repo/semantics/openAccessFI - Master en Ingeniería - MIFacultad de IngenieríaMasterMaster en IngenieríaDesarrollo de TesisDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de IngenieríaTHUMBNAILMaterial completo.pdf.jpgMaterial completo.pdf.jpgGenerated Thumbnailimage/jpeg3281https://rad.ort.edu.uy/bitstreams/fd21cee1-d819-42bc-8854-2cad2e8526cf/download1410a5819be985d67e14e3ea597d67ddMD53ORIGINALMaterial completo.pdfMaterial completo.pdfdescriptionapplication/pdf1714801https://rad.ort.edu.uy/bitstreams/0458f262-025a-4e39-86d3-81dda600c90d/downloadd0d6462c5da21d0cbaf224f4c7dd4a9bMD5120.500.11968/29732024-07-22 15:37:16.056oai:rad.ort.edu.uy:20.500.11968/2973https://rad.ort.edu.uyUniversidadhttps://www.ort.edu.uy/https://rad.ort.edu.uy/server/oai/requestrodriguez_v@ort.edu.uyUruguayopendoar:39272024-07-22T15:37:16RAD - Universidad ORT Uruguayfalse |
| spellingShingle | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden Pais Falero, Jorge Andrés ENSEÑANZA-LÓGICA SOFTWARE EDUCATIVO META VARIABLES PROYECTOS-MI DEDUCCIÓN NATURAL |
| status_str | publishedVersion |
| title | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| title_full | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| title_fullStr | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| title_full_unstemmed | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| title_short | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| title_sort | Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden |
| topic | ENSEÑANZA-LÓGICA SOFTWARE EDUCATIVO META VARIABLES PROYECTOS-MI DEDUCCIÓN NATURAL |
| url | http://hdl.handle.net/20.500.11968/2973 |
