Show simple item record

dc.contributor.advisorPagano, Miguel María
dc.contributor.advisorVilela, Demetrio
dc.contributor.authorPiloni, Diego
dc.date.accessioned2018-12-28T19:28:57Z
dc.date.available2018-12-28T19:28:57Z
dc.date.issued2018
dc.identifier.urihttp://hdl.handle.net/11086/10761
dc.description.abstractEste trabajo final de licenciatura parte del supuesto que el aprendizaje del lenguaje simbólico de lógica formal es problemático (Oller, 2006). Algunos aspectos de esta dificultad son analizados por los autores de “Language, Proof and Logic” utilizando datos empíricos (Barker-Plummer, 2008). Si bien existen propuestas didácticas con soportes informáticos para el aprendizaje de lógica (Barrionuevo, 2008), la mayoría se centra o bien en los sistemas deductivos o bien en la semántica formal de fórmulas lógicas. Pareciera, por lo tanto, que faltan soportes digitales que transparenten las dificultades inherentes a la traducción de lenguajes naturales al lenguaje simbólico. El objetivo principal de este trabajo es desarrollar una herramienta didáctica informática que facilite la adquisición del lenguaje formal de lógica de primer ordenes
dc.language.isospaes
dc.rightsAtribución-CompartirIgual 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-sa/4.0/*
dc.subjectMathematical Logices
dc.subjectFormal Languageses
dc.subjectNatural Language Processinges
dc.titleRepresentación semántica de lenguaje natural en el dominio de fórmulas lógicases
dc.typebachelorThesises


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-CompartirIgual 4.0 Internacional
Except where otherwise noted, this item's license is described as Atribución-CompartirIgual 4.0 Internacional