1 - Videoaula 1 - Proposições, Representações Simbólicas e Tautologias 2 - Videoaula 2 - Lógica Proposicional 3 - Texto-base 1 - Fundamentos Matemáticos para a Ciência da Computação - Judith L Gersting 4 - Videoaula 3 - Quantificadores, Predicados e Validade 5 - Atividade Avaliativa

1 - Videoaula 4 - Lógica de Predicados 2 - Videoaula 5 - Programação Lógica 3 - Videoaula 6 - Demonstração de Correção - Axioma de Atribuição 4 - Atividade Avaliativa

1 - Vídeo de apoio - Fundamentos Matemáticos para Computação - Lógica de Predicados 2 - Videoaula 7 - Técnicas de Demonstração 3 - Videoaula 8 - Indução 4 - Texto-base 1 - Fundamentos Matemáticos para a Ciência da Computação - Judith L Gersting 5 - Videoaula 9 - Demonstração de Correção - Regra do laço 6 - Atividade Avaliativa