Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica devidamente definida. Os trabalhos desenvolvidos até agora foram baseados em noções operacionais, e apresentam diferentes interpretações do Prosoft Algébrico. Esta dissertação apresenta uma especificação de semântica denotacional para o Prosoft Algébrico, compreendendo, entre outras características, sua primitiva de comunicação entre tipos de dados, chamada ICS, e sua notação gráfica para representação de instanciação de tipos abstratos de dados. Essa dissertação apresenta também um estudo sobre prototipação semântica usando a linguagem de programação Haskell. O conceito de Literate Programming e a proximidade entre Cálculo Lambda e Haskell foram cruciais no rápido desenvolvimento de uma implementação protótipo do Prosoft Algébrico, baseada na sua semântica especificada. As principais contribuições dessa dissertação incluem: uma interpretação precisa e sem ambiguidades do Prosoft Algébrico, através da especificação da sua semântica; a definição de semântica para a ICS, um conceito único (até o limite do nosso conhecimento) que fornece um mecanismo de passagem de mensagens entre tipos de dados algébricos; uma implementação protótipo do Prosoft Algébrico, que pode realmente ser utilizada para experimentar e testar a definição da linguagem e a especificação da semântica do Prosoft Algébrico; resultados sobre prototipação semântica de especificações tanto de semântica denotacional quanto de semântica operacional usando a linguagem de programação Haskell para desenvolvimento rápido de protótipos de linguagens baseados na sua semântica. Como grande parte do desenvolvimento do Ambiente Prosoft é realizado através de projetos de cooperação internacional e essa dissertação irá influenciar fortemente o seu desenvolvimento futuro, o texto foi escrito em inglês para facilitar a troca de informação entre o grupo Prosoft e seus parceiros estrangeiros. / Prosoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.

Made available in DSpace on 2015-03-26T13:45:34Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1893968 bytes, checksum: ce37a1814e775a74aa222b17583fdc19 (MD5) Previous issue date: 2012-02-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation aims to study two topics related to modern topology and geometry. The first of these themes is dedicated to the study of packaging and record covering spheres in the hyperbolic plane, in which we treat the study results due to Bavard (1996) [3]. The second issue that was addressed refers to the study of edges pairing for irregular polygons. In this part we try to expose an example, created during our studies, for a pairing that generates a tiling of the hyperbolic plane by an irregular polygon. Also use the techniques developed by Mercio Botelho Faria, Catarina Mendes de Jesus and Panteleón D. R. Sanchez in [14] to obtain matching of edges of regular polygons through surgeries in surfaces associated with trivalent graphs. / Esta dissertação tem como objetivo o estudo de dois temas ligados a topologia e a geometria moderna. O primeiro destes temas é dedicado ao estudo de empacotamento e coberturas de discos do plano hiperbólico, no qual tratamos de estudar resultados devidos a Bavard (1996) [3]. Já o segundo tema que foi abordado se refere ao estudo de emparelhamento de arestas para polígonos irregulares. Nesta parte tratamos de expor um exemplo, criado durante nossos estudos, para um emparelhamento que gera um ladrilhamento do plano hiperbólico por um polígono irregular. Além disso utilizamos as técnicas desenvolvidas por Mercio Botelho Faria, Catarina Mendes de Jesus e Panteleón D. R. Sanchez em [14] para obtermos emparelhamentos de arestas de polígonos regulares por meio de cirurgias em superfícies associadas a grafos trivalentes.

