Please enable JavaScript to view the page content.
Logo da Universidade do Estado de Santa Catarina

OPAT001

PROVADORES AUTOMÁTICOS DE TEOREMAS
Informações da disciplina
  • Departamento: DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO CCT
  • Carga Horária Teórica: 36 horas/aula
  • Carga Horária Prática: 36 horas/aula
  • Créditos: 4

Ementa


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.

 
ENDEREÇO
Av. Madre Benvenuta, 2007
Itacorubi, Florianópolis / SC
CEP: 88.035-901
CONTATO
Telefone: (48) 3664-8000
E-mail: contato@udesc.br
Horário de atendimento: 13h às 19h