Orientador: Plamen Emilov Kochloukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-10T10:59:05Z (GMT). No. of bitstreams: 1 SantuloJunior_EdneiAparecido_D.pdf: 675335 bytes, checksum: ff19aaa47432de596122e88eeede9a05 (MD5) Previous issue date: 2007 / Resumo: Kemer classificou, a menos de PI-equivalência, todas as álgebras T-primas no caso de caracterísitica zero e, em seu importante Teorema sobre o Produto Tensorial (TPT), demonstrou que o produto tensorial entre duas álgebras T-primas (ainda sobre corpos de característica zero) resulta igualmente numa álgebra T-prima. Neste trabalho é fornecida uma generalização para o último caso do TPT utilizando identidades graduadas. Além disso, é estudada a existência de mergulhos nas álgebras que aparecem no TPT. Mais especificamente, são encontradas condições necessárias e suficientes para a existência de um mergulho graduado de uma álgebra que satisfaz todas as identidades graduadas da álgebra de matrizes cujas entradas pertencem à álgebra de Grassmann em uma álgebra de matrizes cujas entradas se encontram numa álgebra supercomutativa com unidade, quando todas essas álgebras são consideradas sobre corpos infinitos de característica diferente de dois. Por fim, são fornecidas bases de identidades graduadas para os T-ideais graduados da nésima potência tensorial da' álgebra de Grassmann, das álgebras de matrizes cuja ordem é uma potência de dois, e do produto tensorial de quaisquer duas dentre as álgebras previamente citadas. A partir destas deduz-se o TPT no caso em que a ordem das álgebras de matrizes é uma potência de dois / Abstract: Kemer classified, up to PI-equivalence, the T-prime algebras in the case of characteristic zero, and in his celebrated Tenso r Product Theorem (TPT) he showed that the tensor product of two T-prime algebras considered over a field of characteristic zero, is another T-prime algebra. In this work, a generalization for the last case of the TPT is given using graded identities. The existence of embeddings into the algebras cited on the TPT is also studied. More specifically, necessary and sufficient conditions for the existence of a graded embedding of an algebra satisfying all graded polynomial identities for the matrix algebra with entries in the Grassmann algebra, into a matrix algebra with entries in a supercommutative algebra with unity are found when these algebras are taken over fields of characteristic different from two. Graded identities that generate the graded T-ideals of the n-th tensor power of the Grassmann algebra, of the matrix algebras cited in Kemer's TPT (whose order is a power of two) and of the tensor product between any two of those algebras are provided. As a consequence, Kemer's TPT is derived from those results in the special case when the order of the matrices in the matrix algebras under consideration, is a powers of two / Doutorado / Algebra / Doutor em Matemática

Estudamos uma classe de sistemas elípticos - \'elipson POT 2\' \'DELTA\' u + u = g(v) em \'ÔMEGA\' - \'elipson POT 2\' \'DELTA\' v + v f(u) em ÔMEGA \' PARTIAL\'u SOBRE \'PARTIAL n = \'PARTIAL v SOBRE PARTIAL n = O sobre \"PARTIAL\'\' ÔMEGA\' onde \' ÔMEGA ESTA CONTIDO EM R POT. N\' é um domínio limitado, com bordo regular e N \' > ou =\' 3. As não linearidades f e g são funções com crescimento superlinear e subcrítico no infinito. Estudamos resultados sobre a existência de uma sequência de soluções que se concentram, quando o parâmetro \'epsilon\' tende a zero, em um ponto da fronteira que maximiza a sua curvatura. Para isso utilizamos um resultado abstrato sobre existência de pontos críticos para funcionais fortemente indefinidos / We study an singularly perturbed Hamiltonean elliptic system - \'elipson POT 2\' \'DELTA\' u + u = g(v) in \'ÔMEGA\' - \'elipson POT 2\' \'DELTA\' v + v f(u) in ÔMEGA \' PARTIAL\'u ON \'PARTIAL n = \'PARTIAL v ON PARTIAL n\' = O sobre \"PARTIAL\'\' ÔMEGA\' when \'ÔMEGA THIS CONTAINED R POT. N\' is a smooth bounded domain, N \' > or =\' 3 and f and g are nonlinearities having superlinear and subcritical growth at infinity. We study an abstract result about existence of critical points of strongly as \' epsilon\' goes to zero, at a point of the boundary which maximizes the mean curvature of the boundary

