Aspectos teóricos da indecidibilidade da lógica clássica de primeira ordem. Lógicas para consistentes. Métodos de prova: tablôs e procedimento de Davis-Putnam. Implementação de provadores baseados no método de tablôs. Implementação de provadores baseados no procedimento de Davis-Putnam. Implementação de provadores para lógicas para consistentes.
Utilizamos cookies para melhorar sua experiência de navegação no Portal da Universidade do Estado de Santa Catarina. Ao continuar navegando no Portal, você concorda com o uso de cookies.