CAPES / Nesse trabalho identificamos os objetivos e as orientações nos Parâmetros Curriculares Nacionais, do terceiro e quarto ciclos, sobre o estudo da Geometria. Pesquisamos sobre a Biografia de Tales de Mileto, onde fazemos um relato, da região e história, da época em que ele viveu, contamos alguns de seus feitos, e enumeramos os teoremas cujas demonstrações lhe são atribuídas. Analisamos seis livros didáticos do 9º ano do ensino fundamental, que integram o Plano Nacional do Livro Didático 2014, observamos a forma como a Geometria é trabalhada, e quais as demonstrações e atividades apresentadas em relação ao Teorema de Tales. Usamos e recomendamos o software Geogebra para o estudo da Geometria. Propomos atividades diversificadas, para serem utilizadas em sala de aula, quando o Teorema de Tales for trabalhado. Sugerimos uma demonstração para o Teorema de Tales, onde utilizamos a definição de área do triângulo, e as propriedades do paralelogramo. / In this work we identify the goals and guidelines the National Curriculum Guidelines, the third and fourth cycles, on the study of geometry. We searched on the Biography of Thales of Miletus, where we do a story, and history of the region, the era in which he lived, we count some of their deeds, and enumerate the theorems whose statements are allocated. We analyzed six textbooks in 9th grade of elementary school, comprising the National Plan of Didactic Book 2014, observed how the geometry is crafted, and what activities and statements made with respect to the Thales’ Theorem. We use and recommend the Geogebra software for the study of geometry. We propose diversified activities for use in the classroom when the Thales’ Theorem is working. We suggest a demonstration of Thales’ Theorem, where we use the definition of the triangle area, and properties of the parallelogram.

CAPES / Nesse trabalho identificamos os objetivos e as orientações nos Parâmetros Curriculares Nacionais, do terceiro e quarto ciclos, sobre o estudo da Geometria. Pesquisamos sobre a Biografia de Tales de Mileto, onde fazemos um relato, da região e história, da época em que ele viveu, contamos alguns de seus feitos, e enumeramos os teoremas cujas demonstrações lhe são atribuídas. Analisamos seis livros didáticos do 9º ano do ensino fundamental, que integram o Plano Nacional do Livro Didático 2014, observamos a forma como a Geometria é trabalhada, e quais as demonstrações e atividades apresentadas em relação ao Teorema de Tales. Usamos e recomendamos o software Geogebra para o estudo da Geometria. Propomos atividades diversificadas, para serem utilizadas em sala de aula, quando o Teorema de Tales for trabalhado. Sugerimos uma demonstração para o Teorema de Tales, onde utilizamos a definição de área do triângulo, e as propriedades do paralelogramo. / In this work we identify the goals and guidelines the National Curriculum Guidelines, the third and fourth cycles, on the study of geometry. We searched on the Biography of Thales of Miletus, where we do a story, and history of the region, the era in which he lived, we count some of their deeds, and enumerate the theorems whose statements are allocated. We analyzed six textbooks in 9th grade of elementary school, comprising the National Plan of Didactic Book 2014, observed how the geometry is crafted, and what activities and statements made with respect to the Thales’ Theorem. We use and recommend the Geogebra software for the study of geometry. We propose diversified activities for use in the classroom when the Thales’ Theorem is working. We suggest a demonstration of Thales’ Theorem, where we use the definition of the triangle area, and properties of the parallelogram.

In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using first order logic (FOL) does not solve the problem either since proof procedures for these logics are not decidable. Modal propositional logics (MPL) on the other hand are both decidable and more expressive than CPL. It therefore seems reasonable to apply tableau and resolution proof systems to MPL in order to compute logical entailment in MPL. Although some of the principles in CPL are present in MPL, there are complexities in MPL that are not present in CPL. Tableau and resolution proof systems which address these issues and others will be surveyed here. In particular the work of Abadi & Manna (1986), Chan (1987), del Cerro & Herzig (1988), Fitting (1983, 1990) and Gore (1995) will be reviewed. / Computing / M. Sc. (Computer Science)

