Famílias de problemas difíceis
De Wiki DAINF
Ir para:
navegação
,
pesquisa
Tabela de conteúdo
1
Para lógica proposicional clássica
2
Para lógicas proposicionais paraconsistentes
2.1
Para lógicas de inconsistência formal
2.2
Para lógicas de da Costa
Para lógica proposicional clássica
PHP
Statman
Tseitin
Gamma
H
Para lógicas proposicionais paraconsistentes
Para lógicas de inconsistência formal
Para lógicas de da Costa
Visualizações
Página
Discussão
Ver código-fonte
Histórico
Ferramentas pessoais
Autenticar-se
Wiki pública do DAINF
Página principal
Organização
Professores
Pesquisas e Projetos
Cursos
Disciplinas
Eventos atuais
Publicações
Infraestrutura
Contatos
Navegação
Portal comunitário
Mudanças recentes
Página aleatória
Ajuda
sitesupport
Pesquisar
Ferramentas
Páginas afluentes
Alterações relacionadas
Páginas especiais
Versão para impressão
Link permanente