Made available in DSpace on 2016-04-27T16:57:13Z (GMT). No. of bitstreams: 1 Emerson Pereira Rodrigues.pdf: 5383374 bytes, checksum: 97ac5f06e6504db9e26d782c33cfbb75 (MD5) Previous issue date: 2011-11-10 / Secretaria da Educação do Estado de São Paulo / The aim of this documentary qualitative research is to investigate how the content from the "Linear Equations Systems in Mathematics Teacher's Notebooks from São Paulo's public schools (from 2008 and 2009)" is covered. Our interest about this research started when the Pedagogical Mathematics Report (2010) was presented. In this report, they affirmed that high school students present more difficulty to learn Mathematics than elementary school students do. To develop this paper we have researched the official documents, to see what they recommend in teaching linear equations systems to high school and elementary school students. For comparison, we have also explored two didactical Mathematics book collections. We have found out that Mathematics Teacher's Notebooks from São Paulo's public schools (from 2008 and 2009) use an approach that is similar to didactical books; the biggest difference has been found in materials dedicated to high school. While didactic books teach subjects followed by exercises, authors from Mathematics Teacher's Notebooks from São Paulo's public schools worry more about contextualizing the subject to student's realities. The aim of this paper is to propitiate an analysis of Mathematics Teacher's Notebooks from São Paulo's public schools from the 3rd bimester from the 8th year in high school and the 2nd grade from the 2nd year in high school referring to teaching linear equations systems. The product of this analysis can be found separately from this paper, and it is available online at www.pucsp.br/pos/edmat / Esta pesquisa qualitativa do tipo documental tem como objetivo investigar como é abordado o conteúdo de Sistemas de Equações Lineares nos Cadernos do Professor de Matemática da rede pública de São Paulo de 2008 e 2009. Nosso interesse em realizar esta pesquisa partiu da constatação apresentada no Relatório Pedagógico de Matemática (2010) que o aluno do Ensino Médio apresenta uma maior dificuldade com relação à aprendizagem de Matemática que o aluno do Ensino Fundamental. Para o desenvolvimento deste trabalho investigamos o que os documentos oficiais recomendam para o ensino de sistemas de equações lineares para o Ensino Fundamental e Médio. Para efeito de comparação investigamos também duas coleções de livros didáticos de Matemática. Nosso estudo constatou que os Cadernos do Professor de Matemática de 2008 e o de 2009 do Ensino Fundamental abordam de forma semelhante aos livros didáticos. A maior diferença foi constatada nos materiais destinados ao Ensino Médio. Enquanto os livros didáticos abordam os conteúdos seguidos de exercícios, os autores dos Cadernos do Professor de Matemática se preocupam com a contextualização do conteúdo estudado com relação à realidade do aluno, constatamos também a ausência de uma discussão mais abrangente a respeito da classificação dos sistemas lineares em função de um parâmetro. Este trabalho tem como produto propiciar uma análise do Caderno do Professor de Matemática do 3º bimestre do 8º ano do Ensino Fundamental e da 2ª série do 2º ano do Ensino Médio referente ao ensino de sistemas de equações lineares. Esse produto encontra-se em separado da dissertação e está disponível para o uso de professores interessados na página do Programa (www.pucsp.br/pos/edmat)