The goal of General Game Playing (GGP) is to develop a system, that is able to automatically play previously unseen games well, solely by being given the rules of the game. In contrast to traditional game playing programs, a general game player cannot be given game specific knowledge. Instead, the program has to discover this knowledge and use it for effectively playing the game well without human intervention. In this thesis, we present a such a program and general methods that solve a variety of knowledge discovery problems in GGP. Our main contributions are methods for the automatic construction of heuristic evaluation functions, the automated discovery of game structures, a system for proving properties of games, and symmetry detection and exploitation for general games.

In classical propositional logic (CPL) logical reasoning is formalised as logical entailment and can be computed by means of tableau and resolution proof procedures. Unfortunately CPL is not expressive enough and using first order logic (FOL) does not solve the problem either since proof procedures for these logics are not decidable. Modal propositional logics (MPL) on the other hand are both decidable and more expressive than CPL. It therefore seems reasonable to apply tableau and resolution proof systems to MPL in order to compute logical entailment in MPL. Although some of the principles in CPL are present in MPL, there are complexities in MPL that are not present in CPL. Tableau and resolution proof systems which address these issues and others will be surveyed here. In particular the work of Abadi & Manna (1986), Chan (1987), del Cerro & Herzig (1988), Fitting (1983, 1990) and Gore (1995) will be reviewed. / Computing / M. Sc. (Computer Science)

CAPES / Este trabalho apresenta um estudo sobre os Números Primos que passa por resultados básicos, como a infinitude dos números primos e o Teorema Fundamental da Aritmética, e resultados mais sofisticados, como o Teorema de Wilson e a consequente função geradora de primos. Além dos resultados teóricos apresenta-se uma interpretação geométrica para os números primos. Essa interpretação e aplicada na ilustração de alguns dos resultados relacionados a primos abordados no ensino básico. Atividades envolvendo a interpretação geométrica apresentada são sugeridas no capítulo final. / This work presents a study about Prime Numbers, since basic results, like the prime number’s infinity and the Arithmetic Fundamental Theorem, to more sophisticated results, as Wilson’s Theorem and it’s consequent Prime generating function. Further the theoretical results we present a prime’s geometric interpretation. This interpretation is applied to illustrate some results related to primes, which appears in basic education. Activities about this geometric interpretation are suggested in the final chapter.

Capes / Na busca por uma melhor representação da realidade tridimensional, as Geometrias não- Euclidianas oferecem uma alternativa ao euclidianismo clássico e um dos destaques e a Geometria Projetiva. Assim, o objetivo deste trabalho e, através de ilustrações, contribuir para a assimilação de definições como perspectiva, projeção e o principio da dualidade. E, a partir de resultados importantes como o Teorema de Desargues, o Teorema de Pappus e o Teorema de Pascal, queremos facilitar a compreensão e a visualização de algumas das técnicas de perspectiva que podem ser adaptadas para o uso na sala de aula pelos professores da Educação B ́ sica. A aplicação de uma oficina de Geometria Projetiva em uma turma do 6o ano do Ensino Fundamental e a avaliação dos resultados revelaram que o tema pode ser desenvolvido de maneira promissora com os estudantes na Educação B ́ sica, obtendo uma melhor compreensão do objeto real e associando-o ao conteúdo matemático envolvido. / In search for a better representation of three-dimensional reality, non-Euclidean Geometries offer an alternative to the classic euclidianism and the Projective Geometry is one of the highlights. The purpose of this word is contribute to the assimilation of definitions such as perspective, projection, and the principle of duality, through illustrations. And, from important results as Desargues’ Theorem, Pappus’ Theorem and Pascal’s Theorem, we want to facilitate understanding and viewing some of the perspective techniques that can be adapted for use in classroom by Basic Education teachers. The application of a workshop of Projective Geometry in a class of 6th grade of elementary school and the evaluation of the results revealed that the theme can be developed in a promising way with students in basic education, getting a better comprehension of the real object and associating it to the mathematical content involved.

CAPES / Esta dissertação está dividida em duas partes. A primeira parte é uma introdução da teoria básica de grupos necessária para o desenvolvimento do teorema da órbita-estabilizador, que permite fazer as contagens das simetrias dos poliedros regulares. A segunda parte é a descrição de uma atividade aplicada em sala de aula. / This dissertation is divided in two parts. The first part is an introduction to basic group theory required for the development of the orbit-stabilizer theorem, that allows the counts of symmetries of the regular polyhedra. The second part is the description of an activity applied in classroom.

