Navegando por Assunto Lógica proposicional
Mostrando resultados 1 a 5 de 5
Pré-visualização | Data do documento | Tipo | Título | Autor(es) |
---|---|---|---|---|
10-Dez-2012 | Apresentacao | Álgebra Proposicional: Propriedades | 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 | 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 | |
19-Set-2011 | Animacao | Prova por resolução | Levada, Alexandre Luis Magalhães |