O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar. Outro aspecto a destacar é o campo de utilizando de sistemas de equações lineares em problemas das engenharias e outras ciências, o que mostra a aplicabilidade desses métodos e por conseguinte a necessidade de elaboração de ferramentas que possibilitem a implementação desses métodos intervalares. O objetivo deste trabalho não é a elaboração de novos métodos intervalares, mas sim o de realizar uma descrição e implementação de alguns dos métodos intervalares encontrados na bibliografia pesquisada. A versão intervalar dos métodos pontuais não é simples e o calculo por métodos intervalares pode ser dispendioso, uma vez que se está tratando com vetores e matrizes de intervalos. A implementação dos métodos intervalares são foi possível graças a existência de ferramentas, como o compilador Pascal-XSC, que incorpora as suas características aspectos importantes como a aritmética intervalar, a verificação automática do resultado, o produto escalar Ótimo e a aritmética de alta exatidão. Este trabalho é dividido em duas etapas. A primeira apresenta um estudo dos métodos intervalares para a resolução de sistemas de equações lineares. São caracterizadas as metodologias de desenvolvimento desses métodos. Metodologias estas, que foram divididas em três grupos de métodos: métodos intervalares baseados em operações algébricas intervalares ou métodos diretos, métodos intervalares baseados em refinamento ou métodos híbridos e métodos intervalares baseados em interacões. São definidas as características, os métodos que as compõe e a aplicabilidade desses métodos na resolução de sistemas de equações lineares. A segunda etapa é caracterizada pela elaboração dos algoritmos referentes aos métodos intervalares estudados e sua respectiva implementação, dando origem a uma biblioteca aplicativa intervalar para a resolução de sistemas de equações lineares, implementada no PC-486 e utilizando o compilador Pascal-XSC. Para este desenvolvimento foi realizado, previamente, um estudo sobre este compilador e sobre bibliotecas disponíveis que são utilizadas na implementação da biblioteca aplicativa intervalar. A biblioteca selintp é organizada em quatro módulos: o módulo dirint (referente aos métodos diretos); o modulo refint (referente aos métodos baseados em refinamento); o módulo itrint (referente aos métodos iterativos) e o modulo equalg (para sistemas de equações de ordem 1). Por fim, através daquela biblioteca foram realizadas comparações entre os resultados obtidos (resultados pontuais, intervalares, seqüenciais e vetoriais) a rim de se realizar uma analise de desempenho quantitativa (exatidão) e uma comparação entre os resultados obtidos. Esses resultados sendo comparados com os obtidos com a biblioteca biblioteca esta que esta sendo desenvolvida para o ambiente do supercomputador Cray Y-MP do CESUP/UFRGS, como parte do projeto de Aritmética Vetorial Intervalar do Grupo de Matemática Computacional da UFRGS. / The study of interval methods is important for resolution of linear equation systems, because such methods produce results into reliable bounds and prove the existence or not existence of solutions, therefore they produce reliable results that, the punctual methods can non present,save that there is an exhaustive analysis of errors. Another aspect to emphasize is the field of utilization of linear equation systems in engineering problems and other sciences, in which is showed the applicability of that methods and, consequently, the necessity of tools elaboration that make possible the implementation of that interval methods. The goal of this work is not the elaboration of new interval methods, but to accomplish a description and implementation of some interval methods found in the searched bibliography. The interval version of punctual methods is not simple, and the calculus by interval methods can be expensive, respecting is treats of vectors and matrices of intervals. The implementation of interval methods was only possible due to the existence of tools, as the Pascal-XSC compiler, which incorporates to their features, important aspects such as the interval arithmetic, the automatic verification of the result, the optimal scalar product and arithmetic of high accuracy. This work is divided in two stages. The first presents a study of the interval methods for resolution of linear equation systems, in which are characterized the methodologies of development of that methods. These methodologies were divided in three method groups: interval methods based in interval algebraic operations or direct methods, interval methods based in refinament or hybrid methods, and interval methods based in iterations, in which are determined the features, the methods that compose them, and the applicability of those methods in the resolution of linear equation systems. The second stage is characterized for the elaboration of the algorithms relating to the interval methods studied and their respective implementation, originating a interval applied library for resolution of linear equation systems, selintp, implemented in PC-486 and making use of Pascal-XSC compiler. For this development was previously accomplished a study about compiler and avaiable libraries that are used in the inplementation of the interval applied library. The library selintp is organized in four modules: the dirint module (regarding to the direct methods); the refint module (regarding to the methods based in refinament); the itrint module (regarding to the iterative methods) and equalg module(for equation systems of order 1). At last, throu gh this library, comparisons were developed among the results obtained (punctual, interval, sequential and vectorial results) in order to be accomplished an analysis of quantitative performance (accuracy) and a comparison among the results obtained with libselint a library, that is been developed for the Cray Y-MP supercomputer environment of CESUP/UFRGS, as part of the Interval Vectorial Arithmetic project of Group of Computational Mathematics of UFRGS.

