Dissertação (mestrado)—Universidade de Brasília, Departamento de Matemática, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-07-16T14:10:41Z No. of bitstreams: 1 2013_MatheusBernardinideSouza.pdf: 449129 bytes, checksum: 84b41aaa9be182b0ab45d842af511738 (MD5) / Approved for entry into archive by Leandro Silva Borges(leandroborges@bce.unb.br) on 2013-07-16T17:14:02Z (GMT) No. of bitstreams: 1 2013_MatheusBernardinideSouza.pdf: 449129 bytes, checksum: 84b41aaa9be182b0ab45d842af511738 (MD5) / Made available in DSpace on 2013-07-16T17:14:02Z (GMT). No. of bitstreams: 1 2013_MatheusBernardinideSouza.pdf: 449129 bytes, checksum: 84b41aaa9be182b0ab45d842af511738 (MD5) / O objetivo deste trabalho é mostrar algumas técnicas para resolução de equações diofantinas. Métodos algébricos são ferramentas de grande utilidade para a resolução da equação equation x2 + 7 = yn, em que y = 2 ou Y é ímpar. O uso do método hipergeométrico traz um resultado recente (de 2008) no estudo da equação x2 + 7 =2n. m e técnicas algébricas garantem uma condição necessária para que essa última equação tenha solução. _______________________________________________________________________________________ ABSTRACT / The objective of this work is to show some techniques for solving Diophantine equations. Algebraic methods are useful tools for solving the equation x2 + 7 = yn, where y = 2 or y is odd. The use of the hypergeometric method brings a recent result (from 2008) in the study of the equation x2 + 7 = 2n.m and algebraic techniques ensure a necessary condition for the last equation to have a solution.

Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T00:13:35Z (GMT). No. of bitstreams: 1 Robles_Diogo_M.pdf: 2570723 bytes, checksum: 1b31aafac2cac9800099aacf94c5b51a (MD5) Previous issue date: 1997 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientadores: Wu, Shin-Ting, Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T22:56:15Z (GMT). No. of bitstreams: 1 Alessio_Osmar_D.pdf: 12858957 bytes, checksum: 2a279c39a7f467f27d4b43d578a24c3d (MD5) Previous issue date: 2002 / Doutorado

Orientador: Fernando Eduardo Torres Orihuela / Tese (doutorado) - Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-03T23:57:41Z (GMT). No. of bitstreams: 1 Silva_ErcilioCarvalho_D.pdf: 325874 bytes, checksum: d9e2b3d0bfa8443874c08e8ad78d0b45 (MD5) Previous issue date: 2004 / Resumo: Como uma generalizacao do conceito de Função Ordem, introduzido por T. Høholdt, J. H. van Lint e R. Pellikaan, nesta tese apresentamos a nocao de Funcao Ordem Fraca com o objetivo de obter construcoes alternativas dos codigos geometricos de Goppa. Os codigos obtidos por Høholdt, van Lint e Pellikaan estao tipicamente associados aos codigos pontuais de Goppa; ja os nossos, correspondem aos codigos bi-pontuais. Em varios destes casos, a cota inferior para a distancia m'inima do codigo e melhor que qualquer cota correspondente conhecida na literatura / Abstract: Hoholdt, van Lint and Pellikaan introduced the order functions and apply them to the construction of good codes. For the case of curves, their theory fits very well for the so-called one-point Goppa codes. In this work we define the notion of ¿weak order function¿and show that we can construct good two-point Goppa codes / Doutorado / Matematica / Doutor em Matemática

