Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/123456789/1045Registro completo de metadados
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Levada, Alexandre Luis Magalhães | - |
| dc.date.accessioned | 2012-12-10T18:11:52Z | - |
| dc.date.available | 2012-12-10T18:11:52Z | - |
| dc.date.issued | 2012-12-10 | - |
| dc.identifier.uri | http://livresaber.sead.ufscar.br/handle/123456789/1045 | - |
| dc.description.abstract | Este 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.iso | pt_BR | pt_BR |
| dc.subject | Técnicas dedutivas | pt_BR |
| dc.subject | Prova direta (álgebra) | pt_BR |
| dc.subject | Prova condicional (álgebra) | pt_BR |
| dc.subject | Prova por absurdo (álgebra) | pt_BR |
| dc.subject | Contradição (álgebra) | pt_BR |
| dc.subject | Teorema da dedução | pt_BR |
| dc.title | Técnicas dedutivas | 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 | 25 slides | pt_BR |
| Aparece nas coleções: | Textos e apresentações | |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| Fundamentos Lógica Matemática_Técnicas dedutivas.pdf | 413,69 kB | Adobe PDF | Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está habilitado sob uma Licença Creative Commons