O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar. Outro aspecto a destacar é o campo de utilizando de sistemas de equações lineares em problemas das engenharias e outras ciências, o que mostra a aplicabilidade desses métodos e por conseguinte a necessidade de elaboração de ferramentas que possibilitem a implementação desses métodos intervalares. O objetivo deste trabalho não é a elaboração de novos métodos intervalares, mas sim o de realizar uma descrição e implementação de alguns dos métodos intervalares encontrados na bibliografia pesquisada. A versão intervalar dos métodos pontuais não é simples e o calculo por métodos intervalares pode ser dispendioso, uma vez que se está tratando com vetores e matrizes de intervalos. A implementação dos métodos intervalares são foi possível graças a existência de ferramentas, como o compilador Pascal-XSC, que incorpora as suas características aspectos importantes como a aritmética intervalar, a verificação automática do resultado, o produto escalar Ótimo e a aritmética de alta exatidão. Este trabalho é dividido em duas etapas. A primeira apresenta um estudo dos métodos intervalares para a resolução de sistemas de equações lineares. São caracterizadas as metodologias de desenvolvimento desses métodos. Metodologias estas, que foram divididas em três grupos de métodos: métodos intervalares baseados em operações algébricas intervalares ou métodos diretos, métodos intervalares baseados em refinamento ou métodos híbridos e métodos intervalares baseados em interacões. São definidas as características, os métodos que as compõe e a aplicabilidade desses métodos na resolução de sistemas de equações lineares. A segunda etapa é caracterizada pela elaboração dos algoritmos referentes aos métodos intervalares estudados e sua respectiva implementação, dando origem a uma biblioteca aplicativa intervalar para a resolução de sistemas de equações lineares, implementada no PC-486 e utilizando o compilador Pascal-XSC. Para este desenvolvimento foi realizado, previamente, um estudo sobre este compilador e sobre bibliotecas disponíveis que são utilizadas na implementação da biblioteca aplicativa intervalar. A biblioteca selintp é organizada em quatro módulos: o módulo dirint (referente aos métodos diretos); o modulo refint (referente aos métodos baseados em refinamento); o módulo itrint (referente aos métodos iterativos) e o modulo equalg (para sistemas de equações de ordem 1). Por fim, através daquela biblioteca foram realizadas comparações entre os resultados obtidos (resultados pontuais, intervalares, seqüenciais e vetoriais) a rim de se realizar uma analise de desempenho quantitativa (exatidão) e uma comparação entre os resultados obtidos. Esses resultados sendo comparados com os obtidos com a biblioteca biblioteca esta que esta sendo desenvolvida para o ambiente do supercomputador Cray Y-MP do CESUP/UFRGS, como parte do projeto de Aritmética Vetorial Intervalar do Grupo de Matemática Computacional da UFRGS. / The study of interval methods is important for resolution of linear equation systems, because such methods produce results into reliable bounds and prove the existence or not existence of solutions, therefore they produce reliable results that, the punctual methods can non present,save that there is an exhaustive analysis of errors. Another aspect to emphasize is the field of utilization of linear equation systems in engineering problems and other sciences, in which is showed the applicability of that methods and, consequently, the necessity of tools elaboration that make possible the implementation of that interval methods. The goal of this work is not the elaboration of new interval methods, but to accomplish a description and implementation of some interval methods found in the searched bibliography. The interval version of punctual methods is not simple, and the calculus by interval methods can be expensive, respecting is treats of vectors and matrices of intervals. The implementation of interval methods was only possible due to the existence of tools, as the Pascal-XSC compiler, which incorporates to their features, important aspects such as the interval arithmetic, the automatic verification of the result, the optimal scalar product and arithmetic of high accuracy. This work is divided in two stages. The first presents a study of the interval methods for resolution of linear equation systems, in which are characterized the methodologies of development of that methods. These methodologies were divided in three method groups: interval methods based in interval algebraic operations or direct methods, interval methods based in refinament or hybrid methods, and interval methods based in iterations, in which are determined the features, the methods that compose them, and the applicability of those methods in the resolution of linear equation systems. The second stage is characterized for the elaboration of the algorithms relating to the interval methods studied and their respective implementation, originating a interval applied library for resolution of linear equation systems, selintp, implemented in PC-486 and making use of Pascal-XSC compiler. For this development was previously accomplished a study about compiler and avaiable libraries that are used in the inplementation of the interval applied library. The library selintp is organized in four modules: the dirint module (regarding to the direct methods); the refint module (regarding to the methods based in refinament); the itrint module (regarding to the iterative methods) and equalg module(for equation systems of order 1). At last, throu gh this library, comparisons were developed among the results obtained (punctual, interval, sequential and vectorial results) in order to be accomplished an analysis of quantitative performance (accuracy) and a comparison among the results obtained with libselint a library, that is been developed for the Cray Y-MP supercomputer environment of CESUP/UFRGS, as part of the Interval Vectorial Arithmetic project of Group of Computational Mathematics of UFRGS.

