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

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

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

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

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Os jogos com regras na educação matemática inclusiva

This present study aimed to examine the use of games with rules in working with math education in regular classes included in Elementary School, in the municipal education schools of Natal/RN, observing the learning process and development of all students, especially those with disabilities. The theoretical references used are based on Vygotsky's works and other authors from the historical-cultural perspective, as well as researchers in the field of Inclusive Education and Mathematics Education. The investigation was based on the qualitative research guidelines, with the application of semi-structured interviews with educational coordinators and teachers from the schools involved as well as classroom observations, looking for, in the speeches of those involved and in their teaching practices, elements to reflect on the Mathematics Inclusive Education, the use of games with rules -starting from its goals, the participation of disabled students, the pedagogical mediations, up to its accessibility - and from the learning of disabled students. The analysis results showed that the concepts underlying the development of inclusive teaching practices still refer to the clinical-medical paradigm, understanding the student with disabilities from their deficiencies; which teachers use, in their majority, the mathematical games with rules in their classes, but which the teaching mediation, during these activities, still needs to be qualified so that they can, effectively, contribute to the learning and development of all students; students with disabilities do not always participate in games with others colleagues; games with rules are rarely accessible; and that the Universal Design principles are not adopted in the selected classrooms for this study. Thus, it is clear that much remains to be done so that Mathematics Education can contribute to the learning and development of all students, and among those actions the teacher continuing education is recommended

Localização de faltas em linhas de transmissão usando morfologia matemática

This work an algorithm for fault location is proposed. It contains the following functions: fault detection, fault classification and fault location. Mathematical Morphology is used to process currents obtained in the monitored terminals. Unlike Fourier and Wavelet transforms that are usually applied to fault location, the Mathematical Morphology is a non-linear operation that uses only basic operation (sum, subtraction, maximum and minimum). Thus, Mathematical Morphology is computationally very efficient. For detection and classification functions, the Morphological Wavelet was used. On fault location module the Multiresolution Morphological Gradient was used to detect the traveling waves and their polarities. Hence, recorded the arrival in the two first traveling waves incident at the measured terminal and knowing the velocity of propagation, pinpoint the fault location can be estimated. The algorithm was applied in a 440 kV power transmission system, simulated on ATP. Several fault conditions where studied and the following parameters were evaluated: fault location, fault type, fault resistance, fault inception angle, noise level and sampling rate. The results show that the application of Mathematical Morphology in faults location is very promising

Modelagem Matemática e Computacional de fenômenos eletrocinéticos em meios porosos carregados eletricamente

In this work we present a mathematical and computational modeling of electrokinetic phenomena in electrically charged porous medium. We consider the porous medium composed of three different scales (nanoscopic, microscopic and macroscopic). On the microscopic scale the domain is composed by a porous matrix and a solid phase. The pores are filled with an aqueous phase consisting of ionic solutes fully diluted, and the solid matrix consists of electrically charged particles. Initially we present the mathematical model that governs the electrical double layer in order to quantify the electric potential, electric charge density, ion adsorption and chemical adsorption in nanoscopic scale. Then, we derive the microscopic model, where the adsorption of ions due to the electric double layer and the reactions of protonation/ deprotanaç~ao and zeta potential obtained in modeling nanoscopic arise in microscopic scale through interface conditions in the problem of Stokes and Nerst-Planck equations respectively governing the movement of the aqueous solution and transport of ions. We developed the process of upscaling the problem nano/microscopic using the homogenization technique of periodic structures by deducing the macroscopic model with their respectives cell problems for effective parameters of the macroscopic equations. Considering a clayey porous medium consisting of kaolinite clay plates distributed parallel, we rewrite the macroscopic model in a one-dimensional version. Finally, using a sequential algorithm, we discretize the macroscopic model via the finite element method, along with the interactive method of Picard for the nonlinear terms. Numerical simulations on transient regime with variable pH in one-dimensional case are obtained, aiming computational modeling of the electroremediation process of clay soils contaminated

O problema do caixeiro alugador com coleta de bonus: um estudo algoritmico

This paper introduces a new variant of the Traveling Car Renter Problem, named Prizecollecting Traveling Car Renter Problem. In this problem, a set of vertices, each associated with a bonus, and a set of vehicles are given. The objective is to determine a cycle that visits some vertices collecting, at least, a pre-defined bonus, and minimizing the cost of the tour that can be traveled with different vehicles. A mathematical formulation is presented and implemented in a solver to produce results for sixty-two instances. The proposed problem is also subject of an experimental study based on the algorithmic application of four metaheuristics representing the best adaptations of the state of the art of the heuristic programming.We also provide new local search operators which exploit the neighborhoods of the problem, construction procedures and adjustments, created specifically for the addressed problem. Comparative computational experiments and performance tests are performed on a sample of 80 instances, aiming to offer a competitive algorithm to the problem. We conclude that memetic algorithms, computational transgenetic and a hybrid evolutive algorithm are competitive in tests performed