Navegando por Autor Levada, Alexandre Luis Magalhães
Mostrando resultados 1 a 17 de 17
Pré-visualização | Data do documento | Tipo | Título | Autor(es) |
| 10-Dez-2012 | Apresentacao | Álgebra Proposicional: Propriedades | Levada, Alexandre Luis Magalhães |
| 5-Mar-2015 | Video | O caso de West | Levada, Alexandre Luis Magalhães |
| 19-Set-2011 | Animacao | Construção de tabelas verdade | Levada, Alexandre Luis Magalhães |
| 5-Mar-2015 | Video | Construção de tabelas verdade - Parte 1 | Levada, Alexandre Luis Magalhães |
| 6-Mar-2015 | Video | Construção de tabelas verdade - Parte 3 | Levada, Alexandre Luis Magalhães |
| 29-Nov-2017 | Livro | Fundamentos de lógica matemática | Levada, Alexandre Luis Magalhães |
| 10-Dez-2012 | Apresentacao | Inferência lógica e os sistemas de derivação | Levada, Alexandre Luis Magalhães |
| 11-Dez-2012 | Apresentacao | Lógica de predicados: introdução e conceitos básicos | Levada, Alexandre Luis Magalhães |
| 10-Dez-2012 | Apresentacao | Lógica dos predicados | Levada, Alexandre Luis Magalhães |
| 10-Dez-2012 | Apresentacao | Lógica proposicional: Alfabeto e considerações iniciais | Levada, Alexandre Luis Magalhães |
| 10-Dez-2012 | Apresentacao | Prova por resolução | Levada, Alexandre Luis Magalhães |
| 5-Mar-2015 | Video | Prova por resolução | Levada, Alexandre Luis Magalhães |
| 19-Set-2011 | Animacao | Prova por resolução | Levada, Alexandre Luis Magalhães |
| 10-Dez-2012 | Apresentacao | Técnicas dedutivas | Levada, Alexandre Luis Magalhães |
| 5-Mar-2015 | Video | Técnicas dedutivas | Levada, Alexandre Luis Magalhães |
| 19-Set-2011 | Video | Técnicas dedutivas | Levada, Alexandre Luis Magalhães |
| 11-Dez-2012 | Apresentacao | Técnicas dedutivas: Prova direta, prova condicional e prova por redução ao absurdo | Levada, Alexandre Luis Magalhães |