[ Lista 12 - Aula de Aspectos Formais da Lógica de Predicados e Dedução Natural - Res. Comentada ]
14:55
[ Lista 13 - Aula de Introdução a Lógica Modal - Resolução Comentada ]
24:13
[ Lista 14 - Aula de Demonstrações na Lógica Modal - Resolução Comentada ]
33:50
[ Lista 11 - Aula de Introdução ao Estudo da Lógica de Predicados - Resolução Comentada ]
17:53
[ Lista 15 - Aula de Introdução a Álgebra Booleana - Resolução Comentada ]
23:33
[ Lista 10 - Aula de Forma Normal Disjuntiva - FND e Resolução - Resolução Comentada ]
20:16
[ Lista 11 - Aula de Indução Matemática - Resolução Comentada ]
10:32
[ Lista 16 - Aula de Demonstrações de Teoremas da Álgebra Booleana - Resolução Comentada ]
19:51