A Inteligência de Enxame (Swarm Intelligence) é uma área de estudos que busca soluções para problemas de otimização utilizando-se de técnicas computacionais inspiradas no comportamento social emergente encontrado na biologia. A metaheurística Particle Swarm Optimization (PSO) é relativamente nova e foi inspirada no comportamento social de bandos de pássaros. PSO tem apresentado bons resultados em alguns trabalhos recentes de otimização discreta, apesar de ter sido concebido originalmente para a otimização de problemas contínuos. Este trabalho trata o Problema de Atribuição de Tarefas - Task Assignment Problem (TAP), e apresenta uma aplicação: o problema de alocação de táxis e clientes, cujo objetivo da otimização está em minimizar a distância percorrida pela frota. Primeiramente, o problema é resolvido em um cenário estático, com duas versões do PSO discreto: a primeira abordagem é baseada em codificação binária e a segunda utiliza permutações para codificar as soluções. Os resultados obtidos mostram que a segunda abordagem é superior à primeira em termos de qualidade das soluções e tempo computacional, e é capaz de encontrar as soluções ótimas para o problema nas instâncias para as quais os valores ótimos são conhecidos. A partir disto, o algoritmo é adaptado para a otimização do problema em um ambiente dinâmico, com a aplicação de diferentes estratégias de resposta às mudanças. Os novos resultados mostram que a combinação de algumas abordagens habilita o algoritmo PSO a obter boas soluções ao longo da ocorrência de mudanças nas variáveis de decisão problema, em todas as instâncias testadas, com diferentes tamanhos e escalas de mudança. / Swarm Intelligence searches for solutions to optimization problems using computational techniques inspired in the emerging social behavior found in biology. The metaheuristic Particle Swarm Optimization (PSO) is relatively new and can be considered a metaphor of bird flocks. PSO has shown good results in some recent works of discrete optimization, despite it has been originally designed for continuous optimization problems. This paper deals with the Task Assignment Problem (TAP), and presents an application: the optimization problem of allocation of taxis and customers, whose goal is to minimize the distance traveled by the fleet. The problem is solved in a static scenario with two versions of the discrete PSO: the first approach that is based on a binary codification and the second one which uses permutations to encode the solution. The obtained results show that the second approach is superior than the first one in terms of quality of the solutions and computational time, and it is capable of achieving the known optimal values in the tested instances of the problem. From this, the algorithm is adapted for the optimization of the problem in a dynamic environment, with the application of different strategies to respond to changes. The new results show that some combination of approaches enables the PSO algorithm to achieve good solutions along the occurrence of changes in decision variables problem, in all instances tested, with different sizes and scales of change.

Capes / Na busca por uma melhor representação da realidade tridimensional, as Geometrias não- Euclidianas oferecem uma alternativa ao euclidianismo clássico e um dos destaques e a Geometria Projetiva. Assim, o objetivo deste trabalho e, através de ilustrações, contribuir para a assimilação de definições como perspectiva, projeção e o principio da dualidade. E, a partir de resultados importantes como o Teorema de Desargues, o Teorema de Pappus e o Teorema de Pascal, queremos facilitar a compreensão e a visualização de algumas das técnicas de perspectiva que podem ser adaptadas para o uso na sala de aula pelos professores da Educação B ́ sica. A aplicação de uma oficina de Geometria Projetiva em uma turma do 6o ano do Ensino Fundamental e a avaliação dos resultados revelaram que o tema pode ser desenvolvido de maneira promissora com os estudantes na Educação B ́ sica, obtendo uma melhor compreensão do objeto real e associando-o ao conteúdo matemático envolvido. / In search for a better representation of three-dimensional reality, non-Euclidean Geometries offer an alternative to the classic euclidianism and the Projective Geometry is one of the highlights. The purpose of this word is contribute to the assimilation of definitions such as perspective, projection, and the principle of duality, through illustrations. And, from important results as Desargues’ Theorem, Pappus’ Theorem and Pascal’s Theorem, we want to facilitate understanding and viewing some of the perspective techniques that can be adapted for use in classroom by Basic Education teachers. The application of a workshop of Projective Geometry in a class of 6th grade of elementary school and the evaluation of the results revealed that the theme can be developed in a promising way with students in basic education, getting a better comprehension of the real object and associating it to the mathematical content involved.