exemplo, a lógica de Kleene. Nesses casos, definições alternativas de decidibilidade são muitas vezes utilizadas, as quais pedem um método eficaz para determinar...

A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente...

como representações simbólico numéricas, complexidade computacional e decidibilidade. Trabalhos mais recentes no campo tem explorado o projeto de agentes...

Uma consequência deste axioma é que Alfred Tarski's demonstrou que a decidibilidade do corpo real ordenado poderia ser vista como um algoritmo para resolver...

indecidível é o problema em que a linguagem não é um conjunto recursivo; veja Decidibilidade. Existem incontáveis problemas indecidíveis, por isso essa lista é incompleta...

Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador. É atualmente a sub-área...

ferramenta de análise matemática (pura). Um exemplo do segundo caso é a decidibilidade da teoria de primeira ordem dos números reais, um problema de matemática...

implicar na decidibilidade desta teoria. Mesmo a versão real da conjectura de Schanuel não é uma condição necessária para a decidibilidade da teoria. Em...

teoria modelo e decidibilidade de teorias elementares. No início da década de 1960 Maltsev trabalhou em problemas de decidibilidade de teorias elementares...

de eliminação de quantificadores. Se houver este algoritmo, então a decidibilidade para a teoria se reduz a decidir o valor verdade de sentenças livres...

árvore infinita foi usado pela primeira vez por Rabin para provar a decidibilidade da lógica de segunda ordem monádica. Foi também observado que autômato...