Buscar
Mostrando ítems 1-10 de 190
The Algebra of Logic Tradition
(Metaphysics Research Lab - Center for the Study of Language and Information, 2015-01)
The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847). The methodology ...
Calculadora proposicional
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilUTFPR, 2013)
It is a mobile application for Android operating systems, ready for installation format (.apk) to calculate and complete truth tables in the current templates of subjects on the study of Mathematical logic.
As leis lógicas do pensar coerente
(Curitiba, 1991-09)
Teoria da argumentação e análise inferencial em lógica matemática
(Curitiba, 1993-03)
Conhecimento simbólico em John Venn
(Universidade Federal de Santa MariaBRFilosofiaUFSMPrograma de Pós-Graduação em Filosofia, 2013-03-08)
This dissertation presents a reconstruction of John Venn s (1834-1923) logical theory
in Symbolic Logic (1881; 1894). In his work, Venn presents an algebra of logic, and faces a
number of philosophical problems underlying ...
Lógica matemática: uma introdução ao cálculo proposicional
(Curitiba, 1991-03)
Teoria de conjuntos fuzzy e aplicações
(Universidade Estadual Paulista (Unesp), 2013-12-16)
Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas ...
Teoria de conjuntos fuzzy e aplicações
(Universidade Estadual Paulista (UNESP), 2014)