Orientador: Marcus Vinicius Maltempi / Banca: Gerson Pastre de Oliveira / Banca: Sueli Liberati Javaroni / Banca: Telma Aparecida de Souza Gracias / Resumo: Nesta pesquisa investiguei possibilidades de desenvolvimento e exploração do Raciocínio Proporcional que emergem em atividades com o GeoGebra, integrando aritmética, geometria e álgebra, a partir do olhar profissional de professores de Matemática e pesquisadores em Educação Matemática. Trata-se de uma pesquisa qualitativa, cujos dados foram produzidos durante o curso "Raciocínio Proporcional: atividades com o GeoGebra integrando aritmética, geometria e álgebra", realizado com professores de Matemática que atuam do sexto ao nono ano do Ensino Fundamental. Tais dados foram obtidos a partir da interação com os professores participantes, questionários de avaliação, e registros em vídeo e no caderno de campo. A análise foi realizada à luz das perspectivas teóricas apresentadas sobre Raciocínio Proporcional, Intradisciplinaridade Matemática, Tecnologias Digitais e GeoGebra, e Olhar Profissional e Formação Continuada do Professor de Matemática. Ao longo do curso, buscou-se aprimorar as atividades de desenvolvimento e exploração do Raciocínio Proporcional com o GeoGebra, em uma perspectiva intradisciplinar, por meio do olhar profissional que os professores exerciam sobre elas. Assim, a formação do grupo de professores nas temáticas abordadas ao longo do curso é um resultado deste trabalho, bem como as atividades produzidas, que estão disponíveis nesta tese para qualquer interessado. Concluo que a abordagem Matemática Intradisciplinar com o GeoGebra, para o desenvolvimento e exploração do Raciocínio Proporcional, possibilita uma visão abrangente de diversos conceitos considerados fundamentais na literatura para a formação dos alunos, visando a superação de dificuldades em sua vida escolar no que se refere à disciplina de Matemática / Abstract: In this research I investigated possibilities of development and exploration of Proportional Reasoning that emerges in activities with GeoGebra, integrating arithmetic, geometry and algebra, from mathematics teachers and researchers in Mathematical Education professional look. This is a qualitative research, whose data were produced during the course "Proportional Reasoning: activities with GeoGebra integrating arithmetic, geometry and algebra", carried out with mathematics teachers who work from the sixth to the ninth year of Elementary School. Those data were obtained from the interaction with the participating teachers, evaluation questionnaires, and video and field notebook records. The analysis was carried out in the light of the theoretical perspectives presented on Proportional Reasoning, Mathematical Intradisciplinarity, Digital Technologies and GeoGebra, and Professional Look and Mathematics Teacher Education. Throughout the course, we sought to improve the activities of development and exploration of Proportional Reasoning with GeoGebra, in an intradisciplinary perspective, through the professional look that teachers exercised over them. Thus, the education of the group of teachers in the topics covered throughout the course is a result of this work, as well as the activities produced, which are available in this thesis to anyone. I conclude that the Mathematical Intradisciplinary approach with GeoGebra, for the development and exploration of Proportional Reasoning, allows a comprehensive view of several concepts considered fundamental in the literature for of students' education, aiming at overcoming difficulties in their school life in what concern to Mathematics discipline / Doutor

Orientador: Antonio Aparecido de Andrade / Banca: Edson Donizete de Carvalho / Banca: Clotilzio Moreira dos Santos / Resumo: O objetivo deste trabalho é apresentar resultados sobre modularidade de reticulados. Mais especificamente, apresentamos as propriedades de um reticulado modular num espaço euclidiano arbitrário e a relação entre as theta séries de reticulados modulares pares e formas modulares. Além disso, apresentamos o estudo de modularidade em reticulados ideais fornecendo condições de existência, construções e caracterização de reticulados ideais modulares para graus especiais em corpos ciclotômicos / Abstract: The aim of this work is to show results about modularity of lattices. More specifically, we show the properties of a modular lattice in an arbitrary Euclidean space and the relationship between theta series of even modular lattices and modular forms. Moreover, we show the study of modularity in ideal lattices giving existence conditions, constructions and characterization of modular ideal lattices for special levels over cyclotomic fields / Mestre

