Tasistro Souto, Álvaro Daniel2017-06-142017-06-142013Pais 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/2973Incluye 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.60 p. tbls.ENSEÑANZA-LÓGICASOFTWARE EDUCATIVOMETA VARIABLESPROYECTOS-MIDEDUCCIÓN NATURALTrabajo final de carrera