Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2021-09-16T14:12:34Z
dc.date.available 2021-09-16T14:12:34Z
dc.date.issued 2012
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/124942
dc.description.abstract 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. es
dc.format.extent 405-415 es
dc.language es es
dc.subject FOLST es
dc.subject Herramienta Didáctica es
dc.subject Predicados es
dc.title FOLST: Una Herramienta Didáctica para la Lógica de Predicados de Primer Orden es
dc.type Objeto de conferencia es
sedici.identifier.issn 1850-2946 es
sedici.creator.person Maggiori, Emmanuel es
sedici.creator.person Gervasoni, Luciano es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 2012
sedici.relation.event XV Concurso de Trabajos Estudiantiles (EST 2012) (XLI JAIIO, La Plata, 27 al 31 de agosto de 2012) es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (688.6Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)