Conjuntos numéricos

In this work, we present a text on the Sets Numerical using the human social needs as a tool for construction new numbers. This material is intended to present a text that reconciles the correct teaching of mathmatics and clarity needed for a good learning

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]

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

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Teorema de Thales: uma conexão entre os aspectos geométrico e algébrico em alguns livros didáticos de matemática

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

O papel da disciplina de análise segundo professores e coordenadores

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

Contraexemplos em análise

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

Álgebra motivada pela geometria

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

A irracionalidade e transcendência do número π

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

Diferentes maneiras de definir a função logarítmica natural

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

Aspectos da história da análise matemática de Cauchy a Lebesgue

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

Um estudo sobre a função exponencial

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

GeoGebra e o método de Briot & Bouquet para a resolução gráfica de equações cúbicas

In the mid-nineteenth century, french mathematicians Briot and Bouquet have proposed an intriguing graphical method for solving cubic equations "depressed" - the third degree equations that do not have the quadratic term. The proposal is simple geometric construction, though based on an ingenious algebra. We propose here the verification and testing graphical method through an instructional sequence using the software GeoGebra also present the ingenious algebraic development that resulted in this graphic method for determination of real roots of a cubic equation of the type x³ + px + q = 0 where p and q are real numbers. The method states that these solutions are summarized in the abscissas of the points of intersection of the circumference containing the origin and the center C (-q/2, 1-p/2) with the parable y = x².

Rotações no espaço tridimensional por meio de produtos quaterniônicos

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

Aprendizagem cooperativa e colaborativa em matemática no espaço facebook

O programa de matemática do ensino básico revela que a escola exige uma formação sólida em Matemática para que os alunos, ao longo do seu percurso escolar, possam compreendê-la e utilizá-la, mas o façam igualmente depois da escolaridade, na sua vida pessoal, profissional e social. A investigação feita visa compreender como é que a Educação Matemática Crítica e a rede social Facebook potenciam a aprendizagem crítica da Matemática. A utilização mais frequente desta rede social, possibilita chegar a um maior fluxo de informação/publicidade. Sob a égide da Educação Matemática Crítica, com o objetivo de observar que alterações ocorriam na forma como os alunos aprendiam determinados conceitos matemáticos em situações rotineiras da nossa sociedade. Esta aprendizagem pode ocorrer cooperativamente e/ou colaborativamente conforme as atividades e os alunos que realizam o estudo. O estudo realizado foi de natureza qualitativa de caráter interpretativo. Os alunos realizaram três atividades. A primeira denominada “Atmosfera Terrestre” para introduzir o capítulo de intervalos de números reais e para os discentes se familiarizarem com as ferramentas do Facebook. As outras duas foram uma publicidade de uma empresa e uma notícia sobre as tabelas de IRS para o ano de 2013. Depois de concluído esse estudo, verificou-se que os alunos não tiveram qualquer problema ao nível do manuseamento das ferramentas proporcionadas pelo Facebook. Na atividade introdutória para o capítulo de intervalo de números reais, os alunos conseguiram transpor o que tinha sido discutido em espaço Facebook para a sala de aula, apresentando exemplos da referida atividade. Conseguiram retirar, através da matemática, conclusões e resultados muito pertinentes para uma melhor perceção do que estava implicitamente presente em cada uma das atividades. As conclusões evidenciadas pelos alunos aludem que após várias discussões, argumentos e mesmo algum cálculo matemático conseguiram observar e justificar criticamente que algumas informações estavam camufladas nas distintas atividades. Os alunos constaram que após estas atividades estão mais alertas para situações similares, o que constitui uma conquista do papel da Matemática na sua vida.