This work presents several results on curves of Hurwitz type, defined over a finite field. In 1961, Tallini investigated plane irreducible curves of minimum degree containing all points of the projective plane PG(2,q) over a finite field of order q. We prove that such curves are Fq3(q2+q+1)-projectively equivalent to the Hurwitz curve of degree q+2, and compute some of itsWeierstrass points. In addition, we prove that when q is prime the curve is ordinary, that is, the p-rank equals the genus of the curve. We also compute the automorphism group of such curve and show that some of the quotient curves, arising from some special cyclic automorphism groups, are still curves of Hurwitz type. Furthermore, we solve the problem of explicitly describing the set of all Weierstrass pure gaps supported by two or three special points on Hurwitz curves. Finally, we use the latter characterization to construct Goppa codes with good parameters, some of which are current records in the Mint table. / Este trabalho apresenta vários resultados em curvas do tipo Hurwitz, definidas sobre um corpo finito. Em 1961, Tallini investigou curvas planas irredutíveis de grau mínimo contendo todos os pontos do plano projetivo PG(2,q) sobre um corpo finito de ordem q. Provamos que tais curvas são Fq3(q2+q+1)-projetivamente equivalentes à curva de Hurwitz de grau q+2, e calculamos alguns de seus pontos de Weierstrass. Em adição, provamos que, quando q é primo, a curva é ordinária, isto é, o p-rank é igual ao gênero da curva. Também calculamos o grupo de automorfismos desta curva e mostramos que algumas das curvas quocientes, construídas a partir de certos grupos cíclicos de automorfismos, são ainda curvas do tipo Hurwitz. Além disso, solucionamos o problema de descrever explicitamente o conjunto de todos os gaps puros de Weierstrass suportados por dois ou três pontos especiais em curvas de Hurwitz. Finalmente, usamos tal caracterização para construir códigos de Goppa com bons parâmetros, sendo alguns deles recordes na tabela Mint.

The problem of classifying the Anosov systems is of great interest in the theory of dynamical systems. The most important known examples are of algebraic nature and it has been conjectured on 1960s by S. Smale (SMALE, 1967) that these are in fact the only examples. This conjecture has been proved false for Anosov flows, where counter examples had been constructed for odd dimensional manifolds ((HANDEL; THURSTON, 1980) and (BARTHELMé et al., )). This non algebraic examples however are very pathological, and with some stronger hypothesis, for example, smoothness of the invariant bundles, the conjecture remains open. In 1992, it was published a paper (BENOIST; FOULON; LABOURIE, 1992) which proved that contact Anosov flows with smooth invariant bundles are in fact algebraic. In this monograph we seek to generalize the result obtained in (BENOIST; FOULON; LABOURIE, 1992). For this end, we create an adequate definition for contact Anosov Rk-actions, and following the proof strategy used in (BENOIST; FOULON; LABOURIE, 1992) we obtained a partial generalization of this result. / O problema da classificação dos sistemas Anosov são de grande interesse dentro da teoria dos sistemas dinâmicos. Os principais exemplos conhecidos são de natureza algébrica e foi levantada na década de 1960 a conjectura de que estes são os únicos exemplos (SMALE, 1967). Esta conjectura se mostrou falsa para fluxos Anosov (ações de R), onde foram construídos contraexemplos em variedades de dimensões impares ((HANDEL; THURSTON, 1980) e (BARTHELMé et al., )). Estes contra exemplos no entanto são de natureza patológica, e sob hipóteses um pouco mais fortes, por exemplo, suavidade dos fibrados invariantes, a conjectura permanece em aberto. Em 1992, foi publicado um artigo (BENOIST; FOULON; LABOURIE, 1992) provando que fluxos de contato Anosov com fibrados invariantes suaves são de fato algébricos . Neste trabalho procuramos generalizar o resultado obtido em (BENOIST; FOULON; LABOURIE, 1992). Para isso criamos uma definição adequada para ações de Rk contato Anosov, que generalizam a noção de fluxo de contato Anosov, e seguindo a estratégia de prova utilizada em (BENOIST; FOULON; LABOURIE, 1992), obtivemos uma generalização parcial deste resultado.

