Alguns teoremas limites para sequências de variáveis aleatórias

O Teorema Central do Limite e a Lei dos Grandes Números estão entre os mais importantes resultados da teoria da probabilidade. O primeiro deles busca condições sob as quais [fórmula] converge em distribuição para a distribuição normal com parâmetros 0 e 1, quando n tende ao infinito, onde Sn é a soma de n variáveis aleatórias independentes. Ao mesmo tempo, o segundo estabelece condições para que [fórmula] convirja a zero, ou equivalentemente, para que [fórmula] convirja para a esperança das variáveis aleatórias, caso elas sejam identicamente distribuídas. Em ambos os casos as sequências abordadas são do tipo [fórmula], onde [fórmula] e [fórmula] são constantes reais. Caracterizar os possíveis limites de tais sequências é um dos objetivos dessa dissertação, já que elas não convergem exclusivamente para uma variável aleatória degenerada ou com distribuição normal como na Lei dos Grandes Números e no Teorema Central do Limite, respectivamente. Assim, somos levados naturalmente ao estudo das distribuições infinitamente divisíveis e estáveis, e os respectivos teoremas limites, e este vem a ser o objetivo principal desta dissertação. Para as demonstrações dos teoremas utiliza-se como estratégia principal a aplicação do método de Lyapunov, o qual consiste na análise da convergência da sequência de funções características correspondentes às variáveis aleatórias. Nesse sentido, faremos também uma abordagem detalhada de tais funções neste trabalho.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Dois teoremas sôbre a função gama

This paper proves the following theorems on the gamma function: Theorem I The integral ∫O∞ t u e-t dt = Γ ( u + 1 ) , where u, real or complex, is such that R (u) > -1, will not change its value if we substitute z = Q (cos φ + i sen φ) for the real variable t, being jconstant and such that - Π/2 < φ < Π/2 , Theorem II The integral ∫-∞∞ w2u + 1 e -w² dw = Γ ( u + 1 ) , where 2u + 1 is supposed to be a non negative even integer, will not change its value if we substitute z = w + fi, f being a real constant, for the real variable w. The proof of both theorems is obtained by means of the well known Cauchy theorem on contour integrals on the complex plane, as suggested by CRAMÉR (1, p. 126) and LEVY (3, p. 178).

Teoremas de isomorfía en grupos diedros

En este art\'\ı culo discutimos los resultados principalesalcanzados en mi trabajo de grado, el cual fue dirigido por elprofesor Jairo Charris Casta\~neda. La discusi\'on la limitaremos alos llamados $(p, q)$ grupos, en particular a los grupos diedros.

Requeteoremas : reiventando teoremas en geometr??a con Cabri II

Se intenta dar un enfoque distinto al que habitualmente tienen las matem??ticas. Se pretende que los estudiantes, habitualmente meros receptores de la informaci??n, pasan a trabajar con ella y a desarrollar una creatividad cient??fica. A trav??s de figuras geom??tricas, como el cuadrado y el tri??ngulo, que el alumno manipula,y en torno a los cuales reflexiona, puede llegar a inventar operaciones, estrategias o problemas.

¿Teoremas o fórmulas?

Se muestran diferentes ejemplos para demostrar que un teorema es algo más que una fórmula. Las integrales, las ecuaciones y distintos tipos de funciones son algunos de los aspectos tratados en estos teoremas. En los nueve ejemplos se explican con gráficos las teorías a demostrar.

Los teoremas de Pitágoras y Tolomeo en el Bachillerato.

Se analizan los dos teoremas fundamentales de la geometría elemental: el teorema de Pitágoras y el teorema de Tolomeo. Ambos teoremas tienen su fundamento en el teorema de Thales aplicado a la semejanza de triángulos convenientes. Se demuestra el teorema de Tolomeo en su forma general sin utilizar el concepto de semejanza. Se exponen además, como ejercicios complementarios: la desigualdad de HLAWKA, la de HORNICH y el problema de Freudental.

Teoremas en clase.

Se presentan unos teoremas que han sido estudiados en clase como consecuencia de la resolución de determinados problemas.

Unha interface gráfica para o descubrimento automático de teoremas en xeometría elemental. 'Una interfaz gráfica para el descubrimiento automático de teoremas en geometría elemental'.

Resumen basado en el del autor

An??lisis de las justificaciones de los teoremas de derivabilidad en los libros de texto desde la Ley General de Educaci??n

Resumen basado en el de la publicaci??n

Teoremas de envelope de Milgrom e Segal : uma aplicação a desenho de mecanismo

Este trabalho estuda a teoria de desenho de mecanismo. Desenho de mecanismo passou a fazer parte da teoria econômica à partir da década de 60. Seu desenvolvimento deve-se, em grande parte aos trabalhos de Vickrey, Clarke e Groves relacionados a problemas de incentivo. Esta dissertação apresenta os principais desenvolvimentos teóricos na área de desenho de mecanismo, destacando a importância dos conhecidos teoremas de envelope para estes problemas. É apresentada também uma nova versão do teorema de envelope desenvolvida por Milgrom e Segal que pode amplamente ser empregada em problemas de desenho de mecanismos. Essa nova versão do teorema de envelope de Milgron e Segal permite relaxar algumas hipóteses restritivas da teoria de desenho de mecanismos, permitindo obter novos resultados e explorar aqueles já estabelecidos, principalmente em problemas relacionados a desenhos de leilões.

O número de Lefschetz e teoremas do tipo Borsuk-Ulam

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O teorema de Lefschetz-Hopf e sua relação com outros teoremas clássicos da topologia

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Os teoremas de índice de Poincaré

Pós-graduação em Matemática Universitária - IGCE

La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas

Fil: Durán, Cecilia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.