A Compreensão da idéia do número racional e suas operações na EJA: uma forma de inclusão em sala de aula

The awareness of the difficulty which pupils, in general have in understanding the concept and operations with Rational numbers, it made to develop this study which searches to collaborate for such understanding. Our intuition was to do with that the pupils of the Education of Young and Adults, with difficulty in understanding the Rational numbers, feel included in the learning-teaching process of mathematics. It deals with a classroom research in a qualitative approach with analysis of the activities resolved for a group of pupils in classroom of a municipal school of Natal. For us elaborate such activities we accomplished the survey difficulties and obstacles that the pupils experience, when inserted in the learning-teaching process of the Rational numbers. The results indicate that the sequence of activities applied in classroom collaborated so that the pupils to overcome some impediments in the learning of this numbers

As diferentes “personalidades” do número racional trabalhadas através da resolução de problemas

We address the different "personalities" of the rational number and the concept of proportionality, analyzing the possibilities for using the Mathematics Teaching and Learning through Problem-solving Method. This method is based on the principle that knowledge can be constructed through the use of problems that generate new concepts and new contents. The different meanings of rational number - rational point, quotient, fraction, ratio, and operator - are constructs that depend on mathematical theories in which they are imbedded and the situations that evoke them in problem-solving. Some data will be presented from continuing education courses for teachers, aiming to contribute to understanding regarding the different "personalities" of the rational number. In general, these "personalities" are not easily identified by teachers and students, which is the reason for the many difficulties encountered during problem-solving involving rational numbers. One of these "personalities", the ratio, provides the basis for the concept of proportionality, which is relevant because it is a unifying idea in mathematics.

Lattice constellations and codes from quadratic number fields

We propose new classes of linear codes over integer rings of quadratic extensions of Q, the field of rational numbers. The codes are considered with respect to a Mannheim metric, which is a Manhattan metric modulo a two-dimensional (2-D) grid. In particular, codes over Gaussian integers and Eisenstein-Jacobi integers are extensively studied. Decoding algorithms are proposed for these codes when up to two coordinates of a transmitted code vector are affected by errors of arbitrary Mannheim weight. Moreover, we show that the proposed codes are maximum-distance separable (MDS), with respect to the Hamming distance. The practical interest in such Mannheim-metric codes is their use in coded modulation schemes based on quadrature amplitude modulation (QAM)-type constellations, for which neither the Hamming nor the Lee metric is appropriate.

Uso social e escolar dos números racionais: representação fracionária e decimal

Pós-graduação em Educação - FFC

O ensino-aprendizagem de matemática através da resolução de problemas no 3º ciclo do ensino fundamental

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Representações dos números racionais e a medição de segmentos: possibilidades com tecnologias informáticas

Pós-graduação em Educação Matemática - IGCE

Estabilidade assintótica de uma classe de sistemas não lineares

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Jogos digitais no ensino de matemática: o desenvolvimento de um instrumento de apoio ao diagnóstico das concepções dos alunos sobre diferentes representações dos números

Pós-graduação em Educação para a Ciência - FC

Atividades com robótica educacional para as aulas de matemática do 6. ao 9. ano do ensino fundamental: utilização da metodologia LEGO® Zoom Education

Pós-graduação em Matemática - IBILCE

A formação de professores de matemática no contexto da resolução de problemas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Formalização do conjunto dos números racionais e alguns jogos com frações

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

The massless two-loop two-point function and zeta functions in counterterms of Feynman diagrams

The main part of this thesis describes a method of calculating the massless two-loop two-point function which allows expanding the integral up to an arbitrary order in the dimensional regularization parameter epsilon by rewriting it as a double Mellin-Barnes integral. Closing the contour and collecting the residues then transforms this integral into a form that enables us to utilize S. Weinzierl's computer library nestedsums. We could show that multiple zeta values and rational numbers are sufficient for expanding the massless two-loop two-point function to all orders in epsilon. We then use the Hopf algebra of Feynman diagrams and its antipode, to investigate the appearance of Riemann's zeta function in counterterms of Feynman diagrams in massless Yukawa theory and massless QED. The class of Feynman diagrams we consider consists of graphs built from primitive one-loop diagrams and the non-planar vertex correction, where the vertex corrections only depend on one external momentum. We showed the absence of powers of pi in the counterterms of the non-planar vertex correction and diagrams built by shuffling it with the one-loop vertex correction. We also found the invariance of some coefficients of zeta functions under a change of momentum flow through these vertex corrections.

The Hasse-Minkowski Theorem

The Hasse-Minkowski theorem concerns the classification of quadratic forms over global fields (i.e., finite extensions of Q and rational function fields with a finite constant field). Hasse proved the theorem over the rational numbers in his Ph.D. thesis in 1921. He extended the research of his thesis to quadratic forms over all number fields in 1924. Historically, the Hasse-Minkowski theorem was the first notable application of p-adic fields that caught the attention of a wide mathematical audience. The goal of this thesis is to discuss the Hasse-Minkowski theorem over the rational numbers and over the rational function fields with a finite constant field of odd characteristic. Our treatments of quadratic forms and local fields, though, are more general than what is strictly necessary for our proofs of the Hasse-Minkowski theorem over Q and its analogue over rational function fields (of odd characteristic). Our discussion concludes with some applications of the Hasse-Minkowski theorem.

Exact Numerical Processing

Paper submitted to Euromicro Symposium on Digital Systems Design (DSD), Belek-Antalya, Turkey, 2003.

Integrating SVC and HOL with the PROSPER Toolkit

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.