A representação e execução de processos de negócio têm gerado importantes desafios na área de Ciência da Computação. Um desses desafios é a escolha do melhor arcabouço formal para a especificação dos controles de fluxo padrões. Algumas linguagens defendem o uso de redes de Petri ou álgebras de processos como base formal. O uso de redes de Petri para especificar workflows clássicos é uma abordagem bastante conhecida. Entretanto, pesquisas recentes vêm difundindo o uso de novas extensões da álgebra de processos como uma alternativa para a especificação formal de workflows. A principal contribuição deste trabalho é a definição da Navigation Plan Definition Language (NPDL). A NPDL foi implementada como uma extensão da linguagem SQL. Ela é uma alternativa para a representação de workflows que utiliza a álgebra de processos como arcabouço formal. A NPDL promove uma separação explícita entre o ambiente de especificação e o ambiente de execução de um workflow. Esta separação propicia o reaproveitamento de passos de negócio e o uso das propriedades da álgebra de processos não só na modelagem, mas também no controle da execução dos processos. Após a especificação de um workflow por meio da NPDL, a execução dos passos que o definem é controlada pela ferramenta NavigationPlanTool. Essa ferramenta é a segunda contribuição deste trabalho de pesquisa. / The representation and execution of business processes have generated some important challenges in Computer Science. An important related concern is the choosing of the best formal foundation to represent control-flow patterns. Some of the workflow languages advocate the Petri nets or process algebra as formal foundation. The use of Petri nets is a famous approach to support classic workflows. On the other hand some researches are introducing modern process algebra extensions as an alternative formal foundation for representing workflows. The first contribution of this research is the definition of the Navigation Plan Definition Language (NPDL). NPDL was implemented as an extension of SQL language. It is an alternative to represent business processes using process algebra as formal foundation. NPDL provides the explicit separation between specification and execution workflow environment. This separation allows reusing of business steps and usage of process algebra properties in the process modeling and execution controlling tasks. After the definition of a workflow using NPDL, the business steps execution is carried out and controlled by a tool called NavigationPlanTool. This tool is the second contribution of this research.

Nesta tese estudamos o conceito de grau de um morfismo irredutível em ${m mod}A$ relacionado ao conceito de teoria de partições pós-projetiva e pré-injetiva de uma álgebra de artin $A$. Introduzimos o conceito de grau de um morfismo irredutível em relação a uma categoria ${\\mathfrak D}$ de ${m ind}A$ e estudamos o caso em que ${\\mathfrak D}$ é um elemento da partição ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. Dentro do contexto de grau de um irredutível em relação a uma subcategoria resolvemos um problema proposto por Chaio, Le meur e Trepode em \\cite. Utilizando as partições pós-projetiva e pré-injetiva obtemos outra demonstração para a caracterização de álgebras de tipo finito obtida em \\cite e obtemos uma caracterização semelhante para subcategorias de módulos $\\Delta$-bons de tipo finito de ${m mod}A$ tal que $A$ é uma álgebra quasi-hereditária. Também utilizamos a teoria de partições para provar que, dada uma álgebra quasi-hereditária $A$ e ${\\cal F}(\\Delta) \\subseteq {m mod}A$, se $({m rad}_{\\Delta}^{\\infty})^2=0$ então ${\\cal F}(\\Delta)$ é de tipo finito. / In this thesis we analyse the concept of the degree of an irreducible morphism associated to the theory of postprojective and preinjective partitions. We introduce the idea of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ and we study the case in which ${\\mathfrak D}$ is an element of the postprojective partition ${\\bf P_0}, \\cdots, {\\bf P_{\\infty}}$. By using the concept of the degree of an irreducible morphism with respect to a subcategory ${\\mathfrak D}$ we present a solution to a problem recently proposed by Chaio, Le Meur and Trepode in \\cite. We also use the theory of postprojective and preprojective partitions to give another proof to the characterization of finite type algebras obtained by Chaio and Liu in \\cite and we apply similar techniques to obtain a characterization of finite type ${\\cal F}(\\Delta)$ subcategories where ${\\cal F}(\\Delta)$ is the subcategory of $\\Delta$-good modules of the category of finitely generated modules over a quasi-hereditary algebra. We also prove that given a quasi-hereditary algebra $A$ and ${\\cal F}(\\Delta) \\subseteq {m mod}A$, if $({m rad}_{\\Delta}^{\\infty})^2=0$ then ${\\cal F}(\\Delta)$ is of finite type.

In the present thesis we introduce a new class of finite dimensional algebras that we call Brauer configuration algebras. Besides studying some of the basic properties of a Brauer configuration algebra, we focus our work on developing the necessary tools to calculate an explicit basis of its center. We also obtain an interesting expression for the value of the dimension of the center that shows that it can be directly read off from the combinatorial data of the Brauer configuration. / Na presente tese apresentamos uma nova classe the álgebras de dimensão finita que vamos chamar de álgebras de configuração de Brauer. Além de estudar algumas das propriedades básicas de uma algebra de configuração de Brauer, vamos concentrar nosso trabalho em de- senvolver as ferramentas necessárias para o cálculo de uma base explícita do centro. Também obtemos uma expressão interessante do valor da dimensão do centro que mostra que esse valor pode-se cacular diretamente dos dados combinatórios da configuração de Brauer.

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2018-03-14T17:24:36Z No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-15T11:07:28Z (GMT) No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-15T11:07:28Z (GMT). No. of bitstreams: 2 Dissertação - Angie Tatiana Suárez Romero - 2018.pdf: 2209912 bytes, checksum: 0ad7489cc1457ed892d896b3aa2f4885 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-05 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Cayley’s theorem allows us to represent a finite group as a permutations group of a finite set of points. In general, an action of a finite group G in a finite set, is described as an application of the group G in the symmetric group Sym(Ω). In this work we will describe some algorithms for permutation groups and implement them in the GAP system. We begin by describing a way of representing groups in computers, we calculate orbits, stabilizers in the basic form and by means of Schreier’s vectors. Later we make algorithms to work with primitive and transitive groups, thus arriving at the concept of BSGS, base and strong generator set, for permutation groups with the algorithm SCHREIERSIMS. In the end we work with group homomorphisms, we find the elements of a group through backtrack searches. / O Teorema de Cayley nos permite representar um grupo finito como grupo de permutações de um conjunto finito de pontos. De forma geral, uma ação de um grupo finito G em um conjunto finito Ω, é descrita como uma aplicação do grupo G no grupo simétrico Sym(Ω). Neste trabalho vamos descrever alguns algoritmos para grupos de permutação e implementa-los no sistema GAP. Começamos descrevendo uma maneira de representar grupos em computadores, calculamos órbitas, estabilizadores na forma básica e por meio de vetores de Schreier. Posteriormente fazemos algoritmos para trabalhar com grupos transitivos e primitivos, chegando assim ao conceito de, base e conjunto gerador forte (BSGS) para grupos de permutação finitos com o algoritmo SCHREIER-SIMS. No final trabalhamos com homomorfismos de grupos e encontramos os elementos de um grupo mediante pesquisas backtrack.

O presente trabalho tem por objetivo investigar as atividades metacognitivas desenvolvidas pelos professores de Matemática do Ensino Fundamental II, quando eles estão envolvidos no ensino-aprendizagem da Álgebra. A partir da análise do que pensam e dizem os professores desse nível de ensino, procurou-se explicitar e discutir os principais aspectos do seu trabalho pedagógico com a Álgebra. Para isso, foram estabelecidos três eixos: os processos vivenciados na formação inicial e continuada, seus conhecimentos relativos à Álgebra e seu ensino e o exercício reflexivo sobre seu trabalho com Álgebra. / The objective of this present work is to investigate the metacognitives activities developed by Mathematics teachers of Foundation Course II when they are involved in teaching -learning Algebra. According to the analyses of the teachers thoughts and what they say about this teaching level , it attempt to clarify and discuss the main points of their pedagogic work with Algebra. Three axis were established for this:The experienced process with initial and continuos graduation ; their knowledgemnt referring to Algebra teaching and reflexive exercise about his work in Algebra.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-22T13:24:09Z No. of bitstreams: 2 Nogueira, Leonardo Bernardes.pdf: 4758026 bytes, checksum: 81be665ec243b277cb285cc686730f04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-23T11:17:17Z (GMT) No. of bitstreams: 2 Nogueira, Leonardo Bernardes.pdf: 4758026 bytes, checksum: 81be665ec243b277cb285cc686730f04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-23T11:17:17Z (GMT). No. of bitstreams: 2 Nogueira, Leonardo Bernardes.pdf: 4758026 bytes, checksum: 81be665ec243b277cb285cc686730f04 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-03-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper begins with a brief history about the development of vector spaces and linear transformations, then presents fundamental concepts for the study of Linear Algebra, with greater focus on linear operators in the R2 space. Through examples it explores a wide range of operators in R2 in order to show other applications of matrices in high school and prepares the ground for the presentation a version of Spectral Theorem for selfadjoint operators in R2, which says that for every operator self-adjoint T : E!E in finite dimensional vector space with inner product, exists an orthonormal basis fu1; : : : ;ung E formed by eigenvectors of T, and culminates with their applications on the study of conic sections, quadratic forms and equations of second degree in x and y; on the study of operators associated to quadratic forms, a version of Spectral Theorem could be called as The Main Axis Theorem albeit this nomenclature is not used in this paper. Thereby summarizing a study made by Lagrange in "Recherche d’arithmétique ", between 1773 and 1775, which he studied the property of numbers that are the sum of two squares. Thus he was led to study the effects of linear transformation with integer coefficients in a quadratic form in two variables. / Este trabalho inicia-se com um breve embasamento histórico sobre o desenvolvimento de espaços vetoriais e transformações lineares. Em seguida, apresenta conceitos fundamentais básicos, que formam uma linguagem mínima necessária para falar sobre Álgebra Linear, com enfoque maior nos operadores lineares do plano R2. Através de exemplos, explora-se um vasto conjunto de transformações no plano a fim de mostrar outras aplicações de matrizes no ensino médio e prepara o terreno para a apresentação do Teorema Espectral para operadores auto-adjuntos de R2. Este Teorema diz que para todo operador auto-adjunto T : E!E, num espaço vetorial de dimensão finita, munido de produto interno, existe uma base ortonormal fu1; : : : ;ung E formada por autovetores de T. O trabalho culmina com aplicações sobre o estudo das secções cônicas, formas quadráticas e equações do segundo grau em x e y, no qual o Teorema Espectral se traduz como Teorema dos Eixos Principais, embora essa nomenclatura não seja usada nesse trabalho (para um estudo mais aprofundado neste tema ver [3], [4], [5], [7]). Retomando assim um estudo feito por Joseph Louis Lagrange em "Recherche d’Arithmétique", entre 1773 e 1775, no qual estudou a propriedade de números que são a soma de dois quadrados. Assim, foi levado a estudar os efeitos das transformações lineares com coeficientes inteiros numa forma quadrática de duas variáveis.

Made available in DSpace on 2015-04-22T22:16:03Z (GMT). No. of bitstreams: 1 ieda.pdf: 330424 bytes, checksum: a628e679a50a8f50be962ac95af15d1f (MD5) Previous issue date: 2009-02-27 / This work will present the Plane Geometric Algebra, according Grassmann postulate, starting the axioms of plane euclidean geometry. / Este trabalho apresenta a Álgebra Geométrica do Plano, de acordo com a proposta de Grassmann, a partir dos axiomas da geometria euclidiana plana.

Apresentamos neste trabalho uma definição de complexidade na categoria derivada de complexos (limitados superiormente) de módulos sobre uma k-álgebra de dimensão finita. Um dos resultados que conseguimos foi uma relação entre a complexidade de objetos indecomponíveis e a noção de dimensão global forte. Mais especificamente, mostramos que a existência de um objeto indecomponível na categoria derivada limitada superiormente com complexidade não nula é condição suficiente para que a respectiva álgebra tenha dimensão global forte infinita. Também investigamos se existe uma relação entre as dimensões global e global forte da classe das álgebras shod (Coelho e Lanzilotta, 2009). Fomos motivados pela caracterização da classe das álgebras quase inclinadas (Happel, Reiten e Smalo, 1996) em termos da sua dimensão global forte, dada por D. Happel e D. Zacharia (2008), e pelo fato das álgebras shod serem uma generalização das álgebras quase inclinadas. Nossa conclusão foi que não existe, em geral, uma caracterização das álgebras shod em termos de sua dimensão global forte. Isto é, mostramos que para cada inteiro d > 2 existe uma álgebra shod estrita cuja dimensão global forte é igual a d. / We introduce in this thesis a definition of complexity in the derived category of bounded above complexes of modules over a finite dimensional k-algebra. One of our result shows a relationship between the complexity of indecomposable objects and the notion of strong global dimension. More specifically, we prove that the existence of an indecomposable object in the category derived bounded above whose complexity is not zero is a sufficient condition for corresponding algebra being of infinite strong global dimension. We also investigate the existence of a relationship between the global dimension and the strong global dimension of shod algebras (Coelho and Lanzilotta, 1999). Our motivation came from characterization of quasitilted algebras (Happel, Reiten and Smalo, 1996) by its strong global dimension, given by D. Happel and D. Zacharia (2008), and from the fact that shod algebras are a generalization of quasitilted algebras. Our conclusion was that there is not in general a characterization of shod algebras in terms of its strong global dimension. This conclusion comes from the fact that we showed that for each integer d > 2 there exists a strictly shod algebra whose strong global dimension is d.