Made available in DSpace on 2014-06-11T19:30:22Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-03-31Bitstream added on 2014-06-13T19:19:04Z : No. of bitstreams: 1 cellini_cp_me_sjrp.pdf: 781641 bytes, checksum: 70ed1b385d132f8255370c0014be09b4 (MD5) / Neste trabalho são abordados alguns aspectos da teoria de dualidade. Ele pode ser dividido em três partes principais. Na primeira demonstramos o teorema de Dualidade de Poincaré para variedades (sem bordo) orientáveis. Para tanto, fez-se necessário o uso do limite direto e cohomologia com suporte compacto. Na segunda definimos grupos de dualidade, em particular, grupo de dualidade de Poincaré, apresentamos alguns resultados e observações sobre a relação existente entre tais grupos e os grupos fundamentais de variedades asféricas fechadas, que é ainda um problema em aberto. Finalmente, alguns resultados envolvendo invariantes cohomológicos ends e grupos de dualidade são apresentados. / In this work we consider some aspects of duality theory. It can be divided in three principal parts. In the first we prove the Poincaré Duality theorem for orientable manifolds (without boundary). For that, it is necessary the use of the direct limit and cohomology with compact supports. In the second part we de¯ne duality groups, in particular, Poincaré duality groups, we introduce some results and observations about the relationship between such groups and fundamental groups of aspherical closed manifolds, that still is an open problem. Finally, some results envolving the cohomological invariant ends and duality groups are presented.

Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e Orientação a Objetos. Um dos componentes do Ambiente Prosoft é sua linguagem de especificação algébrica: o Prosoft Algébrico. Apesar de ser base e tema de diversos trabalhos no grupo de pesquisa Prosoft, o Prosoft Algébrico não tem sua semântica devidamente definida. Os trabalhos desenvolvidos até agora foram baseados em noções operacionais, e apresentam diferentes interpretações do Prosoft Algébrico. Esta dissertação apresenta uma especificação de semântica denotacional para o Prosoft Algébrico, compreendendo, entre outras características, sua primitiva de comunicação entre tipos de dados, chamada ICS, e sua notação gráfica para representação de instanciação de tipos abstratos de dados. Essa dissertação apresenta também um estudo sobre prototipação semântica usando a linguagem de programação Haskell. O conceito de Literate Programming e a proximidade entre Cálculo Lambda e Haskell foram cruciais no rápido desenvolvimento de uma implementação protótipo do Prosoft Algébrico, baseada na sua semântica especificada. As principais contribuições dessa dissertação incluem: uma interpretação precisa e sem ambiguidades do Prosoft Algébrico, através da especificação da sua semântica; a definição de semântica para a ICS, um conceito único (até o limite do nosso conhecimento) que fornece um mecanismo de passagem de mensagens entre tipos de dados algébricos; uma implementação protótipo do Prosoft Algébrico, que pode realmente ser utilizada para experimentar e testar a definição da linguagem e a especificação da semântica do Prosoft Algébrico; resultados sobre prototipação semântica de especificações tanto de semântica denotacional quanto de semântica operacional usando a linguagem de programação Haskell para desenvolvimento rápido de protótipos de linguagens baseados na sua semântica. Como grande parte do desenvolvimento do Ambiente Prosoft é realizado através de projetos de cooperação internacional e essa dissertação irá influenciar fortemente o seu desenvolvimento futuro, o texto foi escrito em inglês para facilitar a troca de informação entre o grupo Prosoft e seus parceiros estrangeiros. / Prosoft is a research project at Instituto de Informática da UFRGS, developed by the research group with the same name and coordinated by Professor Daltro José Nunes. The project’s goal is to develop a full software development environment, the Prosoft Environment, based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation. One of the components of the Prosoft Environment is its algebraic specification language: Algebraic Prosoft. Although being the basis and theme of several works in the Prosoft research group, Algebraic Prosoft doesn’t have its semantics properly defined. Works done up to now were based on operational notions and presented different interpretations of Algebraic Prosoft. This thesis presents a denotational semantics specification for Algebraic Prosoft, comprising, among other features, its “inter-data type” communication primitive, called ICS, and its graphical notation for representing instantiations of abstract data types. This thesis also presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid development of a prototype implementation of Algebraic Prosoft, based on its specified semantics. This thesis’ main contributions include: a precise and unambiguous interpretation of Algebraic Prosoft, through a semantics specification; the definition of semantics to the ICS, a unique (to the best of our knowledge) concept that provides a messagepassing mechanism between algebraic data types; a prototype implementation of Algebraic Prosoft, which can actually be used to experiment and test the Algebraic Prosoft language definition and semantics specification; results regarding semantics prototyping of both denotational and operational semantics specifications using the Haskell programming language for rapid development of semantics-based prototypes of languages. Since a large portion of Prosoft Environment’s development is done through international cooperation projects and this thesis will strongly influence its future development, the text was written in English in order to facilitate the information exchange between the Prosoft research group and its foreign partners.

Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2015-10-22T19:38:27Z No. of bitstreams: 2 Dissertação - Aderval Alves dos Santos - 2015.pdf: 1809483 bytes, checksum: 2d02135104ab475d9fa74b9e024f978b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-10-23T11:06:33Z (GMT) No. of bitstreams: 2 Dissertação - Aderval Alves dos Santos - 2015.pdf: 1809483 bytes, checksum: 2d02135104ab475d9fa74b9e024f978b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-10-23T11:06:33Z (GMT). No. of bitstreams: 2 Dissertação - Aderval Alves dos Santos - 2015.pdf: 1809483 bytes, checksum: 2d02135104ab475d9fa74b9e024f978b (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-04-16 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This work, based on the articles M. Brozos Vazquez, E. Garcia-Rio and R. Vazquez- Lorenzo whose goal is to build examples of manifolds locally conformally flat full of negative curvature through warped product and multiply warped product structure. The warped product was first introduced by Bishop and O’Neill, who modified the structure of the Riemannian product in obtaining new manifolds of negative curvature. / Este trabalho, baseado no artigo de M. Brozos-Vázquez, E. Garcia-Río e R. Vázquez- Lorenzo, tem como objetivo construir exemplos de variedades localmente conformemente flat completas de curvatura negativa por meio de produto torcido e estrutura de produto torcido mútiplo. Os produtos torcidos foram introduzidos primeiramente por Bishop e O’Neill, que modificaram a estrutura do produto Riemanniano na obtenção de novas variedades de curvatura negativa.

[pt] Consideramos duas formas de complexidade em geometria euclidiana plana.Na primeira, problemas são descritos algebricamente, e a complexidade é cotada essencialmente pelo grau de um polinômio. Como consequência, mostramos que vários resultados gerais e familiares em geometria podem ser demonstrados a partir da simples verificação de dois ou três casos particulares. A segunda forma faz uso da descrição sintática dos teoremas, que permite uma quantificação da complexidade em termos lógicos (número de quantificadores e átomos de uma fórmula). Inspirados por esta última abordagem, são descritos alguns procedimentos de demonstração automática. Alguns grupos habituais de operções em geometria são apresentados com a intenção de simplificar as duas abordagens.Através do estudo de técnicas mais avançadas em matemática trazemos novos pontos de vista a assuntos estudados no ensino médio. / [en] Two forms of complexity in Euclidean plane geometry are considered. In the first one, problems are described algebraically, and the complexity level is measured essentially by the degree of a polynomial. As a consequence, many familiar and general results in geometry can be proved by inspecting two or three special cases. The second form uses the syntactic description of a theorem allowing for a quanti.cation of the complexity in logic terms (number of quantifiers and atoms in the formula). Inspired by this approach, some procedures in mechanized proofs are described. We also present some traditional groups of operations in geometry which simplify the two approaches. The study of more advanced techniques in mathematics sheds new light on standard high school topics.

Made available in DSpace on 2016-04-27T16:58:23Z (GMT). No. of bitstreams: 1 Luciana Simoneti Ferreira Cardia.pdf: 3597373 bytes, checksum: f8e76960406f82f881cdef8076eea698 (MD5) Previous issue date: 2007-05-17 / The objective of this research is to study phenomena that influence the teaching and learning of the concept of algebraic expressions in Elementary Education (students aged 7-15). It presents a teaching proposal for the conception of Algebraic Expressions; uses the Geometry as a tool of construction and provide a reflection about the learning of this concept through a teaching didactic sequence involving the concept of area as principal tool to construction of mathematic knowledge, as well as, the processes of decomposition and composition of planes figures, equicomposition of figures and area equivalents. The following hypothesis guided the development of the different activities proposed: choose of problem situations involving determinate on of the areas of geometrical figures, in particular the area of rectangle, allowing comparisons these of figures using, area as magnitude. to study area as a magnitude and leading to the construction of generalized algebraic expressions. a proposal for teaching and learning the concept of algebraic expressions, making use of the geometric concepts, like area concept, decomposing and composing processes of plan figures, this allows the student favorable conditions to learning this concept. This research is based mainly on two theories: the Tool-Object Dialectic and the Change of Pictures of Régine Douady (1987) and Registries of Semiotic Representation of Raymond Duval (1993). The adopted methodology follows the principles of the Didactical Engineering. The research involved teachers and students of the 7th grade of Elementary Education / O objetivo dessa pesquisa é o estudo dos fenômenos que interferem no sistema de ensino-aprendizagem do conceito de expressões algébricas no Ensino Fundamental. Além disso, apresenta uma proposta de ensino do conceito de expressão algébrica, utilizando a Geometria como instrumento de construção e proporciona uma reflexão sobre a aprendizagem desse conteúdo por meio de uma seqüência didática envolvendo o conceito de área como instrumento principal de construção do conhecimento matemático, assim como os processos de decomposição e composição de figuras planas, eqüicomposição de figuras, equivalência de áreas. As seguintes hipóteses nortearam o desenvolvimento das diferentes atividades propostas: a escolha de situações-problema envolvendo determinação de áreas de figuras geométricas, em particular área de retângulos, possibilitando as comparações dessas figuras em termos de área como grandeza. estudar a área como grandeza, levando à construção das expressões algébricas generalizadas. uma proposta de ensino-aprendizagem do conceito de expressão algébrica, utilizando-se dos conceitos geométricos, como o conceito de área, os processos de decomposição e composição de figuras planas, possibilitando ao aluno condições favoráveis à aprendizagem deste conceito. Esta pesquisa está fundamentada principalmente em duas teorias: a Dialética Ferramenta-Objeto e a Mudança de Quadros de Régine Douady (1986) e na teoria de Registros de representação Semiótica de Raymond Duval (1993,1994,1995). A metodologia adotada seguiu os princípios da Engenharia Didática. A pesquisa envolveu professores do Ensino Fundamental e Médio e foi aplicada numa turma de alunos da 7ª série do Ensino Fundamental

Este trabalho descreve algoritmos algébricos para computação em corpos de Galois GF(q), com q = pn onde pé a característica do corpo, que pode ser arbitrariamente grande. Para fundamentar esse estudo é condensada e apresentada Lo ela. a fena.menta algébrica necessári a. Os corpos ·finitos são caracterizados, é mostrado como construí-los e sua aritmética é analisada. Algoritmos determinísticos e probabilísticos são desenvolvidos para. o cálculo de raízes polinomiais e a. fatoração de polinômios sobre esses corpos. Este trabalho é materializado pela implementação de dois algoritmos, o de Cantor-Zassenhaus e o de Rabin, ambos implementados no Sistema de Computação Algébrica MAPLE V Release 3. / This work elescribes algebraic algorithms for computing in Galois Fielels GF(q), with q = pn, where p is the characteristic of the fielel anel may be arbitrar.ialy large. By justifying this work we give a colection of results about topics of Algebra. Dctcnninistics anel probabilistics a.lgorithms are clevelopeel to compute polynomials roots anel for polynornia.l factorization in OF(q).This work is materializccl by the implementation oi' t.wo algorithms, Cantor-Zasscnhaus's algorithm anel Rabin's algoril. hm, both implemented in MAPLE V Rclease 3 Computer Algebra System.

Made available in DSpace on 2016-06-02T20:28:22Z (GMT). No. of bitstreams: 1 DissFPM.pdf: 979275 bytes, checksum: 1b13e7e3772ecbeac26224804b180369 (MD5) Previous issue date: 2007-06-27 / Universidade Federal de Sao Carlos / In this work, we study the Artin braid group, B(n), and the confguration spaces (ordered and unordered) of a path connected manifold of dimension ¸ 2. The fundamental group of confguration space (unordered) of IR2 is identifed with the Artin braid group. This identifcation is used to conclude that the confguration space of IR2 is an Eilenberg-MacLane space of type K(B(n), 1). Therefore, it can be proved that the braid group B(n) contains no nontrivial element of the finite order. We use this fact to prove a generalization of a 2−dimensional version of the Borsuk-Ulam theorem presented by Connett [3]. / Neste trabalho, apresentamos o grupo de tranças de Artin, B(n), e os espaços de configurações (ordenado e não ordenado) de uma variedade conexa por caminhos de dimensão ¸ 2, a fim de identificar o grupo fundamental do espaço de configurações (não ordenado) de IR2 com o grupo de tranças de Artin. Usamos este fato para concluir que o espaço de configurações de IR2 é um espaço de Eilenberg-MacLane do tipo K(B(n), 1). Deste modo pode ser provado que o grupo de tranças B(n) não possui elementos não triviais de ordem finita, e usamos este fato na demonstração de uma generalização da versão bi-dimensional do teorema de Borsuk-Ulam apresentado por Connett [3].

Made available in DSpace on 2016-06-02T20:28:24Z (GMT). No. of bitstreams: 1 3158.pdf: 931917 bytes, checksum: b087d03944cb71331eae19f40f0fe194 (MD5) Previous issue date: 2010-05-18 / Universidade Federal de Sao Carlos / This work is an approach to the famous "Product with a Line Problem". It investigates the class of topological spaces whose cartesian product with R is a topological manifold. Such spaces are called "Codimension One Manifold Factors". Based mainly on [5, 7, 14, 15, 24], we introduce the concept of generalized manifolds, which are separable ANR spaces with same local homological behavior that the topological manifolds, we define DAP, DADP, DDP, DHP, DCP general position properties and, through these concepts and a machinery topological-algebraic, we have got answers to the motivator problem. Even about the strategic importance of the DHP general position property, we studied a criterion to detect it into the generalized manifolds category, namely, the P2MP. / Este trabalho é uma abordagem do famoso "Problema do Produto com uma Reta", o qual investiga a classe dos espaços topológicos cujo produto cartesiano com R é uma variedade topológica. Tais espaços são chamados de "Fatores de Variedade de Codimensão Um". Com base principalmente em [5, 7, 14, 15, 24], introduzimos o conceito de variedades generalizadas, as quais são espaços separáveis ANR que têm mesmo comportamento homológico local que as variedades topológicas, definimos as propriedades de posição geral DAP, DADP, DDP, DHP e DCP e, através desses conceitos e um ferramentário topológico-algébrico, obtivemos respostas ao problema motivador. Dada ainda a importância estratégica da propriedade de posição geral DHP, estudamos um critério para detectá-la na categoria das variedades generalizadas, qual seja, a P2MP.