Buscar
Mostrando ítems 1-10 de 23
Tableaux e indução na lógica do plausível
(Universidade Estadual Paulista (Unesp), 2005-09-27)
Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a ...
Uma lógica do poucos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos ...
A lógica do muito em um sistema de tablôs
(Universidade Estadual Paulista (Unesp), 2008-07-14)
Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado ...
Um modelo algébrico para a lógica do muito
(Universidade Estadual Paulista (Unesp), 2013-10-09)
Esta dissertação trata, em um primeiro momento, de um estudo sobre quantificadores com seus aspectos históricos e algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com ...
Sobre quantificadores: uma formalização do quantificador 'quase sempre'
(Universidade Estadual Paulista (Unesp), 2012-02-24)
O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores ...
Um modelo algébrico do quantificador da ubiquidade
(Universidade Estadual Paulista (Unesp), 2015)
Processos educativos e emancipação: a visão dos educadores sociais sobre suas práticas
(Universidade Estadual Paulista (Unesp), 2016)
Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
(Universidade Estadual Paulista (Unesp), 2011-09-09)
Grácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a ...
Aspectos lógicos e algébricos dos conjuntos fuzzy
(Universidade Estadual Paulista (Unesp), 2012)
Este trabalho se inicia com um breve resgate histórico do denominado Mundo Fuzzy, com destaque sobre a teoria de conjuntos fuzzy, teoria essa em que a bivalência da teoria usual de conjuntos não se aplica. A seguir, são ...
Paradoxos e desafios do ensino superior no Brasil: a experiência dos cursinhos populares
(Universidade Estadual Paulista (Unesp), 2013-02-28)
Concebemos a educação como inscrita em uma ampla e complexa rede de relações sociais, de modo que se faz impossível abordar seu papel social sem ter em conta os desdobramentos observados nas demais esferas que compõem a ...