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

1 - Videoaula 10 - Definições Recorrentes 2 - Videoaula 11 - Relações de Recorrência 3 - Videoaula 12 - Relações Binárias 4 - Atividade Avaliativa

1 - Videoaula 13 - Funções 2 - Videoaula 14 - Ordem de Grandeza 3 - Videoaula 15 - Matrizes 4 - Atividade Avaliativa

1 - Videoaula 16 - Grafos e suas Representações 2 - Videoaula 17 - Árvores e suas Representações 3 - Videoaula 18 - Árvores de Decisão 4 - Atividade Avaliativa

1 - Videoaula 19 - Grafos Direcionados Relações Binárias e Acessibilidade 2 - Videoaula 20 - Caminho de Euler e Circuito Hamiltoniano 3 - Texto-base 1 - Fundamentos Matemáticos para a Ciência da Computação - Judith L Gersting 4 - Texto-base 2 - Fundamentos Matemáticos para a Ciência da Computação - Judith L Gersting 5 - Atividade Avaliativa

1 - Texto-base - Revisão - Cláudio Fabiano Motta Toledo 2 - FUNDAMENTOS MATEMÁTICOS PARA COMPUTAÇÃO - REVISÃO FINAL 3 - Texto-base - Revisão - Sequência de Fibonacci