Deducao Natural
Mostrando 1-12 de 18 artigos, teses e dissertações.
-
1. A primeira lista de palavras do malaiala escrito por um marinheiro português no final do século XV
Resumo O manuscrito 804 da Biblioteca Pública Municipal do Porto, Portugal, é uma cópia única do relato da primeira viagem de Vasco da Gama (ca. 1460–1524) à Índia. Descreve a expedição desde a saída do rio Tejo, Portugal, em 8 de julho de 1497, até a chegada, no regresso, ao Rio Grande de Buba, na Guiné-Bissau, em 25 de abril de 1499. O autor d
Bol. Mus. Para. Emílio Goeldi. Ciênc. hum.. Publicado em: 2016-12
-
2. Breve histórico da dinâmica newtoniana do movimento curvilíneo
Neste trabalho fazemos uma apresentação da dinâmica newtoniana do movimento curvilíneo. Iniciamos fazendo um pequeno retrospecto da questão, a partir da problematização imposta pela concepção cartesiana do movimento inercial, passando quase que imediatamente ao estudo das sucessivas abordagens newtonianas do tema. Apresentamos os tratamentos iniciai
Rev. Bras. Ensino Fís.. Publicado em: 30/03/2015
-
3. Sistemas de lógica modal em dedução natural
A formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das quais é sempre destacada a prova de normalização. Os sistemas de lógica modal até bem recentemente não eram costumeiramente tratados pelo viés da dedução natural, contudo algumas formulações, provas de normalização e tentativas de provas surg
Publicado em: 2010
-
4. Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento / A type sistems for a knowledge structured representation language
A noção de tipo é intrínseca ao raciocínio humano, na medida que os seres humanos tendem a "classificar" os objetos segundo seu use e seu comportamento como parte do processo de resolução de problemas. Tal classificação dos objetos implica numa abstração das características irrelevantes dos mesmos,permitindo dessa maneira uma simplificação impo
Publicado em: 2010
-
5. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
6. 2-CATEGORY AND PROOF THEORY / 2-CATEGORIA E TEORIA DA PROVA
Natural Deduction for intuitionistic logic has been related to Category Theory by what now is known as Categorical Logic. This relationship is strongly based on the Curry-Howard Isomorphism between Natural Deduction and typed (lambda)-Calculus. This dissertation describes some aspects of these relationship with the aim of proposing a 2-categorical view of ca
Publicado em: 2009
-
7. A dedutibilidade no contexto do Imposto de Renda Pessoa Jurídica
The Income Tax is ruled by complex and sparse rules, indeed one of the most important tributes in Brazil, reaches both natural persons and legal entities. On account of this amplitude, as a rule, the discussions concerning this tribute raise the interest of studious people and contributors as well, who are always interested in verifying whether the demand to
Publicado em: 2008
-
8. LOGIC PROOFS COMPACTATION / COMPACTAÇÃO DE PROVAS LÓGICAS
É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou pro
Publicado em: 2007
-
9. Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que
Publicado em: 2007
-
10. Formação da imagem conceitual da reta real: um estudo do desenvolvimento do conceito na perspectiva lógico - histórica. / Formation of concept image of number line: study of development in logical-historical perspective of concept.
O trabalho constitui-se na formação da imagem conceitual do professor, na inter-relação indivíduo-coletividade, a fim de compreender a relação da imagem conceitual com o desenvolvimento da reta real na perspectiva lógico-histórica desse conceito. Os procedimentos metodológicos fundamentam-se nas contribuições teóricas da pesquisa-ação, cujo pr
Publicado em: 2007
-
11. Uma investigação acerca das regras para a negação e o absurdo em dedução natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenç�
Publicado em: 2006
-
12. A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION / UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the asp
Publicado em: 2004