Investigação histórica na formação de professores de matemática: um estudo centrado no conceito de função

In this study we analyzed the development of a teaching experience, involving students with a bachelor s degree in mathematics from UFRN, based on the history of mathematics and mathematical investigations with the aim of contributing to the improvement of the teaching-learning of mathematics. The historical investigation tasks were planned and applied in the classroom, focusing on functional thought. The results obtained during the experience were described and evaluated based on authors who support the assumption of investigation and history as an alternative to the learning of mathematics. We emphasize that the material of analysis consisted of a work diary, audio recordings, questionnaires with testimony of the students involved, and, in addition, the assessment of the teacher of that subject. With regard to the mathematical content, the study was restricted to the concept of function, forms of representation and notation. It was evident that students showed great improvement with regard to the necessary formalization of the mathematical contents which were focused on, and to the active involvement of the students at different stages of the study. We can affirm that the completed study certainly represents significant contributions to an approach in the teaching-learning of functional thought

A cultura da produção de farinha: um estudo da matemática nos saberes dessa tradição

This research argues about the mathematical knowledge built in the tradition of the cassava flour production, seeking to analyse these mathematical knowledge in the perspective of the categories of time and measure, built and practiced in the flour production, located in Serra do Navio and Calçoene, in Amapá - Brazil. The following work discuss the identification and the description of the mathematics during the production activities of the flour, where is presented elements related to generation and transmission of the traditional knowledge, which is the basis for maintenance of the tradition of the flour, characterizing the research as an Ethnomathematic study. The methodological procedures highlight ethnographical techniques and elements that characterize the participating observation. The results obtained showed us that the flour workers articulate some length, area and volume measure due to own and traditionally acquired systems, which is apprehended and countersigned by other kind of culturally established system; thus they relativism the measures systems and the official calendars. And it lifts as one of the main proposal that the academic mathematics and the tradition establish knowledge make conjunction of the both knowledge, that is important for a possible reflection and application in the construction of a pedagogical practice in mathematical education, trying to establish points of socio-economic and cultural mark

Um estudo sobre o ensino-aprendizagem das demonstrações matemáticas

Demonstrations are fundamental instruments for Mathematics and, as such, are frequently used by mathematicians, math teachers and students. In fact, demonstrations are part of every Mathematics teaching environment, because Mathematics considers something true when it can be demonstrated. This is in contrast to other fields of knowledge that employ observation and experimentation to validate truth. This dissertation presents a study of the teaching and learning of demonstrations in Mathematics, describing a Teaching Module applied in a course on the Theory of Numbers offered by the Mathematics Department of the Universidade Federal do Rio Grande do Norte for mathematics majors. The objective of the dissertation was to propose and test a Teaching Module that can serve as a model for teaching demonstrations. The Teaching Module consisted of the following five steps: the application of a survey to determine the students‟ profiles and their previous knowledge of mathematical language and techniques of demonstration; the analysis of a series of dialogues containing arguments in everyday language; the investigation and analysis of the structure of some important techniques of demonstration; a written assessment; and, finally, an interview to further verify the principal results of the Teaching Module. The analysis of the data obtained though the classroom activities, written assessments and interviews led to the conclusion that there was a significant amount of assimilation of the issue at the level of relational understanding, (SKEMP, 1980). These instruments verified that the students attained considerable improvement in their use of mathematical language and of the techniques of demonstration presented. Thus, the evidence supports the conclusion that the proposed Teaching Module is an effective means for the teaching/learning of mathematical demonstration and, as such, provides a methodological guide which may lay the foundations for a new approach to this important subject

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy