Navegando por Autor Levada, Alexandre Luis Magalhães

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 1 a 16 de 16
Pré-visualizaçãoData do documentoTipoTítuloAutor(es)
10-Dez-2012ApresentacaoÁlgebra Proposicional: PropriedadesLevada, Alexandre Luis Magalhães
5-Mar-2015VideoO caso de WestLevada, Alexandre Luis Magalhães
19-Set-2011AnimacaoConstrução de tabelas verdadeLevada, Alexandre Luis Magalhães
5-Mar-2015VideoConstrução de tabelas verdade - Parte 1Levada, Alexandre Luis Magalhães
6-Mar-2015VideoConstrução de tabelas verdade - Parte 3Levada, Alexandre Luis Magalhães
10-Dez-2012ApresentacaoInferência lógica e os sistemas de derivaçãoLevada, Alexandre Luis Magalhães
11-Dez-2012ApresentacaoLógica de predicados: introdução e conceitos básicosLevada, Alexandre Luis Magalhães
10-Dez-2012ApresentacaoLógica dos predicadosLevada, Alexandre Luis Magalhães
10-Dez-2012ApresentacaoLógica proposicional: Alfabeto e considerações iniciaisLevada, Alexandre Luis Magalhães
10-Dez-2012ApresentacaoProva por resoluçãoLevada, Alexandre Luis Magalhães
5-Mar-2015VideoProva por resoluçãoLevada, Alexandre Luis Magalhães
19-Set-2011AnimacaoProva por resoluçãoLevada, Alexandre Luis Magalhães
10-Dez-2012ApresentacaoTécnicas dedutivasLevada, Alexandre Luis Magalhães
5-Mar-2015VideoTécnicas dedutivasLevada, Alexandre Luis Magalhães
19-Set-2011VideoTécnicas dedutivasLevada, Alexandre Luis Magalhães
11-Dez-2012ApresentacaoTécnicas dedutivas: Prova direta, prova condicional e prova por redução ao absurdoLevada, Alexandre Luis Magalhães