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

Ecologia humana e manejo participativo da pesca do búzio Anomalocardia brasiliana (Gmelin, 1791) (Bivalvia: Veneridae) na Reserva de Desenvolvimento Sustentável Estadual Ponta do Tubarão (RN)

Coastal and marine protected areas are created to protect habitat, avoid biodiversity loss, and to help maintain viable fisheries. However, most of these areas in tropical countries occurs in impoverished regions and directly affect the livelihood and survival of coastal communities which directly depend on fisheries and shellfisheries. Therefore, socioeconomic and conservation goals overlap. In this context, fishers should have a central place in resource management. They are critical resource users and their behavior directly affects the system. Shellfish resources are important sources of food, employment and income to fishing communities in Latin America. But despite its widespread use for food and income, there is an urgent need of more research on shellfish management. This research discusses the artisanal fisheries of Venus clam (Anomalocardia brasiliana) (Gmelin, 1791) (Bivalvia: Veneridae) in Brazil, and points out strategies to improve the system. Venus clam is a small and commonly exploited species for food and income on the Brazilian coast. This research was carried out at Ponta do Tubarão Sustainable Development Reserve (Brazilian Northeast coast), where there was no information available about who harvest, where or how much Venus clam has been harvested, despite this resource being exploited for generations. Clam fishery follows the pattern of socio-economic invisibility that general clam exploitation has in Brazil. Methods used were interviews, participatory monitoring and focal follow observation from January 2010 to May 2011. Results include: (a) the identification of shell fishers, (b) how harvest and meat processing are performed (mollusk beds, time spent, gross and net production), (c) the analisis of shell fisher income and their economic sustentability, and (d) the involvement of shell fisher families in data gathering and analyses for the first time. Based on the acquired knowledge, we propose a new institutional arrangement for clam fishery including co-management, fisheries agreement, compensatory arrangements and improvements for the Venus clam value chain such as the establishment of a minimum price for clam meat. This research also includes two other results: a general description for Venus clam harvesting in the Brazilian Northeast coast and a specific discussion about co-management of Venus clam in Brazil. The first one was possible through the meeting of several shell fisherwomen from other states during activities promoted by People of the Tides (PoT) project. PoT was an international initiative aiming to develop coastal communities that depend on mollusk for their livelihood. The second one is a comparison between PoT and Venus clam management at Pirajubaé Marine Extractive Reserve (Santa Catarina). It evaluates the success and failures of these only two initiatives involving co-management of A. brasiliana in Brazil

As estratégias de negação variantes no inglês falado: uma comparação com o português

The general aim of this work is to verify the occurence of variant forms of negation in spoken English with the purpose of making a comparative study between the English and the Portuguese languages. As for Portuguese, we used as a matter of reference a study already made on negation. As for English, we analized a corpus of the North American English variant organized by a university in the United States. This study is based on the North American Functional Linguistics theoretical perspective, which considers relevant the study of language used in real situations of communicative interaction. The data analisys proved that there is at least one form of negative variant in spoken English which is not allowed by prescriptive grammar. This phenomenon turns out to be similar to Portuguese, which includes three variant strategies. According to the data obtained, it was possible to verify that the variant strategy used in English, from a contrastive point of view, corresponds to a negative strategy ruled by Portuguese prescriptive grammar. Finally, we discussed about the different conceptions of language, grammar and teaching, giving suggestions to colaborate to a productive and reflexive teaching of first or second language