A formação pós-graduada em ensino de ciências naturais e matemática de docentes do IFRN: implicações na atuação docente

This research part of the educational context of the Federal Rio Grande do Norte, through the resumption of legal frameworks that characterize it as an institution belonging to the Federal Network of Professional Education and Technology Brazilian, with a focus on continued education policies for the servers who work there specifically teachers, especially those who have their work in the Teaching of Natural Science and Mathematics. To do this the cut in an agreement between the IFRN and UFRN PPGECNM through the professional master's degree Teaching of Natural Sciences and Mathematics. This agreement as we have research collaborators 08 master teachers who graduated in the period 2004 to 2010, so we undertook a qualitative and quantitative research aimed to conduct the study in general terms of description and analysis of the impacts caused by the formation of masters IFRN in PPGECNM UFRN, taking into account the production of the same academic (dissertation), his performance in the context of the institution and the historical, social, economic and political aspects involved, and also meet the guidelines of the project at the Observatory in 2008 - MEC / CAPES / BSD-P. We used the theoretical options methodological elements of Comprehensive Interview and multireferentiality, our data collection instrument was the main interview, we also performed the analysis of dissertations by lecturers and teachers featured, from the specific descriptors used in catalogs USP / IFUSP (1992, 1996) and UNICAMP / FE / CEDOC (1998) and by other researchers. In analyzing and understanding the speech of the interviewees were able to identify the implications of teacher education in the school context, the motivation to seek the Master; how was the construction of the object of study of the educational product and its use in teaching practice and intervention, the question of the role of master teachers in the school environment to the post master taking into account changes in professional performance and influence in the working groups, how does the use of research and investigation in the classroom after training and between training and educational quality in the context of IFRN. In reading and analysis of the dissertations were able to identify the main focus and under-explored thematic focus as well as the theoretical methodological references. At the end of the research developed a product that could be used for technical analysis studies and assessment in quantitative terms the results achieved by the master teachers IFRN through his training in PPGECNM UFRN

Recorte dos produtos educacionais em história no ensino da matemática e em didática da matemática a partir das dissertações e teses defendidas no brasil entre 1990-2010

This work has the main purpose of conducting a survey of educational products present in dissertations and doctoral theses focused on the use of history in mathematics teaching and Didactics of mathematics with a French foundation produced in graduate programs in the strict sense of the Brazil between 1990 and 2010, the areas of Education, Mathematics Education, school of Natural Sciences and Mathematics and related areas, according to the research proposal of Mendes (2010). Our interest was to select the products that present concrete proposals for educational activities that can be used in the classroom of Basic Education and Training of Teachers of Mathematics. The research was implemented through a bibliographic study documents the Bank of dissertations and theses from CAPES, libraries and archives of some Postgraduate programs in the country who focus their studies on the subject object of this research, besides the Brazilian Digital Library Theses and Dissertations (BDBTD). From this survey we selected works that present educational products materialized in blocks of activities based on the use of teaching history of mathematics to the classroom as well as the sequence of activities based on the Teaching of Mathematics. In possession of material, produce a CD-ROM containing the selected activities, in order to help support the work of teachers regarding the use of these activities, as a supplementary material to textbooks in their math classes

Linguagem matemática: uma proposta de ensino e avaliação da compreensão leitora dos objetos da matemática

This paper discusses aspects related to the mathematical language and its understanding, in particular, by students of final years of elementary school. Accordingly, we aimed to develop a proposal for teaching, substantiated by mathematical modeling activities and reading, which takes advantage of the student of elementary school a better understanding of mathematical language for the content of proportion. We also aim to build / propose parameters for the assessment of reading proficiency of the language of the student in analyzing and modeling process, its ability to develop/improve/enhance this proficiency. For this purpose, we develop a qualitative research, with procedures for an action research whose analysis of the data is configured as Content Analysis. We refer to epistemological and didactic, in the studies: Piaget (1975, 1990), Vygotsky (1991, 2001), Bakhtin (2006), Freire (1974, 1994), Bicudo and Garnica (2006), Smole and Diniz (2001), Barbosa (2001), Burak (1992), Biembengut (2004), Bassanezi (2002), Carrasco (2006), Becker (2010), Zuin and Reyes (2010), among others. We understand that to acquire new knowledge one must learn to read and reading to learn it, this process is essential for the development of reading proficiency of a person. Modeling, in turn, is a process which enables contact with different forms of reading providing elements favorable to the development here mentioned. The evaluation parameters we use to analyze the level of reading proficiency of mathematical language proved to be effective and therefore a valuable tool that allows the teacher an efficient evaluation and whose results can guide you better in the planning and execution of their practice

