A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Geografia, turismo e meio ambiente: uma nova face do litoral dos municípios de Extremoz e Ceará-Mirim

La presente pesquisa contempla reflexiones referentes de la actividad turística en la organización socio-espacial en el litoral de las comarcas de Extremoz y Ceará-Mirim, región de la Grande Natal. Nuestro objetivo principal es el estudio de las transformaciones del espacio y de sus implicaciones socio-ambientales en curso en el proceso de producción del espacio turístico en el litoral de las referidas comarcas desde 1997 hasta 2007, momento de importancia publica-privada que, a partir del PRODETUR, tuvo la base para el incremento de las potencialidades turísticas. En este sentido, varias fueron las técnicas para una mejor compresión de las aspiraciones y de la percepción de los actores envueltos con la actividad turística (comerciantes, turistas, populación y poder publico local) para conocer cuales son sus consideraciones en cuanto a los cambios que proceden de la implantación de la actividad turística en el lugar, cuanto a la mejora de la calidad de vida, de la generación de empleo y de renta, comercialización, conservación, preservación del ambiente, cumplimiento de la legislación, afirmación cultural así como las acciones puestas en ejecución en las comarcas. Para tal necesidad, se buscó analizar los datos estadísticos a partir del uso de los cuestionarios con preguntas estructuradas y semi-abiertas como instrumento de colecta de información que les era correlacionada con la opinión de los actores locales de modo que podamos formar y entender los elementos básicos que son parte de los espacios turísticos en foco. Fueran utilizadas fotografías aéreas de las comarcas de Extremoz y Ceará-Mirim, provistas por el IDEMA, con la intención de percibir acerca de los cambios del espacio y las implicaciones socio-ambientales de la área en estudio. Concluimos en función de los resultados que el modelo de Turismo concebido por lo Brasil, estimulado y financiado por lo Gobierno Federal, está insertado en el contexto de la economía global y, por lo tanto, el Estado del Rio Grande del Norte, en específico los espacios litoraneos de las comarcas de Extremoz y Ceará-Mirim, que poseen características similares a este modelo, con sus particularidades, que si traduzca por la exclusión social, formas de apropiación privada de los espacios público y áreas de protección ambiental como las playas, las dunas y las lagunas, el desacato o no el cumplimiento de la legislación ambiental, aumento de las desigualdad de renta en una región que posee una problemática social grave y sin inversión, implantación de la infraestructura, ausencia de política pública local, donde los intereses económicos son prioridad delante de las aclamaciones populares. Se sugiere un repensar cuanto al modelo actual de desarrollo adoptado, que el planeamiento sea pautado en base a la participación integrada de los varios agentes implicados con la actividad turística, incluyendo en la medida del posible, las aspiraciones de la población local como precusoras de sus reales necesidades, donde esta acción interactiva contestará ciertamente en un esfuerzo significativo en la construcción de un nuevo paradigma, modelo del desarrollo sustentable, siendo posible superar gradualmente el incremento de la pobreza, de la exclusión y de los impactos ambientales, donde la calidad de vida sea factor fundamental