1
Assuntos:
“...Lógica simbólica e matemática...”
Reconhecimento de caracteres alfanuméricos atraves de técnicas de lógica nebulosa
Dissertação
2
Assuntos:
“...Lógica simbólica e matemática...”
Teoria das funções recursivas e aplicações a logica
Dissertação
3
Assuntos:
“...Lógica simbólica e matemática...”
O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
Tese
4
5
6
7
Assuntos:
“...Lógica simbólica e matemática...”
Valorações para alguns sistemas de logica do tempo
Dissertação
8
Assuntos:
“...Lógica simbólica e matemática...”
Verificação automática de lógicas finitas multivalentes
Tese
9
Assuntos:
“...Lógica simbólica e matemática...”
Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
Dissertação
10
Assuntos:
“...Lógica simbólica e matemática...”
Causalidade e dependência em raciocínio sobre ações
Dissertação
11
Assuntos:
“...Lógica simbólica e matemática...”
Planejamento em inteligência artificial na lógica de ações e planos
Dissertação
12
Assuntos:
“...Lógica simbólica e matemática...”
Uma implementação do método das conexões de bibel para uma lógica paraconsistente anotada
Dissertação
13
Assuntos:
“...Lógica simbólica e matemática...”
A argumentação lógica no ensino da geometria
Dissertação
14
Assuntos:
“...Lógica simbólica e matemática...”
Fundamentos logico-epistemologicos da aritmetica
Tese
15
Assuntos:
“...Lógica simbólica e matemática...”
Percursos e tradições das medidas não oficiais no entorno da Estrada Real : de Chica da Silva aos dias atuais
Tese
16
Assuntos:
“...Lógica simbólica e matemática -...”
Considerações sobre a tábua da sexuação no Seminário Mais, ainda em Lacan
Tese
17
Assuntos:
“...Lógica simbólica e matemática...”
Trabalhando o raciocínio lógico no primeiro ano do ensino médio : uma contribuição para a organização do pensamento do estudante
Tese
18
Assuntos:
“...Lógica simbólica e matemática -...”
PUC-SAT : um solucionador híbrido baseado nos algoritmos de Stalmarck e DPLL
Tese
19
Assuntos:
“...Lógica simbólica e matemática...”
O método dos isomorfismos parciais e a caracterização algébrica da expressabilidade matemática
Dissertação