Orientador : Hu Sheng / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Camputação Científica / Made available in DSpace on 2018-07-15T05:10:54Z (GMT). No. of bitstreams: 1 Nascimento_MauriCunhado_M.pdf: 1224376 bytes, checksum: ae31b20f0634a1f0ab5dbdb8701b076e (MD5) Previous issue date: 1980 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2015-11-12T13:17:51Z No. of bitstreams: 1 texto completo.pdf: 1082850 bytes, checksum: e652565e5953a1e93915f35cfdcaf7f4 (MD5) / Made available in DSpace on 2015-11-12T13:17:51Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1082850 bytes, checksum: e652565e5953a1e93915f35cfdcaf7f4 (MD5) Previous issue date: 2015-01-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho apresentamos as categorias cluster, que foram introduzidas por Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten e Gordana Todorov, com o objetivo de categoriíicar as algebras cluster criadas em 2002 por Sergey Fomin e Andrei Zelevinsky. Os autores acima, em [4], mostraram que existe uma estreita relação entre algebras cluster e categorias cluster para quivers cujo grafo subjacente é um diagrama de Dynkin. Para isto desenvolveram uma teoria tilting na estrutura triangulada das categorias cluster. Este resultado foi generalizado mais tarde por Philippe Caldero e Bernhard Keller em [8] para quivers do tipo acíclico. O objetivo principal desta dissertação e estudar como a teoria tilting sobre cluster permite estabelecer a relação entre estas estruturas e apresentar exemplos. / In this work we present the cluster categories, which were introduced by Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten and Gordana Todorov, with objective of categoriíication cluster algebras created in 2002 by Sergey Fornin and Andrei Zelevinsky. The authors above, on [4], showed that there is a close relationship between cluster algebras and cluster categories for quivers whose un- derlying graph is a Dynkin diagrarn. For this they develOped a tilting theory in the triangulated structure of the cluster categories. This result was later generalized by Philippe Caldero and Bernhard Keller on [8] for quivers of the acyclic type. The main objective of this dissertation is to study how the tilting theory about cluster enables establish the relationship between these structures and present examples.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T13:45:04Z (GMT). No. of bitstreams: 1 Carolino_PietroKreitlon_M.pdf: 612208 bytes, checksum: d9a9dde30e7c7ea6f5a420ad1dfde09c (MD5) Previous issue date: 2009 / Resumo: A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles, Leibniz, Newton e dos analistas a partir do século XVII, como Taylor, MacLaurin e Lagrange. O que foi chamado em [12] de polinomizar é precisamente a tentativa de reavaliar os métodos oriundos de Boole e Leibniz, que permitem representar a semântica e a sintaxe de diversos sistemas lógicos pela manipulação algébrica. Tirando partido de resultados combinatórios elementares, é possível tratar todas as lógicas multivalentes verofuncionais com base em manipulação polinomial; não somente estas, mas também lógicas não-verofuncionais, e ainda fragmentos da lógica de primeira ordem, que formalizam a teoria clássica de silogismos de Aristóteles. Este trabalho pretende esclarecer tais questões de forma mais abrangente, e investigar a possibilidade de estender o tratamento da polinomização a outras lógicas. São obtidos alguns resultados positivos, como novas demonstrações de teoremas conhecidos, mas também negativos, que mostram as limitações do método. Investiga-se também a relação da polinomização de lógicas com outros tratamentos conhecidos, como paraconsistentização, temporalização, algebrização etc. / Abstract: The work of George Boole, cornerstone of contemporary logic, does not draw a clear distinction between the methods of mathematical analysis, and those of logic proper. If, on the one hand, this lack of well-de ned borders has earned it harsh criticism, on the other hand it makes Boole's work a true synthesis of formal thought, inherited from Aristotle, Leibniz, Newton and the 17th-century analysts, such as Taylor, MacLaurin and Lagrange. What was called polynomizing in [12] is precisely the attempty to re-evaluate the methods originiating in Boole and Leibniz, which allow one to represent the semantics and syntax of varioius logical systems through algebraic manipulation. Using elementary combinatorial results, it is possible to treat all multivalent truth-functional logics by polynomial manipulation; not only these, but some non-truth-functional logics, and also fragments of first-order logic, which formalize Aristotle's classical theory of syllogisms. The present work intends to throw light upon such questions in a broader way, and to investigate the possibility of extending the method of polynomization to other logics. Some positive results are obtained, such as new proofs of known theorems, but also some negative ones, which show the inherent limitations of the method. We further investigate the relationship between polynomization of logics and other known treatments, such as paraconsistentization, temporalization, algebrization etc. / Mestrado / Filosofia / Mestre em Filosofia

