
Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-8 de 8.
- Anterior
- 1
- Próximo
Conjunto de itens:
Pré-visualização | Data do documento | Tipo | Título | Autor(es) |
---|---|---|---|---|
10-Dez-2012 | Apresentacao | Lógica dos predicados | Levada, Alexandre Luis Magalhães | |
10-Dez-2012 | Apresentacao | Prova por resolução | Levada, Alexandre Luis Magalhães | |
10-Dez-2012 | Apresentacao | Lógica proposicional: Alfabeto e considerações iniciais | 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 | |
10-Dez-2012 | Apresentacao | Técnicas dedutivas | 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 | Inferência lógica e os sistemas de derivação | Levada, Alexandre Luis Magalhães | |
10-Dez-2012 | Apresentacao | Álgebra Proposicional: Propriedades | Levada, Alexandre Luis Magalhães |