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
Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga. Conteúdo acessível em Libras usando o VLibras Widget com opções dos Avatares Ícaro, Hosana ou Guga.

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.