Orientador : Roberto Celso Fabricio Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-15T09:24:51Z (GMT). No. of bitstreams: 1 Santos_ClotilzioMoreirados_M.pdf: 1069648 bytes, checksum: 0cde537f16a456a2de4880bec450de47 (MD5) Previous issue date: 1982 / Resumo: Não encontrado / Abstract: Not informed / Mestrado / Mestre em Matemática

Tese (livre-docencia) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T16:06:58Z (GMT). No. of bitstreams: 1 Prada_FranciscoThaine_LD.pdf: 538302 bytes, checksum: c4e464646221e1826ecd3970ffcd458a (MD5) Previous issue date: 1987 / Resumo: Se obtém uma relação entre os grupos das classes de ideais e os grupos das unidades dos corpos numéricos abelianos reais por meio do estudo da fatoração em ideais primos de certos inteiros ciclotômicos semelhantes as somas de Gauss. Se obtém anuladores de classes de ideais que satisfazem uma condição dada. Esta condição é satisfeita por todas as classes cuja ordem é uma potencia de p se o corpo está contido num corpo pn-ciclotômico (p primo). Para uma classe de corpos, a relação mencionada induz uma outra parte o grupo das classes de ideais e o grupo quociente das unidades por as unidades circulatórias. Os subcorpos reais dos corpos p-ciclotômicos são dessa classe. Se dá uma aplicação ao último teorema de Fermat / Abstract: Not informed / Tese (livre-docencia) - Univer / Livre-Docente em Matematica

Orientador: John Edmonds David / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-16T21:33:43Z (GMT). No. of bitstreams: 1 Peresi_LuizAntonio_M.pdf: 2060205 bytes, checksum: 3c20d3f898ba5cd210c23d510cffe3cc (MD5) Previous issue date: 1977 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Odelar Leite Linhares / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-07-17T01:45:26Z (GMT). No. of bitstreams: 1 JoseFilho_SebastiaoAntonio_M.pdf: 5144215 bytes, checksum: 04e351efc6ee4573a8358a8acf4e7c5e (MD5) Previous issue date: 1972 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Hu Sheng / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T05:41:56Z (GMT). No. of bitstreams: 1 QuadrosNeto_MatiasJose_M.pdf: 1186131 bytes, checksum: d185a04e46065e464f124e38e4f0f3ed (MD5) Previous issue date: 1979 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Tenkasi M. Visiwanathan / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-19T02:39:18Z (GMT). No. of bitstreams: 1 Silva_LuizVasconcelosda_M.pdf: 2529006 bytes, checksum: 501a0cbe49bab42c4e75cd5f94efa3f9 (MD5) Previous issue date: 1983 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Sergio Antonio Tozoni / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T01:08:59Z (GMT). No. of bitstreams: 1 Alves_AlinedePaula_M.pdf: 1624216 bytes, checksum: ca8efd38c9857bc4e203a36d7bf9ebcf (MD5) Previous issue date: 2015 / Resumo: Para viabilizar um contexto de desmistificação do Teorema Fundamental da Álgebra elaboramos esta dissertação por meio de pesquisas bibliográficas, que apresentam o referido teorema inserido no percurso histórico do desenvolvimento matemático, em especial, da resolução das equações polinomiais. Remetemo-nos, então, a uma investigação e comprovação minuciosa das definições, teoremas, lemas, proposições e propriedades sobre os números complexos. Neste quadro, caminhamos para uma abordagem sobre continuidade e limites infinitos, destacando formalmente os itens essenciais para a demonstração do Teorema Fundamental da Álgebra utilizando basicamente elementos da matemática elementar. Por fim, apresentamos resultados provenientes do teorema supracitado e uma breve perspectiva de como este tema é desenvolvido no ensino médio. Enfim, visamos colaborar para que o enunciado de teorema e sua demonstração sejam mais presentes e assumam seu papel de importância no ensino, sem afligir aqueles que dele necessitem de sua compreensão ou que estejam envolvidos em sua transmissão / Abstract: To enable a context of demystification of the Fundamental Theorem of Algebra, we elaborated this thesis through bibliographic researches, which introduce the cited theorem in the historical parth of the mathematical development, specially in the resolution of polynomial equations. We worked in a thorough investigation of definitions, theorems, lemmas, propositions and properties of the complex numbers. In this context, we conducted a study about continuity and infinite limits, formally presenting the most important steps in the demonstration of the Fundamental Theorem of Algebra, using only elements of elementary mathematics. Finally, we present results about the above theorem and a brief overview of how this theme is developed in high school. In this work, our objective was to contribute to make the theorem and its proof more present and take their role of importance in teaching, without afflicting those who need their understanding or who are involved in its transmission / Mestrado / Matemática em Rede Nacional / Mestra em Matemática em Rede Nacional