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

Loading...
Thumbnail Image
Date
2013
Publisher
Universidad ORT Uruguay
DOI
ISSN
ISBN
Abstract
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.
En
Thesis note
Desarrollo de Tesis (Master). Universidad ORT Uruguay, Facultad de Ingeniería
Thesis degree name
Master en Ingeniería
60 p. tbls.
Notes
Incluye bibliografía.
Subject
ENSEÑANZA-LÓGICA, SOFTWARE EDUCATIVO, META VARIABLES, PROYECTOS-MI, DEDUCCIÓN NATURAL
Type
Trabajo final de carrera
Access the full text
Citation
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
Rights license