FOLMO: first order logic in Moodle

dc.contributor.author	Romero, José Luis
dc.contributor.author	Fernández de Viana, Iñaki
dc.contributor.author	Aranda Corral, Gonzalo Antonio
dc.date.accessioned	2009-06-23T08:28:56Z
dc.date.available	2009-06-23T08:28:56Z
dc.date.issued	2009-06-23T08:28:56Z
dc.identifier.uri	http://hdl.handle.net/2099/7911
dc.description.abstract	La Lógica, dirigida a estudiantes universitarios de Ingeniería, aporta al alumno una visión razonada del aprendizaje basada en la formalización del conocimiento y en la automatización de distintas formas del razonamiento humano [6]. Con el objetivo de potenciar su aprendizaje nace First Order Logic in Moodle (FOLMO), un software de fácil integración con Moodle que permite el trabajo autónomo del alumno mediante la realización de ejercicios propuestos por el profesor.
dc.format.extent	8 p.
dc.language.iso	spa
dc.relation.ispartof	Jornadas de Enseñanza Universitaria de la Informática (15es: 2009: Barcelona)
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject	Àrees temàtiques de la UPC::Ensenyament i aprenentatge
dc.subject.lcsh	Computer science -- Study and teaching (Higher)
dc.subject.lcsh	Logic -- Study and teaching (Higher)
dc.subject.other	Moodle
dc.title	FOLMO: first order logic in Moodle
dc.type	Conference report
dc.subject.lemac	Informàtica -- Ensenyament universitari
dc.description.peerreviewed	Peer Reviewed
dc.rights.access	Open Access

UPCommons. Portal del coneixement obert de la UPC