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...

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...

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

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...

direito com sentido tecnológico, tendo em vista o chamado "problema da decidibilidade". A ideia de uma ciência do direito em seu sentido estrito normalmente...