Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 33 for “"Teoremas"”.
-
Teoremas de inmersión
… en la teoría general de espacios de funciones - teoremas de inmersión para espacios de funciones diferenciables en varias variables. En primer lugar se estudian inmersiones tipo Sobolev para espacios anisótropos; esto es inmersiones óptimas de espacios de Sobolev en espacios de Lorentz y en …
-
Teoremas do valor médio e intermédio
… e o Teorema do valor intermédio são importantes teoremas muito usados no Cálculo integral e diferencial e não só. Neste trabalho estamos muito interessados em perceber estes teoremas, estudá-los profundamente e perceber qual o contributo dos mesmos. Para isso, visto que estão diretamente …
-
Demonstração automática de teoremas em lógicas não clássicas : resolução assinalada para lógicas multivalentes
… automática, ou demonstração automática de teoremas, é hoje um requisito-chave em qualquer lógica, uma vez que as estratégias de dedução podem ser laboriosas e conter erros, em especial quando não se pode evitar níveis de alta complexidade. A automatização da dedução em lógica clássica quer …
-
Bibliotecas de axiomáticas: conceitos e resultados para sistemas algébricos
… arti cial aplicada à demonstração automática de teoremas produzida por Josef Urban (Czech Technical University) no âmbito de uma bolsas do Conselho Europeu de Investigação (ERC) que lhe foi concedida para o efeito, demonstrou autonomamente 75% dos teoremas na base de dados Mizar, um repositório …
-
Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades
… y se llevan a cabo demostraciones automáticas de teoremas acerca de estos algoritmos y conceptos. Este trabajo de verificación formal se realiza en un entorno en el que se pueden combinar la demostración de teoremas con la ejecución de funciones.|
-
ProverX: rewriting and extending prover9
… projecto é tornar o demonstrador automático de teoremas Prover9 programável e, por conseguinte, extensível. Este propósito foi conseguido acrescentando um interpretador de Python, uma linha de comandos e uma biblioteca de módulos, objectos e funções escritos em Python para interagir com …
-
Aportaciones al estudio de la distribución de pólya: caracterización y propiedades de su función de distribución.
… obtienen, en el capítulo II de esta memoria, dos teoremas de caracterización para la distribución de Pólya con parámetro reemplazamiento negativo. Ambos teoremas se basan en el comportamiento de esta distribución frente a mixturas. En el capítulo III se obtienen resultados acerca de la …
-
Analisis de Fourier en el toro infinito-dimensional
… de Fourier en el toro infinito aplicando los teoremas de Jessen. En segundo lugar se presenta una descomposición de tipo de Calderón-Zygmund respecto de cierta familia de intervalos en el toro infinito según Rubio de Francia, y un resultado negativo, tipo de Jessen, de diferenciación de …
-
Busca meta-heurística para resolução de CSP em teste de software
… o problema da limitação dos provadores de teoremas, que necessitam modelar uma teoria para serem capazes de encontrar uma solução. Neste trabalho, investigamos o uso do algoritmo de busca meta heurística em um tipo de teste de software (execução concólica) que é tratado como um problema de …
-
Diseño e implementación de un experimento de electrónica fuera del equilibrio a bordo de un nanosatélite de baja órbita
… por la comunidad científica, conocidas como los Teoremas de Fluctuación. No obstante, se ha demostrado -mediante experimentos y simulaciones- que dichos teoremas no son válidos incluso en sistemas de primer orden. Especificamente en [1], se demostró que para un circuito RC fuera del equilibrio, …
-
Programação orientada a objectos na determinação das bases dum sistema de fecho
… McCune composto pelo demonstrador automático de teoremas Prover9 e o construtor de modelos finitos Mace4. As aplicações resultantes executam nos sistemas operativos Windows XP, Vista e 7 (32 e 64 bits).
-
Computing congruences and endomorphisms for algebras of type (2m, 1n)
… Este uso genérico da package CREAM depende de teoremas de álgebra universal. Isto tem custos, pois teoremas de tipos específicos de álgebras (e.g. grupos, semigrupos, etc) não podem ser usados para reduzir o espaço de procura e melhorar a performance. Canon e Holt [10], usaram vários algoritmos …
-
Funções geradoras e algumas aplicações à contagem
… contexto, são exploradas algumas definições e teoremas relacionados à convergência pontual, convergência uniforme, séries de potências e séries de Taylor. Ainda nessa parte, a série geométrica e a série exponencial são enfatizadas. A partir desse primeiro exposto, a obra contempla algumas …
-
Formación de maestros en ciencias naturales: movilización de elementos de sus esquemas
… invariantes operatorios (conceptos-en-acto y teoremas-en- acto) e inferencias, de un grupo de profesores de ciencias y el devenir de los mismos, durante un proceso de formación que asume postulados básicos de la teoría de referencia mencionada. Para el logro de los objetivos propuestos …
-
Encontros com o infinito
… um símbolo próprio para o referir; apresentamos teoremas relacionados com o infinito e de como esses resultados e o próprio conceito de infinito funcionam como ferramentas na resolução de diferentes problemas na matemática. Os paradoxos estudados foram os seguintes: Paradoxo do Maior Número, …
-
Esquemas del máximo en la aritmética
… en Kn (U) (Capítulo 4). e) Para establecer teoremas spliting en ciertos fragmentos de la Aritmética (Capítulo 5). La introducción de estos esquemas tiene por finalidad analizar el comportamiento del crecimiento de funciones definibles (recordemos que en I0, toda función definible está …
-
Finite bases for semigroup varieties
… no GAP ou num demonstrador automático de teoremas/construtor de modelos finitos. O site fornece algumas outras funcionalidades, como uma ferramenta que gera a tabela de multiplicação de um semigrupo fornecida por uma apresentação em C, onde C ´e qualquer classe de álgebras definida por um …
-
Sutilezas no ensino de princípio de Arquimedes
O princípio de Arquimedes é um dos teoremas mais famosos e antigos da física, sendo a causa da icônica expressão Eureka! proclamada aos berros pelo filósofo e matemático grego há mais de dois milênios. Desde então, a matemática e a física evoluíram de forma significativa, provando e reforçando o …
-
Análisis de procesos de conformado rotativo de chapa
… la utilización de una teoría basada en los "teoremas límite". Desde otro punto de vista, se plantea el problema para su resolución mediante métodos numéricos, en especial a partir del método de los elementos finitos. Para contrastar los resultados obtenidos a través de los dos tipos de …
-
Os ambientes de geometria dinâmica e o pensamento hipotético-dedutivo
… enquanto modelo teórico, organizado em axiomas, teoremas e demonstrações. Os recursos informáticos hoje disponíveis provocam a busca de estratégias pedagógicas favoráveis à construção deste conhecimento. Entender as suas potencialidades torna-se um objeto de investigação: o que acontece com os …
Page 1 of 2