Análise dos teoremas de corretude, compacidade e completude

ANÁLISE DOS TEOREMAS DE CORRETUDE, COMPACIDADE E COMPLETUDE

Andrei Daniel Stuhler Russi, Camila Santana do Amaral, Cleiton Kirschner,
Gilda Catarina Laurentino Fernandes, Michel Ledra
Acadêmicos de Bacharelado em Ciência da Computação

Instituto Federal Catarinense, Campus Rio do Sul [e-mail], [e-mail], [e-mail], [e-mail], [e-mail];

RESUMO

Neste artigo apresentamos três teoremas que surgiram para validar cálculos de predicados, corretude é aplicada para ver se o cálculo, como o nome já diz, está correto, compacidade é aplicada para ver se um subconjunto é satisfatível ou não, sendo satisfatível, vemos que ali tem compacidade e completude existe se em um cálculo tem-se a corretude e a compacidade, caso contrário, não existe completude.

Palavras – Chave: Cálculo, teoremas, corretude, compacidade, completude.

ABSTRACT

In this article we present three theorems that appeared to validate calculations of predicates, correctness is applied to see whether the calculation, as the name implies, is correct, compactness is applied to see if a subset is satisfiable or not, is satisfiable, we see that there There has compactness and completeness in a calculation we have the correctness and compactness, otherwise there is completeness.

Keywords: account, theorems, accuracy, compactness, completeness.

INTRODUÇÃO

O objetivo deste trabalho é conceituar e aplicar corretude, compacidade e completude através de um programa em Java para comprovar como encontramos esses teoremas, visando garantir que um cálculo de predicados seja dito válido, matemáticos criaram (no final do século XX) testes que identificam possíveis validações, e através de entradas definidas vamos mostrar que estes teoremas podem garantir a eficiência ou deficiência do programa.

CORRETUDE, COMPACIDADE E COMPLETUDE

CORRETUDE

À medida que nossa sociedade se torna mais dependente de computadores é