Buscar
Mostrando ítems 11-20 de 139
Utilização de Prolog para implementação intuitiva de regras de inferência fuzzy
(Instituto de MatemáticaDepartamento de Ciência da ComputaçãoUFBAbrasil, 2018-04-12)
O presente trabalho de conclusão de curso pretende realizar, com base nas pesquisas da área de programação em lógica, mineração de dados e campos de conhecimento relacionados, uma investigação da utilização de lógica Fuzzy ...
Técnicas Nominais e aplicações em Lógica de primeira ordem
(2022-04-04)
Esta dissertação apresenta um estudo sobre as Técnicas Nominais, introduzidas por Murdoch
J. Gabbay e Andrew M. Pitts, que consistem em uma gama de técnicas, baseadas no conceito
de conjuntos nominais, que descrevem novas ...
A lógica do muito em um sistema de tablôs
(Universidade Estadual Paulista (UNESP), 2014)
Caracterização aritmética em primeira ordem de funções computáveis em espaço polinomial
(Universidade Federal de Pernambuco, 2014)
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 ...
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 ...
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 ...