Teoremas De Representacao
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. On the contamination of confidence
Contaminação da confiança é um caso especial de incerteza Knightiana ou ambiguidade na qual o tomador de decisões está diante de não apenas uma única distribuição de probabilidades, mas sim de um conjunto de distribuições de probabilidades. A primeira parte desta tese tem o propósito de fornecer uma caracterização da contaminação da confian�
Publicado em: 30/11/2009
-
2. Complex Networks: New methodologies and knowledge acquisition modeling / Redes complexas: novas metodologias e modelagem de aquisição de conhecimento
Estudos em redes complexas têm ganhado cada vez mais atenção devido ao seu potencial de representação simples de modelos complexos em diversas áreas de conhecimento. A obtenção de modelos quantitativos que representem fenômenos observados da natureza, assim como o desenvolvimento de metodologias de caracterização de redes complexas, tornaram-se es
Publicado em: 2009
-
3. Historical events and dynamical geometry used to devellop the Riemmann integral and the fundamental theorem of calculus concepts / Uso de episodios historicos e de geometria dinamica para desenvolvimento de coneitos de integral de Riemann e do teorema fundamental do calculo para funções reais de variavel real
Este trabalho tem como objetivos estudar algumas realizações de Arquimedes (287 a.C. - 212 a.C., Grécia) e de Isaac Barrow (1630-1677, Inglaterra), e, também, desenvolver atividades no Geogebra para auxiliar no ensino do Cálculo Diferencial e Integral. Apresentamos a construção do conjunto dos números reais, definições e teoremas atuais que anteced
Publicado em: 2008
-
4. Raízes polinomiais em corpos finitos
Este trabalho é um estudo sobre propriedades de decomposição de polinômios em corpos finitos. Em particular fazemos um estudo sobre métodos de fatoração e cálculos de raízes. Procedemos inicialmente com um apanhado de conceitos e teoremas que embasam o trabalho. Com o objetivo de determinar raízes de polinômios em corpos finitos, alguns tópicos t
Publicado em: 2007
-
5. Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística
Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos
Publicado em: 2007
-
6. RENDALLNULLS THEOREMS AND THE UNIQUE DETERMINATION OF THE INNER PRODUCT IN REPRESENTATION OF ALGEBRAS / TEOREMAS DE RENDALL E A UNICIDADE DO PRODUTO INTERNO EM REPRESENTAÇÕES DE ÁLGEBRAS
This thesis is concerned with a paper from Alan D. Rendall named Unique determination of an inner product by adjointness relations in the algebra of quantum observables, in which is proved that given a *- representation of a *-algebra in a pre-Hilbert space V irreducible with regard to the inner product defined in V we can assure the uniqueness of the inner
Publicado em: 2004
-
7. Uma oficina para formação de professores com enfoque em quadriláteros
Esse trabalho trata da formação de professores de matemática. Nosso objetivo é oferecer uma contribuição nessa área, tanto no que se refere à aquisição de conteúdos, quanto no aprimoramento de conhecimentos que auxiliem os professores na elaboração de estratégias adequadas para o trabalho com geometria em sala de aula. Fundamentados na Teoria d
Publicado em: 2002
-
8. ProS4 - provador automático de teoremas para a lógica modal S4
A Logica Modal tem sido utilizada em Ciencia da Computacao no tratamento de crencas, conhecimento, processamento de linguagem natural, analise de sistemas distribuidos, verificacao de programas concorrentes e paralelos, e raciocinio temporal. Estas aplicacoes requerem o desenvolvimento de provadores automaticos de teoremas para os sistemas modais utilizados
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/08/1993
-
9. Representação integrais e teoremas de adição para funções especiais
Usando-se um método de funções de Green determina-se novas representações integrais e novos teoremas de adição ou regras de soma para as funções hipermétricas e para as funções hipergeométricas confluentes. As funções hipergeométricas estudadas neste trabalho são as funções de Jacobi, Legendri, Gegembauer e Tchebichef. Dentre as hipergeom�
Publicado em: 1982