FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
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 anal...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2012
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/124942 |
| Aporte de: |
| Sumario: | 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. |
|---|