Prova De Teoremas
Mostrando 1-12 de 23 artigos, teses e dissertações.
-
1. Polinômios dominados entre espaços de Banach / Dominated polynomials between Banach spaces
O principal objetivo desta dissertação é estudar teoremas de dominação e de fatoração para polinômios homogêneos dominados entre espaços de Banach. Para isso primeiro estudam-se os polinômios homogêneos contínuos entre espaços de Banach, exibindo várias propriedades e exemplos. Posteriormente, volta-se o estudo para os polinômios homogêneos
Publicado em: 2011
-
2. Um homomorfismo índice associado à ações livres de grupos abelianos finitos
O principal objetivo deste trabalho é generalizar um artigo de Pedro Pergher, especificamente o artigo A Zp-índex homomorphism for Zp-spaces Houston J. Math. 31 (2005) N. 2 305-314 [7], trocando o grupo cíclico Zp por um abeliano finito qualquer. No artigo em questão, P. Pergher construiu um homomorfismo índice associado a Zp-espaços, ou seja, espaços
Publicado em: 2011
-
3. Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de estados, o uso de provadores de teoremas represent
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/03/2010
-
4. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
5. Complexidade computacional e o problema P vs NP / Computational complexity and the P vs NP problem
A teoria de complexidade computacional procura estabelecer limites para a eficiência dos algoritmos, investigando a dificuldade inerente dos problemas computacionais. O problema P vs NP é uma questão central em complexidade computacional. Informalmente, ele procura determinar se, para uma classe importante de problemas computacionais, a busca exaustiva po
Publicado em: 2010
-
6. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
7. Verificação automática de lógicas finitas multivalentes
Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência,
Publicado em: 2010
-
8. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
9. Uma demonstração do teorema da singularidade de Hawking
Apresentamos neste trabalho uma demonstração do teorema de singularidade de Hawking. Este é o mais simples de uma série de resultados em Relatividade Geral, os teoremas de Hawking-Penrose, que fornecem condições suficientes para a existência de singularidades geradas por colapsos gravitacionais. De fato, os teoremas nada falam da natureza destas singu
Publicado em: 2009
-
10. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
11. Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica / A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu resp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2007
-
12. Robótica cognitiva: programação baseada em lógica para controle de robôs
A área de Robótica Cognitiva tem como principal objetivo desenvolver agentes robóticos capazes de realizar funções de alto-nível, especificando o programa de controle do robô em uma linguagem de programação baseada em lógica. Desta forma, é possível declarar e verificar propriedades do agente como prova de teoremas. Além disso, uma especificaç�
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2007-06