Logica Simbolica E Matematica
Mostrando 13-24 de 45 artigos, teses e dissertações.
-
13. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning,
Publicado em: 2008
-
14. Lógica matemática no ensino médio: uma proposta para mobilizar raciocínios
This work has the purpose of establishing how far it is possible to develop the high school students skills concerning the power and the ability of using the rules of classical logic through activities that mobilize thoughts, using the logical connective: negation, conjunction, disjunction, implication, biconditional and quantitative. The logical reasoning,
Publicado em: 2008
-
15. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives
We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC s) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sigω
Publicado em: 2008
-
16. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007
-
17. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007
-
18. Um Tratamento dos Grafos Existenciais na Obra de Charles Sanders Peirce
O objetivo deste trabalho é apresentar os Grafos Existenciais de nível alfa e beta de Charles Sanders Peirce. Primeiramente, tratamos da origem dos grafos propriamente dito; depois de suas regras de formações, regras de transformações e relações com o cálculo sentencial e o cálculo de predicados clássico
Publicado em: 2006
-
19. Proposta de aprendizagem sobre a importância do desenho geométrico e da geometria descritiva
O Desenho Geométrico tem relação com conteúdos de matemática, principalmente das geometrias, do ensino fundamental. Com a Geometria Descritiva forma um conjunto que se relaciona com a Geometria Espacial, no ensino médio, e com diversas disciplinas dos núcleos básico e de aplicação no ensino superior, especificamente na área de ciências exatas. Em
Publicado em: 2006
-
20. Um verificador de modelos explícito-simbólico
Neste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelage
Publicado em: 2005
-
21. Semantica algebrica de traduções possiveis
ormado
Publicado em: 2004
-
22. Sobre o calculo diferencial paraconsistente de da Costa
O objetivo deste trabalho é desenvolver alguns principios básicos de um Cálculo Diferencw Paraconsistente. Como elementos motivadores para isso, apresentamos, na Introdução, alguns dados sobre o desenvolVÚI1ento do cálculo diferencial, desde suas origens ao advento da anãlise não-standard, bem como relativos à história da lógica e à da teoria de
Publicado em: 2004
-
23. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa
In this work, we introduce the hierarchy of propositional natural deduction systems DNCn, 1≤n≤ω, and the hierarchy of quantificational natural deduction systems DNCn*, 1≤n≤ω. We prove that each one of the systems of the hierarchies is equivalent to the corresponding system of the hierarchy of da Costa´s propositional paraco
Publicado em: 2004
-
24. Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Gödel s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel s results, associated to Church s Thesis/Definition on calculability, imply the impossibility of complete
Publicado em: 2003