Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1049
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Levada, Alexandre Luis Magalhães | - |
dc.date.accessioned | 2012-12-11T16:04:01Z | - |
dc.date.available | 2012-12-11T16:04:01Z | - |
dc.date.issued | 2012-12-11 | - |
dc.identifier.uri | http://livresaber.sead.ufscar.br/handle/123456789/1049 | - |
dc.description.abstract | Neste 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.iso | pt_BR | pt_BR |
dc.subject | Lógica matemática | pt_BR |
dc.subject | Técnicas dedutivas | pt_BR |
dc.subject | Prova condicional (álgebra) | pt_BR |
dc.subject | Prova por absurdo (álgebra) | pt_BR |
dc.subject | Prova direta (álgebra) | pt_BR |
dc.subject | Prova por resolução | pt_BR |
dc.title | Técnicas dedutivas: Prova direta, prova condicional e prova por redução ao absurdo | pt_BR |
dc.type | Apresentacao | 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 | 7 slides | pt_BR |
Aparece nas coleções: | Textos e apresentações |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Técnicas dedutivas.pdf | 675,66 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons