| dc.creator | Maggiori, Emmanuel | |
| dc.creator | Gervasoni, Luciano | |
| dc.date | 2012 | |
| dc.date | 2012 | |
| dc.date | 2021-09-16T14:12:34Z | |
| dc.date.accessioned | 2023-07-15T03:24:13Z | |
| dc.date.available | 2023-07-15T03:24:13Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/124942 | |
| dc.identifier | issn:1850-2946 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7465577 | |
| dc.description | FOLST es una herramienta didáctica, visual e interactiva que fue diseñada como soporte para el proceso de enseñanza/aprendizaje de semántica en la Lógica de Predicados de Primer Orden. La herramienta es fácil de usar y, mediante una interfaz gráfica amigable e intuititva, permite a los usuarios analizar el valor de verdad de fórmulas en modelos definidos a partir de dos frames provistos por la herramienta. FOLST es software libre y está implementada en el lenguaje de programación C++. Se desarrolló como Trabajo Final para dos materias que se dictan en el segundo año de una carrera de Informática, que involucran contenidos en lógica y en análisis y diseño de algoritmos. | |
| dc.description | Sociedad Argentina de Informática e Investigación Operativa | |
| dc.format | application/pdf | |
| dc.format | 405-415 | |
| dc.language | es | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
| dc.subject | Ciencias Informáticas | |
| dc.subject | FOLST | |
| dc.subject | Herramienta Didáctica | |
| dc.subject | Predicados | |
| dc.title | FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden | |
| dc.type | Objeto de conferencia | |
| dc.type | Objeto de conferencia | |
