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

Aplicaçaõ das técnicas Path-relinking e Vocabulary buiding na melhoria de performance do algoritmo memético para o problema do caixeiro viajante assimétrico

The present essay shows strategies of improvement in a well succeded evolutionary metaheuristic to solve the Asymmetric Traveling Salesman Problem. Such steps consist in a Memetic Algorithm projected mainly to this problem. Basically this improvement applied optimizing techniques known as Path-Relinking and Vocabulary Building. Furthermore, this last one has being used in two different ways, in order to evaluate the effects of the improvement on the evolutionary metaheuristic. These methods were implemented in C++ code and the experiments were done under instances at TSPLIB library, being possible to observe that the procedures purposed reached success on the tests done

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

Algoritomos transgenéticos aplicados ao problema da árvore geradora biobjetivo

The Multiobjective Spanning Tree is a NP-hard Combinatorial Optimization problem whose application arises in several areas, especially networks design. In this work, we propose a solution to the biobjective version of the problem through a Transgenetic Algorithm named ATIS-NP. The Computational Transgenetic is a metaheuristic technique from Evolutionary Computation whose inspiration relies in the conception of cooperation (and not competition) as the factor of main influence to evolution. The algorithm outlined is the evolution of a work that has already yielded two other transgenetic algorithms. In this sense, the algorithms previously developed are also presented. This research also comprises an experimental analysis with the aim of obtaining information related to the performance of ATIS-NP when compared to other approaches. Thus, ATIS-NP is compared to the algorithms previously implemented and to other transgenetic already presented for the problem under consideration. The computational experiments also address the comparison to two recent approaches from literature that present good results, a GRASP and a genetic algorithms. The efficiency of the method described is evaluated with basis in metrics of solution quality and computational time spent. Considering the problem is within the context of Multiobjective Optimization, quality indicators are adopted to infer the criteria of solution quality. Statistical tests evaluate the significance of results obtained from computational experiments

Java-XSC : módulo complexo e complexo intervalar

This work aims to develop modules that will increase the computational power of the Java-XSC library, and XSC an acronym for "Language Extensions for Scientific Computation . This library is actually an extension of the Java programming language that has standard functions and routines elementary mathematics useful interval. in this study two modules were added to the library, namely, the modulus of complex numbers and complex numbers of module interval which together with the modules original numerical applications that are designed to allow, for example in the engineering field, can be used in devices running Java programs

Uma análise experimental de algoritmos exatos aplicados ao problema da árvore geradora multiobjetivo

The Multiobjective Spanning Tree Problem is NP-hard and models applications in several areas. This research presents an experimental analysis of different strategies used in the literature to develop exact algorithms to solve the problem. Initially, the algorithms are classified according to the approaches used to solve the problem. Features of two or more approaches can be found in some of those algorithms. The approaches investigated here are: the two-stage method, branch-and-bound, k-best and the preference-based approach. The main contribution of this research lies in the fact that no research was presented to date reporting a systematic experimental analysis of exact algorithms for the Multiobjective Spanning Tree Problem. Therefore, this work can be a basis for other research that deal with the same problem. The computational experiments compare the performance of algorithms regarding processing time, efficiency based on the number of objectives and number of solutions found in a controlled time interval. The analysis of the algorithms was performed for known instances of the problem, as well as instances obtained from a generator commonly used in the literature

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Análise das medidas de boa e má diversidade na construção de comitês de classificadores através de metaheurísticas de otimização multiobjetivo

Committees of classifiers may be used to improve the accuracy of classification systems, in other words, different classifiers used to solve the same problem can be combined for creating a system of greater accuracy, called committees of classifiers. To that this to succeed is necessary that the classifiers make mistakes on different objects of the problem so that the errors of a classifier are ignored by the others correct classifiers when applying the method of combination of the committee. The characteristic of classifiers of err on different objects is called diversity. However, most measures of diversity could not describe this importance. Recently, were proposed two measures of the diversity (good and bad diversity) with the aim of helping to generate more accurate committees. This paper performs an experimental analysis of these measures applied directly on the building of the committees of classifiers. The method of construction adopted is modeled as a search problem by the set of characteristics of the databases of the problem and the best set of committee members in order to find the committee of classifiers to produce the most accurate classification. This problem is solved by metaheuristic optimization techniques, in their mono and multi-objective versions. Analyzes are performed to verify if use or add the measures of good diversity and bad diversity in the optimization objectives creates more accurate committees. Thus, the contribution of this study is to determine whether the measures of good diversity and bad diversity can be used in mono-objective and multi-objective optimization techniques as optimization objectives for building committees of classifiers more accurate than those built by the same process, but using only the accuracy classification as objective of optimization

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Utilizando programação orientada a aspectos no projeto de sistemas hardware desenvolvidos com SystemC

New programming language paradigms have commonly been tested and eventually incorporated into hardware description languages. Recently, aspect-oriented programming (AOP) has shown successful in improving the modularity of object-oriented and structured languages such Java, C++ and C. Thus, one can expect that, using AOP, one can improve the understanding of the hardware systems under design, as well as make its components more reusable and easier to maintain. We apply AOP in applications developed using the SystemC library. Several examples will be presented illustrating how to combine AOP and SystemC. During the presentation of these examples, the benefits of this new approach will also be discussed