Olá!
Nessa foto aparece um dos nossos Top Ten, para atender a todos os gostos, e com certeza esse atende a maioria. =) Como sabemos, blabla bla... e assim sendo, o teste para sabermos se um problema é ou não de decisão é pensarmos em como seria uma questão dessas numa prova difícil e bem elaborada, e se daria na seguinte forma de aplicação: saber se o problema é decidível ou não. O problema da decisão consiste em decidir se uma determinada fórmula alfa é ou não um teorema. Não existe método computacional capaz de decidir se determinada senteça da lógica de priemira ordem é ou não válida, ele é somente capaz de dizer se é.
0 comentários:
Postar um comentário