El trabajo incluido en la presente tesis se enmarca dentro del campo de la demostración automática de teoremas y consiste en la estudio, definición y desarrollo de un paradigma de resolución lineal, denominado Resolución SL*. La razón para utilizar la denominación de paradigma reside en el hecho de que en sí misma resolución SL* no es un procedimiento, sino que se puede entender como una forma de razonamiento con ciertos parámetros cuya instanciación da lugar a diferentes procedimientos que son adecuados para el tratamiento de distintos tipos de problemas. Por otro lado, se le ha dado el nombre de resolución SL* porque, como posteriormente se explicará, está muy cercano a Eliminación de Modelos y a resolución SL (de ahí la primera parte del nombre). El asterisco final quiere denotar su parametrización, de forma que los procedimientos instancias de resolución SL* serán denominados con una letra más en vez del asterisco, como posteriormente se verá. La tesis ha sido dividida en cuatro capítulos que se describen brevemente a continuación. En el primero se realiza una breve introducción histórica a la demostración automática, que va desde los orígenes de la lógica con el uso de las primeras notaciones matemáticas formales en el siglo XVI hasta la aparición de los resultados más importantes de la lógica descubiertos por Herbrand, Gödel, Church, etc. Se hace un especial hincapié en este capítulo en la demostración automática realizando un recorrido desde sus orígenes a finales del siglo XVIII hasta el momento actual, en el cual es posible ver cuál ha sido la evolución de este campo y qué descubrimientos y resultados se pueden presentar como los principales puntos de inflexión. En el segundo capítulo se presentan la resolución lineal y algunos de sus principales refinamientos, ya que resolución SL* es un variación de resolución SL y por tanto de resolución lineal. Para ello se introduce el principio de resolución, viendo los problemas de su mecanización, y posteriormente se ven dos refinamientos de resolución: resolución semántica y resolución lineal. Para concluir se estudian los principales refinamientos de resolución lineal: resolución de entrada, resolución lineal con fusión, resolución lineal con subsumción, resolución lineal ordenada, resolución MTOSS y TOSS, Eliminación de Modelos, resolución SL y el sistema MESON. En el tercer capítulo se presentan y estudian con profundidad las principales aportaciones al campo de la demostración automática que se han producido en los últimos años y que están cercanas a la aproximación del presente trabajo. Se han incluido los siguientes trabajos: el demostrador PTTP de Stickel, el sistema MESON basado en secuencias de Plaisted, el demostrador SATCHMO de Manthey y Bry, los procedimientos Near-Horn Prolog de Loveland y otros autores y, por último, el demostrador SETHEO de Bibel y otros autores. Obviamente no se han incluido todos los demostradores y procedimientos, pero sí aquellos que se han considerado como los más interesantes y cercanos a resolución SL* de manera que sea posible realizar comparaciones, de forma que queden patentes las aportaciones realizadas. En el cuarto capítulo se presenta resolución SL*. Se da la definición formal de la misma y se introduce el concepto fundamental de elección de ancestros. La elección de ancestros es el mecanismo que permite controlar la aplicación de la resolución de ancestro haciendo posible una reducción del coste de su aplicación y una adecuación de resolución SL* al tipo de problema a tratar. Posteriormente se ven las principales instancias de resolución SL*, los procedimientos SLT y SLP. En este capítulo se hace un especial hincapié en la elección de ancestros, ya que es la principal aportación de resolución SL*, analizando tanto las ventajas que aporta asociadas al incremento de la eficiencia como el hecho de dotar a resolución SL* la capacidad de adaptarse a los problemas que trata. También en este capítulo se presenta una implementación de resolución SL*, en particular del procedimiento SLT, y se incluyen resultados sobre un conjunto extenso de problemas del campo de la demostración automática. En la última sección de este capítulo se realiza una comparación de resolución SL* con los demostradores y sistemas más cercanos, tanto a nivel de características como de resultados. / Casamayor Rodenas, JC. (1996). Resolución SL*: Un paradigma basado en resolución lineal para la demostración automática [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/6023

El objetivo de este trabajo es demostrar el teorema de los números primos siguiendo la estructura del artículo de el doctor Bernard Zagier, y utilizando herramientas básicas del Análisis Complejo. La demostración del teorema se ha dividido en 6 pasos, donde esencialmente se prueban las propiedades de tres funciones. Gracias al teorema analítico, utilizado en el paso quinto y el en paso sexto, se llega a simplificar de manera significativa la complejidad de la demostración. En resumen el teorema de los números primos nos muestra una estimación de la cantidad de números primos que puede existir hasta un número determinado. Este teorema permite la verificación de muchos resultados relacionados con los números primos así como la elaboración de nuevas teorías. / Tesis

Orientador: Marta Cilene Gadotti / Banca: Selma Helena de Jesus Nicola / Banca: Luciene Parron Gimenes Arantes / Resumo: O objetivo deste trabalho é fazer um contraste entre o comportamento das soluções das equações diferenciais ordinárias e das equações diferenciais impulsivas, através da apresentação das propriedades destas equações, e das equações diferenciais ordinárias, e da análise qualitativa das soluções / Abstract: In this work we present a parallel between the behavior of ordinary differential equations and the impulsive diferencial equations by presenting their properties and the qualitative analysis of their solutions / Mestre

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.

Neste trabalho, provamos um caso particular do Teorema de Ratner de classificação de medidas, que nos diz que se X =Γ\\G é um espaço homogêneo, onde G é um grupo de Lie e Γ é um lattice de G, então dado um subgrupo unipotente U de G, conseguimos classificar as medidas ergódicas com relação a ação por translação do grupo U em X. Além do Teorema de Ratner de classificação de medidas, falamos sobre o Teorema de Ratner de equidistribuição e o Teorema de Ratner do fecho da órbita, que nos dizem como são as órbitas pela ação por translação do grupo U e como é sua dinâmica em X, do ponto de vista da Teoria Ergódica. Embora estes últimos resultados não sejam provados nesta dissertação, exibimos uma importante aplicação do Teorema de Ratner do fecho da órbita em teoria dos números, provando a Conjectura de Oppeinheim, também conhecida como Teorema de Margullis. / In this work, we prove a particular case of the Ratners measure classification theorem, which tell us that if X = Γ\\G is an homogeneous space, where G is a Lie group and Γ is a lattice of G, then given any unipotent group U of G, we can classify the measures that are ergodic with respect to the translation group action of U in X In addition to the Ratners measure classification theorem, we talk about the Ratners equidistribuition theorem and the Ratners orbit closure theorem, which tell us how the orbit due the action by translation by the group U are and how the dynamics in X is, in an Ergodic Theory point of view. While we didnt prove the last two Ratners theorems, we exhibit an important application of the Ratners orbit closure theorem in number theory, proving the Oppeinheim Conjecture, also know as Margullis Theorem.

O trabalho aqui apresentado tem por objetivo fazer uma investigação sobre os números primos e algumas de suas características e propriedades, dentre elas uma fórmula geradora de números primos. Para isto foram realizadas pesquisas bibliográficas e assim introduzidos conceitos de aritmética bem como teoremas e suas respectivas demonstrações com intuito de esclarecimento acerca do assunto abordado. No contexto do programa este trabalho é direcionado ao professor regente, como uma forma de aprimorar seus conhecimentos, para estudantes em nível de olimpíada ou mesmo para alunos de nível médio que tenham interesse no assunto em questão. Nesse sentido, foi desenvolvido um questionário contendo perguntas básicas sobre os números primos e aplicado para os estudantes que compõe a terceira série do Colégio Iesgo, na cidade de Formosa-GO, afim de identificar o que se conhece sobre os números primos no ensino básico. / The work presented here aims to investigate the prime numbers and some of their characteristics and properties, among them a formula generating prime numbers. For this purpose, bibliographical researches were carried out, thus introducing concepts of arithmetic as well as theorems and their respective demonstrations in order to clarify the subject matter. In the context of the program this work is directed to the regent teacher, as a way to improve his knowledge, for students at the level of the Olympiad or even for students of medium level who have an interest in the subject in question. In this sense, a questionnaire containing basic questions about primes was developed and applied to the students who make up the third series of the Iesgo College, in the city of Formosa-GO, in order to identify what is known about prime numbers in elementary education.

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 Filipe dos Santos (fsantos@pucsp.br) on 2017-01-16T16:06:13Z No. of bitstreams: 1 Luiz Felipe Araujo Mod.pdf: 2213635 bytes, checksum: ed88b2864c3ad5d9ff5133afef48da91 (MD5) / Made available in DSpace on 2017-01-16T16:06:13Z (GMT). No. of bitstreams: 1 Luiz Felipe Araujo Mod.pdf: 2213635 bytes, checksum: ed88b2864c3ad5d9ff5133afef48da91 (MD5) Previous issue date: 2016-12-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Abstract: This Master’s research aims to investigate Regiomontanus’ theorems about triangles with the use of the software GeoGebra. Regiomontanus (1436-1476) was a mathematician whose production contributed especially in the development of trigonometry with the work De Triangulis Omnimodis Libri Quinque, published in 1533 and that is the focus of this research. In the Book I of his work, there are theorems whose demonstrations involve constructions of triangles met some given conditions. Demonstrations of some of these theorems are analyzed by the mediation of the dynamic movements of GeoGebra in view of the functions of the demonstration according to Villiers. There is the need to scroll through the different roles of the demonstration and the importance of the use of GeoGebra as an instrument of investigation, in which it is possible to identify that some possibilities are not included in the Regiomontanus’ demonstrations. The survey, in its development, also indicates possibilities of how a legacy of the History of Mathematics can become a research activity in the classroom / Resumo: Esta pesquisa de Mestrado Acadêmico tem como objetivo investigar teoremas de Regiomontanus, sobre triângulos, com a utilização do software GeoGebra. Regiomontanus (1436-1476) foi um matemático cuja produção contribuiu especialmente no desenvolvimento da Trigonometria, com a obra De Triangulis Omnimodis Libri Quinque, publicado em 1533 e que é o foco desta pesquisa. No Livro I dessa obra, encontram-se teoremas cujas demonstrações envolvem construções de triângulos satisfeitas algumas condições dadas. As demonstrações de alguns destes teoremas são analisadas pela mediação dos movimentos dinâmicos do GeoGebra na perspectiva das funções da demonstração segundo Villiers. Verifica-se a necessidade de percorrer os diferentes papéis da demonstração e a importância da utilização do GeoGebra como instrumento de investigação, no qual é possível identificar que algumas possibilidades não estão contempladas nas demonstrações de Regiomontanus. A pesquisa, em seu desenvolvimento, também indica possibilidades de como um legado da História da Matemática pode-se tornar uma atividade de investigação em sala de aula

Capes / A partir dos teoremas encontrados na publicação Geometriae Pars Universalis de 1668 são apresentadas, pela primeira vez em português, as demonstrações dos teoremas de Pappus para os sólidos de revolução. Essa publicação, escrita originalmente em latim, foi feita pelo matemático escocês James Gregory (1638-1675) e é anterior ao desenvolvimento do Cálculo. Além disso, alguns conceitos de Cálculo e de centro de gravidade são revistos a fim de também apresentarumademonstraçãodessesteoremasapartirdessasferramentas. Ainda são feitas algumas aplicações dos teoremas de Pappus para os casos diretos, onde o eixo de rotação ou revolução é representado por um dos eixos coordenados ou ainda, por uma reta paralela a eles. Também são mostrados casos onde o eixo de rotação é dado por uma reta inclinada no plano cartesiano, deixando claro a abrangência, eficiência e a relativa simplicidade de aplicação desses teoremas. / From the theorems found in the publication Geometriae Pars Universalisof 1668 are presented, for the first time in portuguese, the proof of Pappus’s theorems for solids of revolution. This publication , originally written in latin, is due to the scottish mathematician James Gregory (1638-1675) and is prior to the development of Calculus. Furthermore some concepts of Calculus and center of gravity are also revised to present a proof of these theorems from these tools. Some direct cases for Pappus’s theorems are presented, where the axis of rotation or revolution is represented by one of the coordinate axes or by a straight line parallel to them. Also shown are cases where the axis of rotation is given by a straight tilted in the cartesian plane, showing the scope, efficiency and relative simplicity of applying these theorems.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-09Bitstream added on 2014-06-13T19:47:24Z : No. of bitstreams: 1 mardegan_ac_me_sjrp.pdf: 499238 bytes, checksum: d9c0e0982af5ffcd38c898ae17d59066 (MD5) / Uma grande parte desse projeto é voltada para o estudo de corpos de funções algébricas e suas propriedades elementares. Inicialmente estudaremos valorizações discretas sobre um corpo qualquer. Seguiremos com o estudo de divisores e provaremos o teorema de Riemann-Roch. Como aplicações deste teorema, calcularemos o gênero de alguns corpos de funções algébricas e classificaremos corpos de funções algébricas de gênero um e dois. / The main goal is classification algebraic function fields of genus one and two. First of all, we will study discreet valuations over any field. Then we will prove the Riemann-Roch Theorem for algebraic function fields. Finally we will use this theorem for computing the genera of some algebraic function fields and classifying algebraic function fields of genus one and two.