1. Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar
  2. Graduação a distância
  3. Sistemas de Informação
  4. Textos e apresentações
Use este identificador para citar ou linkar para este item: http://hdl.handle.net/123456789/1049
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLevada, Alexandre Luis Magalhães-
dc.date.accessioned2012-12-11T16:04:01Z-
dc.date.available2012-12-11T16:04:01Z-
dc.date.issued2012-12-11-
dc.identifier.urihttp://livresaber.sead.ufscar.br/handle/123456789/1049-
dc.description.abstractNeste conjunto de slides é possível encontrar uma breve síntese sobre as principais técnicas dedutivas. São apresentadas as técnicas de prova direta, prova condicional e prova por redução ao absurdo. Passa rapidamente pelas duas primeiras, sendo mais específico na explicação da terceira técnica.pt_BR
dc.language.isopt_BRpt_BR
dc.subjectLógica matemáticapt_BR
dc.subjectTécnicas dedutivaspt_BR
dc.subjectProva condicional (álgebra)pt_BR
dc.subjectProva por absurdo (álgebra)pt_BR
dc.subjectProva direta (álgebra)pt_BR
dc.subjectProva por resoluçãopt_BR
dc.titleTécnicas dedutivas: Prova direta, prova condicional e prova por redução ao absurdopt_BR
dc.typeApresentacaopt_BR
dc.description.disciplineFundamentos de Lógica Matemáticapt_BR
dc.description.courseSistemas de Informaçãopt_BR
dc.technical.duration7 slidespt_BR
Aparece nas coleções:Textos e apresentações

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Técnicas dedutivas.pdf675,66 kBAdobe PDFVisualizar/Abrir


Este arquivo é protegido por direitos autorais

Ver licença
Mostrar registro simples do item Visualizar estatísticas


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