O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar. Outro aspecto a destacar é o campo de utilizando de sistemas de equações lineares em problemas das engenharias e outras ciências, o que mostra a aplicabilidade desses métodos e por conseguinte a necessidade de elaboração de ferramentas que possibilitem a implementação desses métodos intervalares. O objetivo deste trabalho não é a elaboração de novos métodos intervalares, mas sim o de realizar uma descrição e implementação de alguns dos métodos intervalares encontrados na bibliografia pesquisada. A versão intervalar dos métodos pontuais não é simples e o calculo por métodos intervalares pode ser dispendioso, uma vez que se está tratando com vetores e matrizes de intervalos. A implementação dos métodos intervalares são foi possível graças a existência de ferramentas, como o compilador Pascal-XSC, que incorpora as suas características aspectos importantes como a aritmética intervalar, a verificação automática do resultado, o produto escalar Ótimo e a aritmética de alta exatidão. Este trabalho é dividido em duas etapas. A primeira apresenta um estudo dos métodos intervalares para a resolução de sistemas de equações lineares. São caracterizadas as metodologias de desenvolvimento desses métodos. Metodologias estas, que foram divididas em três grupos de métodos: métodos intervalares baseados em operações algébricas intervalares ou métodos diretos, métodos intervalares baseados em refinamento ou métodos híbridos e métodos intervalares baseados em interacões. São definidas as características, os métodos que as compõe e a aplicabilidade desses métodos na resolução de sistemas de equações lineares. A segunda etapa é caracterizada pela elaboração dos algoritmos referentes aos métodos intervalares estudados e sua respectiva implementação, dando origem a uma biblioteca aplicativa intervalar para a resolução de sistemas de equações lineares, implementada no PC-486 e utilizando o compilador Pascal-XSC. Para este desenvolvimento foi realizado, previamente, um estudo sobre este compilador e sobre bibliotecas disponíveis que são utilizadas na implementação da biblioteca aplicativa intervalar. A biblioteca selintp é organizada em quatro módulos: o módulo dirint (referente aos métodos diretos); o modulo refint (referente aos métodos baseados em refinamento); o módulo itrint (referente aos métodos iterativos) e o modulo equalg (para sistemas de equações de ordem 1). Por fim, através daquela biblioteca foram realizadas comparações entre os resultados obtidos (resultados pontuais, intervalares, seqüenciais e vetoriais) a rim de se realizar uma analise de desempenho quantitativa (exatidão) e uma comparação entre os resultados obtidos. Esses resultados sendo comparados com os obtidos com a biblioteca biblioteca esta que esta sendo desenvolvida para o ambiente do supercomputador Cray Y-MP do CESUP/UFRGS, como parte do projeto de Aritmética Vetorial Intervalar do Grupo de Matemática Computacional da UFRGS. / The study of interval methods is important for resolution of linear equation systems, because such methods produce results into reliable bounds and prove the existence or not existence of solutions, therefore they produce reliable results that, the punctual methods can non present,save that there is an exhaustive analysis of errors. Another aspect to emphasize is the field of utilization of linear equation systems in engineering problems and other sciences, in which is showed the applicability of that methods and, consequently, the necessity of tools elaboration that make possible the implementation of that interval methods. The goal of this work is not the elaboration of new interval methods, but to accomplish a description and implementation of some interval methods found in the searched bibliography. The interval version of punctual methods is not simple, and the calculus by interval methods can be expensive, respecting is treats of vectors and matrices of intervals. The implementation of interval methods was only possible due to the existence of tools, as the Pascal-XSC compiler, which incorporates to their features, important aspects such as the interval arithmetic, the automatic verification of the result, the optimal scalar product and arithmetic of high accuracy. This work is divided in two stages. The first presents a study of the interval methods for resolution of linear equation systems, in which are characterized the methodologies of development of that methods. These methodologies were divided in three method groups: interval methods based in interval algebraic operations or direct methods, interval methods based in refinament or hybrid methods, and interval methods based in iterations, in which are determined the features, the methods that compose them, and the applicability of those methods in the resolution of linear equation systems. The second stage is characterized for the elaboration of the algorithms relating to the interval methods studied and their respective implementation, originating a interval applied library for resolution of linear equation systems, selintp, implemented in PC-486 and making use of Pascal-XSC compiler. For this development was previously accomplished a study about compiler and avaiable libraries that are used in the inplementation of the interval applied library. The library selintp is organized in four modules: the dirint module (regarding to the direct methods); the refint module (regarding to the methods based in refinament); the itrint module (regarding to the iterative methods) and equalg module(for equation systems of order 1). At last, throu gh this library, comparisons were developed among the results obtained (punctual, interval, sequential and vectorial results) in order to be accomplished an analysis of quantitative performance (accuracy) and a comparison among the results obtained with libselint a library, that is been developed for the Cray Y-MP supercomputer environment of CESUP/UFRGS, as part of the Interval Vectorial Arithmetic project of Group of Computational Mathematics of UFRGS.