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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Maggiori, Emmanuel, Gervasoni, Luciano
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
FOLST
Herramienta Didáctica
Predicados
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/124942
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-124942
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
FOLST
Herramienta Didáctica
Predicados
spellingShingle Ciencias Informáticas
FOLST
Herramienta Didáctica
Predicados
Maggiori, Emmanuel
Gervasoni, Luciano
FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
topic_facet Ciencias Informáticas
FOLST
Herramienta Didáctica
Predicados
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.
format Objeto de conferencia
Objeto de conferencia
author Maggiori, Emmanuel
Gervasoni, Luciano
author_facet Maggiori, Emmanuel
Gervasoni, Luciano
author_sort Maggiori, Emmanuel
title FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
title_short FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
title_full FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
title_fullStr FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
title_full_unstemmed FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden
title_sort folst: una herramienta didáctica para la lógica de predicados de primer orden
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/124942
work_keys_str_mv AT maggioriemmanuel folstunaherramientadidacticaparalalogicadepredicadosdeprimerorden
AT gervasoniluciano folstunaherramientadidacticaparalalogicadepredicadosdeprimerorden
bdutipo_str Repositorios
_version_ 1764820451323805698

Ejemplares similares