Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/2172Registro completo de metadados
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Levada, Alexandre Luis Magalhães | - |
| dc.date.accessioned | 2015-03-05T20:03:16Z | - |
| dc.date.available | 2015-03-05T20:03:16Z | - |
| dc.date.issued | 2015-03-05 | - |
| dc.identifier.uri | http://livresaber.sead.ufscar.br:8080/jspui/handle/123456789/2172 | - |
| dc.description.abstract | O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação. | pt_BR |
| dc.language.iso | pt_BR | pt_BR |
| dc.subject | Lógica proposicional; Árvore de derivação; Inferência | pt_BR |
| dc.title | Prova por resolução | pt_BR |
| dc.type | Video | pt_BR |
| dc.description.discipline | Fundamentos de Lógica Matemática | pt_BR |
| dc.description.course | Sistemas de Informação | pt_BR |
| dc.technical.duration | 02min 55s | pt_BR |
| Aparece nas coleções: | Vídeos | |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| prova_resolucao.mp4 | video | 4,22 MB | Vídeo | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons
