Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/2172
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2015-03-05T20:03:16Z-
dc.date.available2015-03-05T20:03:16Z-
dc.date.issued2015-03-05-
dc.identifier.urihttp://livresaber.sead.ufscar.br:8080/jspui/handle/123456789/2172-
dc.description.abstractO 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.isopt_BRpt_BR
dc.subjectLógica proposicional; Árvore de derivação; Inferênciapt_BR
dc.titleProva por resoluçãopt_BR
dc.typeVideopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration02min 55spt_BR
Aparece nas coleções:Vídeos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
prova_resolucao.mp4video4,22 MBVídeoVisualizar/Abrir


Este arquivo é protegido por direitos autorais



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