Matemática Védica no ensino das quatro operações

This paper describes a study on the possibilities of teaching Vedic Mathematics for teaching the four operations. For this various literature sources were consulted considering three main aspects. The first of a historical-cultural, in order to gather information about the Mathematics originated from Vedic civilization, which highlight (Plofker, 2009), (Joseph, 1996), (Bishop, 1999), (Katz, 1998), (Almeida , 2009). This sought to emphasize relationships of the development of this culture with the math involved in the book Vedic Mathematics written by Tirthaji and published in 1965. In this respect the work brings notes on the history of mathematics on the development of mathematics in ancient India. The second aspect was related to teaching mathematics through research activities in the classroom, in this sense, I sought a bibliography to assist in the construction of a proposed activity to teach the four operations, based on the sutras of Vedic Mathematics, but within an investigative approach, assisting in the development of mental calculation strongly stimulated by the Vedic Mathematics Sutras. The authors were adopted (Mendes, 2006, 2009a, 2009b), Bridge (2003). The third aspect considered to search for books on teaching Vedic Mathematics, written by other authors, based on the book by Tirthaji. This revealed Vedic Mathematics textbooks adopted in schools and free courses in the UK, USA and India, all based on the book Vedic Mathematics of Tirthaji. From the bibliographical studies were prepared didactic guidelines and suggested activities for the teacher, to assist in teaching the four operations. The educational product, consisting of Chapters 4 and 5, is the body of the dissertation and consists of didactic guidelines and suggestions for activities that aim to contribute to the teachers who teach initial years of elementary school

Um estudo de práticas matemáticas históricas e sugestões de uso na matemática escolar

This dissertation aims to contribute on teaching of mathematics for enabling learning connected to the relationship among science, society, culture and cognition. To this end, we propose the involvement of our students with social practices found in history, since. Our intention is to create opportunities for school practices that these mathematical arising from professional practice historical, provide strategies for mathematical thinking and reasoning in the search for solutions to problematizations found today. We believe that the propose of producing Basic Problematization Units, or simply UBPs, in math teacher formation, points to an alternative that allows better utilization of the teaching and learning process of mathematics. The proposal has the aim of primary education to be, really forming the citizen, making it critical and society transformative agent. In this sense, we present some recommendations for exploration and use of these units for teachers to use the material investigated by us, in order to complement their teaching work in mathematics lessons. Our teaching recommendations materialized as a product of exploration on the book, Instrumentos nuevos de geometria muy necessários para medir distancia y alturas sem que interuengan numeros como se demuestra em la practica , written by Andrés de Cespedes, published in Madrid, Spain, in 1606. From these problematizations and the mathematics involved in their solutions, some guidelines for didactic use of the book are presented, so that the teacher can rework such problematizations supported on current issues, and thus use them in the classroom

História da matemática na formação do professor: dificuldades e sugestões

This work is the result of a study that aimed to start scoring difficulties that the math teacher is trying to get a historical formation. Considering that the textbook is the material with which the teacher has more contact, start with reading historical texts present in these books. Choose a theme and choose from that we observed limitations ranging from the search for sources of research in relation to the actual historical content. There are many studies that show the importance of the history of mathematics in teacher education and also in the teaching and learning of mathematics. These works , in particular the work of Feliciano (2008 ) entitled : " The use of history of mathematics in the classroom " , along with the information , experiences and opinions given by Professor Anderson Luís de Azevedo Paulo , in some meetings , point to need for materials for teaching , since they show that recognizes the importance of this knowledge and the ability to use it in the classroom , but several factors have pushed aside , even the texts present in textbooks. From the analysis of some of the work and contributions of Professor Anderson Paulo we pointed out some of the factors that make historical texts being ignored by teachers and among them are characteristics in appearance and content in the text. To assist in the preparation of materials that meet the expectations of the teacher, we present a manual with suggestions and / or features to choose or produce a good text. These suggestions can make the history books more enjoyable and thus approach the teacher of historical knowledge and later encouraged to seek, in fact, a historical formation

Elaboração de atividades didáticas para o ensino de matemática a partir de livros antigos: o exemplo do leçons élémentaires de Lagrange

De nombreuses études sur l`utilisation pédagogique de l`histoire des mathématiques viennent a identifier les arguments qui sous-tiennent ces actions éducatives comme une façon d`aborder les mathématiques scolaires afin de mener les élèves à un apprentissage réflexif et significatif des mathématiques. Cherchant a vérifier, de manière pratique, comment ces relations entre histoire des mathématiques et l`enseignement des mathématiques peuvent se matérialiser sous la forme d`activités didactiques, nous avons effectué un sondage sur les oeuvres du mathématicien Joseph Louis Lagrange (1736-1813) et identifié le potentiel d`exploration éducatif, de l`oeuvre Leçons élémentaires sur les mathématiques données a l`École Normale en 1795, de cet mathématicien. L`objectif principal de notre étude était de faire des recherches sur le potentiel d`une oeuvre antique dédié à l`enseignement des mathématiques et de la considérer comme support conceptuel et didactique pour la création d`un modèle d`activités didactiques pour l`enseignement des mathématiques, dans la formation des enseignants de mathématiques et aussi en ce qui concerne l`apprentissage des mathématiques des élèves de l`école primaire. Nous avons fait une lecture, la traduction et l`ajout de notes et commentaires sur le travail et une recherche bibliographique sur la relation entre l`histoire des mathématiques et l`enseignement des mathématiques, de façon a comprendre les aspects conceptuels et didactiques pour l`élaboration d`um module activités didactiques pour l`enseignement des mathématiques basée sur certains chapitres du livre de Lagrange. À cette fin, l`oeuvre a été utilisé comme source primaire et a été étudié sous un fondement théorique appuyer sur les travaux des Institut de recherche sur l`enseignement des mathématiques IREM. Dans le module élaboré, les activités apportent les contenus dans une suite integrée à une logique de classe, à partir de la lecture directe des découpages du texte original, disposés entre les questions et les situations-problémes , historiquement mis en contexte avec la période et associés à des contenus spécifiques. Comme il s`agit d`une recherche basée sur l`exploitation de livres anciens, nous croyons que des modules d`activités basées sur des source primaires peuvent être utilisées comme un matériel pédagogique pour la formation des enseignants de mathématiques ainsi que pour les dernières années de l`école élémentaire, reformulées ou accrues d`autres questions telles l`intérêt de chaque enseignant qui l`utilise

Princípio da Indução Matemática no Ensino Médio

We developed this dissertation aiming its in the process of teaching and learning of the Principle of Mathematical Induction and we set our efforts so that the students of the first year of the high school can assimilate the content having the knowledge seen in the basic education as foreknowledge. With this, we seek to awake in the student the interest on proofs, showing how much it s needed in examples that involve contents that he is already seen

Uma plataforma de integração de middleware para computação ubíqua

One of the current challenges of Ubiquitous Computing is the development of complex applications, those are more than simple alarms triggered by sensors or simple systems to configure the environment according to user preferences. Those applications are hard to develop since they are composed by services provided by different middleware and it is needed to know the peculiarities of each of them, mainly the communication and context models. This thesis presents OpenCOPI, a platform which integrates various services providers, including context provision middleware. It provides an unified ontology-based context model, as well as an environment that enable easy development of ubiquitous applications via the definition of semantic workflows that contains the abstract description of the application. Those semantic workflows are converted into concrete workflows, called execution plans. An execution plan consists of a workflow instance containing activities that are automated by a set of Web services. OpenCOPI supports the automatic Web service selection and composition, enabling the use of services provided by distinct middleware in an independent and transparent way. Moreover, this platform also supports execution adaptation in case of service failures, user mobility and degradation of services quality. The validation of OpenCOPI is performed through the development of case studies, specifically applications of the oil industry. In addition, this work evaluates the overhead introduced by OpenCOPI and compares it with the provided benefits, and the efficiency of OpenCOPI s selection and adaptation mechanism

Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Mestre em Sistemas e Computação

In this work will applied the technique of Differential Cryptanalysis, introduced in 1990 by Biham and Shamir, on Papílio s cryptosystem, developed by Karla Ramos, to test and most importantly, to prove its relevance to other block ciphers such as DES, Blowfish and FEAL-N (X). This technique is based on the analysis of differences between plaintext and theirs respective ciphertext, in search of patterns that will assist in the discovery of the subkeys and consequently in the discovery of master key. These differences are obtained by XOR operations. Through this analysis, in addition to obtaining patterns of Pap´ılio, it search to obtain also the main characteristics and behavior of Papilio throughout theirs 16 rounds, identifying and replacing when necessary factors that can be improved in accordance with pre-established definitions of the same, thus providing greater security in the use of his algoritm

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