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 | Tamanho | Formato | |
|---|---|---|---|---|
| Fundamentos Lógica Matemática_Prova por resolução.pdf | 415,59 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons
