Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1046
Título: Prova por resolução
Tipo: Apresentacao
Autor(es): Levada, Alexandre Luis Magalhães
Palavras-chave: Prova por resolução;Demonstração (álgebra);Árvore de refutação;Argumento válido (álgebra)
Data do documento: 10-Dez-2012
Resumo: Estes slides pretendem possibilitar entender como a prova por resolução, método sintático de prova fundamentado em uma única regra de inferência, pode ser utilizada na demonstração de teoremas e na verificação de argumentos. Discutem e ilustram o conceito por meio de vários exemplos.
URI: http://livresaber.sead.ufscar.br/handle/123456789/1046
Curso: Sistemas de Informação
Disciplina: Fundamentos de Lógica Matemática
Duração: 21 slides
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Fundamentos Lógica Matemática_Prova por resolução.pdf415,59 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



Este item está habilitado sob uma Licença Creative Commons Creative Commons