Made available in DSpace on 2016-04-27T16:58:52Z (GMT). No. of bitstreams: 1 Vagner Valeiro Ramos.pdf: 1301740 bytes, checksum: 37fa673f71ac5688389f82c6556b6eba (MD5) Previous issue date: 2009-04-30 / Secretaria da Educação do Estado de São Paulo / This is a diagnostic research, whose objective is investigate the students' knowledge that already passed a Calculus course derivative , as much as its applications and try to classify the difficulties of these students before these activities.We elaboreted then a test composite of four tasks, that deal with the theme. This test was structured according to Raymond Duval's theory - Register of Representation Semiotic. With the data got we carried out the analyses qualitatively and quantitatively. We explored in the test the algebraic and graphic representations of a function and of its derivative and the relation that there are between them, that well demand conversions to be obtained, well demand treatment. After the analyses of the results, we observed that the students manipulate well the algebric representations, but many of the students neither get to indentify the need procedures, nor do use of the concept of derivative, for a resolution of a determineted situation of aplication / Esta é uma pesquisa diagnóstica, cujo objetivo é investigar os conhecimentos dos alunos que já passaram por um curso de Cálculo e estudaram a derivada , quanto a suas aplicações e tentar classificar as dificuldades desses alunos diante dessas atividades. Elaboramos então um teste composto de quatro tarefas, que versam sobre o tema. Esse teste foi estruturado segundo a teoria dos Registros de Representação Semiótica de Raymond Duval. Com os dados obtidos realizamos as análises qualitativa e quantitativamente. Exploramos no teste as representações algébricas e gráficas de uma função e de sua derivada e as relações que existem entre elas, que ora exigem conversões para serem obtidas, ora exigem tratamentos. Após a analise dos resultados, observamos que os alunos manipulam bem as representações algébricas, mas muitos deles não conseguem identificar os procedimentos necessários, nem fazer uso do conceito de derivada, para a resolução de uma determinada situação de aplicação

