Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-5 de 5.
- 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 | Lógica proposicional: Alfabeto e considerações iniciais | 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 | |
19-Set-2011 | Animacao | Prova por resolução | Levada, Alexandre Luis Magalhães |