Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden

Simple item page
dc.contributor.advisorTasistro Souto, Álvaro Danieles
dc.contributor.tribunalViera, Marcoses
dc.contributor.tribunalYovine Seijas, Sergio Fabiánes
dc.creatorPais Falero, Jorge Andrés
dc.date.accessioned2017-06-14T12:12:26Z
dc.date.available2017-06-14T12:12:26Z
dc.date.issued2013es
dc.descriptionIncluye bibliografía.es
dc.description.abstractEn 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.es
dc.description.sponsorshipANII - POS_FUL_2013_1_12.es
dc.format.extent60 p. tbls.es
dc.identifier.citationPais 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/2973es
dc.identifier.urihttp://hdl.handle.net/20.500.11968/2973
dc.languageEspañoles
dc.publisherUniversidad ORT Uruguayes
dc.relation.otherhttps://bibliotecas.ort.edu.uy/bibid/76342es
dc.subjectENSEÑANZA-LÓGICAes
dc.subjectSOFTWARE EDUCATIVOes
dc.subjectMETA VARIABLESes
dc.subjectPROYECTOS-MIes
dc.subjectDEDUCCIÓN NATURALes
dc.titleDiseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer ordenes
dc.typeTrabajo final de carreraes
ort.thesis.careerFI - Master en Ingeniería - MIes
ort.thesis.degreegrantorFacultad de Ingenieríaes
ort.thesis.degreelevelMasteres
ort.thesis.degreenameMaster en Ingenieríaes
ort.thesis.degreetypeDesarrollo de Tesises
ort.thesis.noteDesarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingenieríaes
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Material completo.pdf
Size:
1.64 MB
Format:
Adobe Portable Document Format
Description:
description
Download
Collections
Trabajos finales de carrera de postgrado