Made available in DSpace on 2016-04-27T16:59:03Z (GMT). No. of bitstreams: 1 Armando Pereira.pdf: 461594 bytes, checksum: aeb2a3fb8278ff84be43c2ee3be64f43 (MD5) Previous issue date: 2010-05-12 / The purpose of this research was to develop a panorama of the dissertations from PUC-SP about the theme algebraic equations in Elementary School (6th to 9h grades). The methodology from the essay was defined as having a bibliographic character, in the "panorama" modality. Our analysis method was constituted of four dissertations published, from 2005 to 2008, in the Mathematical Education area. For the essay selection, it was used the site of the Program of Post- Graduate Studies in Mathematical Education from PUC-SP, obeying to predetermined criteria. Thus, the similarities among the purposes, conclusions, indications, for future researches and theoretical referentials were sought. The results indicated that the majority of the researches analyzed presented similarities between the researchers conclusions and the indications for future researches. However, there were very few similarities between the purposes of these researches and between the theoretical referentials used in the development of the dissertations. At last, it is considered to have presented a contribution to the Group of Researches in Algebraic Education from PUC-SP and possibly to the investigation in Mathematical Education, because research modalities of bibliographical type are recognized, not considered before by authors that theorized about them, which it was not our initial intention. Being, this, the present study presented results that might give subsides to future researches / Esta pesquisa teve como objetivo desenvolver um panorama de dissertações da PUC-SP sobre o tema equações algébricas no Ensino Fundamental (6º ao 9º anos). A metodologia do trabalho definiu-se como de caráter bibliográfico, na modalidade panorama . Nosso material de análise constituiu-se de quatro dissertações publicadas, entre 2005 e 2008, na área de Educação Matemática. Para a seleção dos trabalhos, utilizou-se o sítio do Programa de Estudos Pós- Graduados em Educação Matemática da PUC-SP, obedecendo a critérios predeterminados. Assim, buscamos as similaridades entre os objetivos, conclusões, indicações para futuras pesquisas e referenciais teóricos. Os resultados indicaram que a maioria das pesquisas analisadas apresentou similaridades entre as conclusões dos pesquisadores e entre as indicações para futuras pesquisas. No entanto, ocorreram exíguas similaridades entre os objetivos dessas pesquisas e entre os referenciais teóricos utilizados no desenvolvimento das dissertações. Por fim, consideramos ter apresentado uma contribuição ao Grupo de Pesquisas em Educação Algébrica da PUC-SP e, possivelmente, à investigação em Educação Matemática, porque reconhecemos modalidades de pesquisa de tipo bibliográfico, não consideradas antes por autores que teorizam-nas, o que não era nossa intenção inicial. Sendo, assim, o presente estudo apresentou resultados que poderão proporcionar subsídios para futuras pesquisas

Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas classes de álgebras associadas. Assim obtemos codificações funtoriais para as equipolências e morfismos den- sos entre lógicas. Na tentativa de generalizar os resultados obtidos sobre a codificação dos morfismos entre lógicas algebrizáveis, introduzimos a noção de funtor filtro e sua lógica asso- ciada. Classificamos alguns tipos especiais de lógicas e um estudo da propriedade metalógica de interpolação de Craig via amalgamação em matrizes para lógicas não-protoalgebrizáveis, e estabelecemos a relação entre a categoria dos funtores filtros e a categoria de lógicas. Em seguida, empregamos noções da teoria das instituições para definir instituições para as lógicas proposicionais abstratas, para uma lógica algebrizável e para uma lógica Lindenbaum alge- brizável. Sobre a instituição das lógicas algebrizáveis (lógicas Lindenbaum algebrizáveis), estabelecemos uma versão abstrata do Teorema de Glivenko e que é exatamente o tradi- cional teorema de Glivenko quando aplicado entre a lógica clássica e intuicionista. Por fim, influenciado pela teoria de representação para anéis, apresentamos os primeiros passos da teoria de representação de lógicas. Introduzimos as definições de diagramas modelos à esquerda para uma lógica, Morita equivalência e Morita equivalência estável para lógicas. Mostramos que quaisquer representações para lógica clássica são estavelmente Morita equiv- alentes, entretanto a lógica clássica e intuicionista não são estavelmente Morita equivalentes. / In this work we provide a framework in order to build a representation theory of proposi- tional logics. We begin identifying a precise relation between the category of (Blok-Pigozzi) algebraizable logic and the category of their classes of associated algebras. Then, we have a functorial codification for the equipollence and dense morphisms between logics. Attempt- ing generalize the results found before about codification of morphisms among algebraizable logics, we introduce the notion of filter functor and its associated logic. We classify some special kinds of logics and a study of a meta-logical Craig interpolation property via matri- ces amalgamation for non-protoalgebraizable logics, and we establish a relation between the category of filter functors and the category of logics. In the sequel, we employ notions of institution theory to define the institutions for the abstract propositional logics, for an al- gebraizable logic and Lindenbaum algebraizable logic. On the institutions for algebraizable logics (Lindenbaum algebraizable logics), we introduce the abstract Glivenkos theorem and this notion is exactly the traditional Glivenkos theorem when applied between the classical logic and intuitionistic logic. At last, influenced by the representation theory of rings, we present the first steps on the representation theory of logics. We introduce the definition of left diagram model for a logic, Morita equivalence of logics and stably-Morita equivalence for logics. We have showed that any presentation for classical logic are stably-Morita equivalent, but the classical logic and intuitionistic logic are not stably-Morita equivalent.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2018-03-02T10:54:42Z No. of bitstreams: 1 texto completo.pdf: 2230046 bytes, checksum: b1c74199c2cefb4ab8afc7038784297e (MD5) / Made available in DSpace on 2018-03-02T10:54:42Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2230046 bytes, checksum: b1c74199c2cefb4ab8afc7038784297e (MD5) Previous issue date: 2017-07-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo deste trabalho ́e mostrar aos alunos e professores do Ensino Médio como as funções não algébricas são calculadas por computadores ou calculadoras. Empregaremos as aproximações polinomiais de Taylor para avaliar funções como seno, cosseno, exponencial e logaritmo, a fim de que os alunos possam assimilá-las com mais facilidade. / Our objective is to show for High School students and teachers how non-algebraic functions are evaluated by computers and calculators. We will employ Taylor’s polynomial approximations to evaluate functions such as sine, cosine, expoenential, and logarithm, so that students can assimilate them more easily.