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

A tabela periódica: um recurso para a inclusão de alunos deficientes visuais nas aulas de química

Nowadays there are many reasons that aim to include people with special necessities, like those with visual deficiency, in the world of work, education, and in the society as a whole. However it is observed that when we talk about schooling inclusion, especially in High School, there is a huge gap between the theory and the practice. The lack of didactic resources, the inadequate installations, unprepared teachers, the families´ lack of information, are some of the factors that hinder the process of inclusion. Furthermore, the educators also have to deal with the roughness of the disciplinary contents and, refering to the study of Chemistry, with the use of signals related to this subject´s language. So, the objective of our research is to reflect about the apprehension of this language by the visually handicapped people, and try to contribute with their process of inclusion in the school life. On this perspective we work with the Periodic Table, which constitutes one of the indispensable tools necessary to the Chemistry learning. In order to acomplish it, the way followed by us happened in three passages. Initially, by means of a semistructured interview, we tried to get acquainted with the blind students opinion, who were participating in the research about the Periodic Table used by them throughout High School, as well as the dificulties felt when using it. After getting the answers, the Table was reelaborated to fill those students´necessities. Here, two new Tables were designed, one in Braille which shape is more compacted, and another made with high printed dots, built with sand and glue. On the third moment, the new designed Tables were tested by the students and, by means of a semi-structured interview, we tried to identify if this new resource would solve the problems concerned to the old Table. The students showed that the compacted Tables would facilitate the touch reading of the chemical elements simbols, making it clear and fast. We hope that, with the elaboration of this learning tools we can contribute with one of the elements to favor the effective participation of blind students in Chemistry classes, when studying the Periodic Table