O ensino de matemática no Rio Grande do Norte: trajetória de uma Modernização (1950-1980)

This work aims to describe and analyze the process of the mathematics teacher modernizing in Rio Grande do Norte, in the period from 1950 to 1980. For that, we use as theoretical foundation assumptions of Cultural History and memories of the researchers Maurice Halbwach, Ecléa Bosi and Paul Thompson. As methodological tools, we used bibliographical resources and semi-structured interviews, in order to do a historical reconstruct of the mathematics educational scene of institutions and people who taught mathematics in Rio Grande do Norte, or those who participated in the modernization of the teaching of this subject, recovering their training and its practices in teaching. For the analysis of the bibliographical resources, initially we organized in a systematic way the transcripts of the interviews and documents, which were accumulated during the research, so long our thoughts, returning to the theoretical basis of this research, through questioning of knowledge acquired and that guided the problem of our study. The analysis showed that, important moments to modernize the teaching of mathematics in Rio Grande do Norte happened such: (1) Training Course of Lay Teachers in Rio Grande do Norte, in 1965, (2) Course for Teachers in Normal Schools, in 1971 (3) Satelite Project on Interdisciplinary Advanced Communications (SPIAC) in 1973; (4) Lectures of the teacher Malba Tahan, at Natal, from the end of the 50 s, that could be analyzed through the lessons notes of the teacher Maria Nalva Xavier de Albuquerque and the narrative of teacher Evaldo Rodrigues de Carvalho and (5) Courses of the Campaign for Improvement of Secondary Education and Broadcasting (CISEB). Thereby, the modernization of the school s mathematics teaching in Rio Grande do Norte, in the period from 1950 to 1980, was given mainly by disclosure of the Discovery Method and by the Set Theory contents in Teacher Training Courses

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