Submitted by MARCIA ROVADOSCHI (marciar@unifra.br) on 2018-08-20T17:09:11Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_NadiaRobertaQuainiBresolin.pdf: 2962274 bytes, checksum: 08e27819aea17dfb2d8c955d8761f265 (MD5) / Made available in DSpace on 2018-08-20T17:09:11Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_NadiaRobertaQuainiBresolin.pdf: 2962274 bytes, checksum: 08e27819aea17dfb2d8c955d8761f265 (MD5) Previous issue date: 2016-11-30 / This research aimed to investigate how the GeoGebra software can provide the development of creative, intuitive and visual abilities in the statement of theorems of synthetic geometry. The research was carried out with five students of the first year of high school in a state school of Rio Grande do Sul. This is a qualitative research carried out in the computer lab; data collection was obtained through the records of the constructions carried out by students and analyzed existing protocols in the software itself. The investigative activities, developed in workshop mode, consisted of four specific theorems of plane geometry, chosen at random and feasible to be offered to students of elementary school. The research results showed that the activities provided through the GeoGebra software, the development of creativity, the use of intuitive thinking and visualization as a way of analyzing the operation of ideas in the formulation of conjectures, which contributed to the construction of theorems, providing meaningful learning. Also, it indicates synthetic geometry as a way to perform logical statements of theorems, developing reasoning skills and justifications. In turn, the results showed that the use of GeoGebra software, used in construction, was key to achieving the goals in the research. / Este trabalho de pesquisa teve como objetivo investigar de que forma o software GeoGebra pode proporcionar o desenvolvimento de habilidades criativas, intuitivas e visuais na demonstração de teoremas de Geometria Sintética. A investigação foi realizada com cinco alunas do primeiro ano do Ensino Médio de uma Escola Estadual do Rio Grande do Sul. Trata-se de uma pesquisa de cunho qualitativo realizada em laboratório de informática; a coleta de dados foi obtida pelos registros das construções realizadas pelas estudantes e analisados os protocolos existentes no próprio software. As atividades investigativas, desenvolvidas na modalidade de oficina, consistiram de quatro teoremas específicos de Geometria Plana, escolhidos aleatoriamente e viáveis de serem propostos aos estudantes da escola básica. Os resultados da investigação demonstraram que as atividades propostas oportunizaram, por meio do software GeoGebra, o desenvolvimento da criatividade, o uso do pensamento intuitivo e a visualização como forma de analisar a exploração de ideias na formulação de conjecturas, o que contribuiu para a construção dos teoremas, propiciando uma aprendizagem significativa. Além disso, indica Geometria Sintética como uma forma de realizar demonstrações lógicas de teoremas, desenvolvendo habilidades de argumentação e justificativas. Por sua vez, os resultados mostraram que o uso do software GeoGebra, utilizado nas construções, foi fundamental para atingir os objetivos propostos na pesquisa.

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-08-06T01:03:00Z (GMT). No. of bitstreams: 1 Lopes_RodrigoFrancisco_M.pdf: 640692 bytes, checksum: 75ad1ee35d8a529904fe79cc7c944a7b (MD5) Previous issue date: 2006 / Mestrado / Algebra / Mestre em Matemática

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-08-08T08:10:04Z (GMT). No. of bitstreams: 1 Peixoto_Rafael_M.pdf: 934807 bytes, checksum: 78e7878efe9d701bf24a3bf0701e6dd5 (MD5) Previous issue date: 2007 / Resumo: O objetivo principal desta dissertação é apresentar o resultado central de R. Matsumoto sobre as álgebras munidas de função peso serem anéis de coordenadas a fim de curvas algébricas com exatamente um lugar de grau um no infinito. A partir disto, pode-se concluir que os códigos de avaliação, introduzidos por Ho/holdt, van Lint e Pellikaan, construídos sobre estas álgebras são um caso particular dos códigos geométricos de Goppa, isto e, códigos de Goppa pontuais. Para isto, utilizamos resultados sobre teoria de corpos de funções algébricas, de códigos geométricos de Goppa e de álgebra comutativa. Com a introdução dos conceitos de funções ordem e peso, nos é permitido descrever os códigos de avaliação e assim determinar cotas inferiores para a distancia mínima dos seus códigos duais, que em alguns casos são melhores que as cotas de Goppa / Abstract: The main objective of this text is to present the central result of R. Matsumoto concerning those algebra with a weight function being affine coordinate ring of an affine algebraic curve with exactly one place at infinity. From that statement one can conclude that the evaluation codes, introduced by Ho/holdt, van Lint e Pellikaan, constructed on this algebra are particular cases of geometric Goppa codes, that is, one point AG codes. For this, we use results of the algebraic function fields theory, geometric Goppa codes and commutative algebra. The introduction of the concepts of order and weight functions enable us to describe the evaluation codes and thus to determine lower bounds for the minimum distance of its duals codes, in same cases, are better than the Goppa¿s bounds / Mestrado / Mestre em Matemática

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-03-15T09:40:27Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Adriane S. Reis.pdf: 2903401 bytes, checksum: 5cb1050cca283d0c9adcd3d1fe7a1899 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-03-15T09:40:43Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Adriane S. Reis.pdf: 2903401 bytes, checksum: 5cb1050cca283d0c9adcd3d1fe7a1899 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-03-15T09:40:58Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Adriane S. Reis.pdf: 2903401 bytes, checksum: 5cb1050cca283d0c9adcd3d1fe7a1899 (MD5) / Made available in DSpace on 2017-03-15T09:40:58Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Adriane S. Reis.pdf: 2903401 bytes, checksum: 5cb1050cca283d0c9adcd3d1fe7a1899 (MD5) Previous issue date: 2016-11-18 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / For a long time it was believed that polymers were materials which didn't have any conductive properties associated to them. However, several studies has been made through the years to show the birth of a new class of polymeric materials, known as intrinsically conductive polymers. This class of polymers generally consist of chains having a conjugation structure, with alternating double and single bonds of carbon atoms. This combination allows electronic transport through the polyaniline structure. Since polyaniline represents a many-particle system, we present an introduction to the Schrodinger equation, the Thomas-Fermi theory, an to the Khon-Sham equations, which are important to understand the methods used, in order to calculate the electronic transport properties of doped polyaniline with different chloride contents. To calculate the electronic structure and electronic transport properties, we used the first principles, also known as textit ab-initio method , by the density functional theory technique (DFT). The electronic properties of polyaniline were studied through the bands diagram, density of states per atom and orbital, charge density, transmittance and electrical current for each state of oxidation/reduction of this conjugated polymer. The results obtained show a good qualitatively agreement with the experimental results. It was possible to observe the transition process of polyanilines, affording to obtain the semiconductor and insulating phases, as shown in the bands diagrams and electric current spectra. / Durante muito tempo, acreditou-se que os polímeros eram materiais que não pos-suíam quaisquer propriedades condutoras. Contudo, diversas pesquisas realizadas ao longo dos anos, resultaram no nascimento de uma nova classe de materiais poliméricos, conhe-cidos como polímeros intrinsecamente condutores. Esta classe de polímeros, em geral, são compostas por cadeias que possuem conjugação em sua estrutura, ou seja, possuem ligações simples e duplas alternadas dos átomos de carbono. Essa conjugação leva a polia-nilina a possuir propriedades de transporte eletrônico através da estrutura, que é o motivo do presente estudo. Como a polianilina representa um sistema de muitos corpos, apresentamos uma introdução à equação de Schrôdinger, à teoria de Thomas-Fermi e às equações de Khon-Sham, que são de grande utilidade na compreensão dos métodos que utilizamos nesta dis-sertação, visando calcular as propriedades de transporte eletrônico da polianilina dopada com diferentes teores de cloro. Para o cálculo da estrutura eletrônica e as propriedades de transporte eletrônico , utilizamos o método de primeiros princípios, também conhecido como método ab-initio, via teoria do funcional da densidade (DFT). As propriedades eletrônicas da polianilina foram estudadas por meio do diagrama de bandas, densidade de estados por átomo e por orbital, densidade de carga, transmitân-cia e corrente elétrica para cada estado de oxidação/redução desse polímero conjugado. Os resultados alcançados mostraram a concordância qualitativa com os resultados experimentais. Pôde-se observar o processo de transição das polianilinas, conseguindo-se obter as fases isolantes e semicondutoras, como mostrado nos diagramas de bandas e nos espectros de corrente elétrica.

Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-12-14T15:05:04Z No. of bitstreams: 1 Dissertação - Vinícius Paulo de Freitas.pdf: 1919814 bytes, checksum: fa0691119164b59de3fcebfa53e7db9b (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T15:34:17Z (GMT) No. of bitstreams: 1 Dissertação - Vinícius Paulo de Freitas.pdf: 1919814 bytes, checksum: fa0691119164b59de3fcebfa53e7db9b (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-20T15:35:53Z (GMT) No. of bitstreams: 1 Dissertação - Vinícius Paulo de Freitas.pdf: 1919814 bytes, checksum: fa0691119164b59de3fcebfa53e7db9b (MD5) / Made available in DSpace on 2016-01-20T15:35:54Z (GMT). No. of bitstreams: 1 Dissertação - Vinícius Paulo de Freitas.pdf: 1919814 bytes, checksum: fa0691119164b59de3fcebfa53e7db9b (MD5) Previous issue date: 2013-03-07 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we tried to take a simple approach of some classical theorems of Euclidean Plane Geometry and make them better known, because although they have a great role in solving many geometrical problems, they are somehow forgotten both in primary and in undergraduate education. In order to redeem such theorems, therefore developing the people skills in Geometry, we explored the following Theorems: Stewart, Menelaus, Ceva, Wallace-Simpson line, Ptolemy, Hipparchus, Napoleon, Miquel, Desargues, Pascal, Pappus and Feuerbach. For the proofs of the mentioned theorems, we use some results of Plane Geometry and Inversive Geometry. We believe that both approach the making of this work, with the use of Inversive Geometry, for instance, as the classical theorems which we used only elementary methods of Synthetic Geometry, can serve to improve the teaching and learning of Euclidean Plane Geometry and possibly serve as the motivating element for students and teachers seeking to improve their knowledge in Geometry in its various ramifications. / Neste trabalho procuramos fazer uma abordagem simples de alguns teoremas clássicos da Geometria Euclidiana Plana e torná-los mais conhecidos, pois embora tenham um grande papel na resolução de muitos problemas geométricos, estão de certa forma esquecidos tanto no ensino básico quanto no ensino de graduação. No intuito de resgatar tais teoremas, desenvolvendo assim habilidades em Geometria, exploramos os seguintes teoremas: Stewart, Menelaus, Ceva, Reta de Simpson-Wallace, Ptolomeu, Hiparco, Napoleão, Miquel, Desargues, Pascal, Pappus e Feuerbach. Para as demonstrações destes teoremas, fizemos o uso de alguns resultados da Geometria Plana e da Geometria Inversiva. Acreditamos que tanto o enfoque da realização desse trabalho, com a utilização da Geometria Inversiva, por exemplo, como os teoremas clássicos, que utilizamos simplesmente métodos elementares da Geometria Sintética, pode servir para a melhoria do ensino-aprendizagem de Geometria Euclidiana Plana e possivelmente servir de elemento motivador para alunos e professores que busquem aprimorar seus conhecimentos em Geometria nos seus diversos desdobramentos.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu respeito. à tambÃm apresentada a axiomatizaÃÃo da AritmÃtica feita por Peano, que de certa forma simplificou a teoria de Dedekind. Em seguida, à apresentada a ome{german}{Begriffsschrift} de Frege, a linguagem formal que deu origem à LÃgica moderna, e nela sÃo representadas as definiÃÃes bÃsicas de Frege a respeito da noÃÃo de nÃmero. Posteriormente, à apresentado um resumo de questÃes importantes em fundamentos da MatemÃtica durante as primeiras trÃs dÃcadas do sÃculo XX, iniciando com os paradoxos na Teoria dos Conjuntos e terminando com a doutrina formalista de Hilbert. Por fim, sÃo apresentados, em linhas gerais, os teoremas de incompletude de GÃdel e o conceito de computabilidade de Turing, que apresentaram respostas precisas Ãs duas mais importantes questÃes do programa de Hilbert, a saber, uma prova direta de consistÃncia para a AritmÃtica e o problema da decisÃo, respectivamente. / This work is a study about the origins of Mathematical Logic and the limits of its applicability to the formal development of Mathematics. Firstly, Dedekindâs arithmetical theory is presented, which was the first theory to provide a precise definition for natural numbers and to demonstrate relying on it all facts commonly known about them. Peanoâs axiomatization for Arithmetic is also presented, which in a sense simplified Dedekindâs theory. Then, Fregeâs Begriffsschrift is presented, the formal language from which modern Logic originated, and in it are represented Fregeâs basic definitions concerning the notion of number. Afterwards, a summary of important topics on the foundations of Mathematics from the first three decades of the twentieth century is presented, beginning with the paradoxes in Set Theory and ending with Hilbertâs formalist doctrine. At last, are presented, in general terms, GÃdelâs incompleteness. theorems and Turingâs computability concept, which provided precise answers to the two most important points in Hilbertâs program, to wit, a direct proof of consistency for Arithmetic and the decision problem, respectively. Keywords: 1. Mathematical Logic 2. Foundations of Mathematics 3. GÃdelâs incompleteness theorems

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-01-31T16:04:51Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Maurício R. O. Costa.pdf: 12114225 bytes, checksum: 1668d785715106cc4a276838e45dd38d (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-01-31T16:05:04Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Maurício R. O. Costa.pdf: 12114225 bytes, checksum: 1668d785715106cc4a276838e45dd38d (MD5) / Made available in DSpace on 2018-01-31T16:05:04Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_Maurício R. O. Costa.pdf: 12114225 bytes, checksum: 1668d785715106cc4a276838e45dd38d (MD5) Previous issue date: 2017-09-28 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This research intends to demonstrate how efficient and how easy the use of Pappus'centroid the-orems can be at solving problems of surface areas and solids of revolution. The use of centroid theorems is one of the many contributions Pappus of Alexandria made to Mathematics through his work, The Synagogue. Currently, Pappus'theorems are not studied in Secondary Education and are not commonly studied in university; on the other hand, surface areas and solids of re-volutions are studied both in Secondary Education and university level whilst Pappus'theorems can be used to simplify the calculations of surface areas and solids of revolution. The research also addresses the centre of gravity of simple plane figures, which is of extreme importance in the application of the theorems. Finally, theorems and propositions of Calculus were used for the demonstration of the two theorems of Pappus. / Este trabalho tem como objetivo mostrar que os teoremas de Pappus para centroides é muito eficiente e simples na resolução, de algumas questões, sobre superfícies e sólidos de revolução. Essa é uma das muitas contribuições à matemática feita por Pappus de Alexandria por intermédio de sua obra A Coleção Matemática (Mathematicon Synagogon). Os teoremas de Pappus não são estudados no ensino ensino médio e no nível superior poucas vezes. As superfícies e sólidos de revolução são estudados tanto no ensino médio quanto no nível superior, e estes, teoremas simplificam os cálculos das áreas e volumes dos sólidos de revolução. Aborda-se também, neste trabalho, o centro de gravidade de figuras planas, que é de grande importância para aplicação dos teoremas. Utilizou-se de teoremas e proposições, do cálculo, para a demostração dos dois teoremas de Pappus.

A Conjectura de Bateman-Horn dá condições sobre uma família de polinômios com coeficientes inteiros $f_1(X),\\dots,f_k(X)$ para que hajam infinitos $n \\in \\N$ tais que $f_1(n),\\dots,f_k(n)$ sejam todos primos, e determina qual deve ser o comportamento assintótico de tais inteiros $n$. Neste texto, vamos estudar essa conjectura, assim como um método desenvolvido por Solomon W. Golomb que pode ser usado para demonstrá-la. Veremos que esse cálculo prova a Conjectura de Bateman-Horn a menos da troca de um limite com uma série infinita, que é o único passo ainda não provado desse método. Também estudaremos uma tentativa para solucionar esse problema por meio do uso de teoremas abelianos de regularidade, e provaremos que teoremas tão gerais não são suficientes para provar a troca do limite com a série. / Given a family of polynomials with integer coefficients $f_1(X),\\dots,f_k(X)$, one would like to answer the following question: does there exist infinitely many $n \\in \\N$ such that $f_1(n),\\dots,f_k(n)$ are all primes? Schinzel conjectured that if these polynomials satisfy certain simple conditions, then the answer to this question is affirmative. Assuming these conditions, Bateman and Horn proposed a formula for the asymptotic density of the integers $n \\in \\N$ such that $f_1(n),\\dots,f_k(n)$ are all primes. In this text, we shall study the Bateman-Horn Conjecture, as well as a method proposed by Solomon W. Golomb that may be used to prove this conjecture. We shall see that Golomb\'s $\\Lambda$-method would prove the Bateman-Horn Conjecture, except for a single unproved step, namely, the commutation of a limit with an infinite series.