Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1046
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2012-12-10T18:27:59Z-
dc.date.available2012-12-10T18:27:59Z-
dc.date.issued2012-12-10-
dc.identifier.urihttp://livresaber.sead.ufscar.br/handle/123456789/1046-
dc.description.abstractEstes 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.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectProva por resoluçãopt_BR
dc.subjectDemonstração (álgebra)pt_BR
dc.subjectÁrvore de refutaçãopt_BR
dc.subjectArgumento válido (álgebra)pt_BR
dc.titleProva por resoluçãopt_BR
dc.typeApresentacaopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration21 slidespt_BR
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