Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1045
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2012-12-10T18:11:52Z-
dc.date.available2012-12-10T18:11:52Z-
dc.date.issued2012-12-10-
dc.identifier.urihttp://livresaber.sead.ufscar.br/handle/123456789/1045-
dc.description.abstractEste conjunto de slides aborda as técnicas dedutivas. Explica-se o conceito de teorema, e trabalha-se com dedução de consequência lógica a partir de um conjunto de proposições. São discutidos os conceitos de prova direta, prova condicional e prova por absurdo. Trabalha a principal questão: “Existe mais de uma maneira de provar que um argumento é válido?”, apresentando maneiras de respondê-la. São apresentados vários exemplos e exercícios.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectTécnicas dedutivaspt_BR
dc.subjectProva direta (álgebra)pt_BR
dc.subjectProva condicional (álgebra)pt_BR
dc.subjectProva por absurdo (álgebra)pt_BR
dc.subjectContradição (álgebra)pt_BR
dc.subjectTeorema da deduçãopt_BR
dc.titleTécnicas dedutivaspt_BR
dc.typeApresentacaopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration25 slidespt_BR
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Fundamentos Lógica Matemática_Técnicas dedutivas.pdf413,69 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais



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