Clique na aula que deseja assistir

Roteiro de Estudos

1. PARTE DE LÓGICA

1.1 Tabela Verdade
🎬 Assistir a Aula 1 - Tabela Verdade dos Conectivos
🎬 Assistir a Aula 2 - Fórmula Bem Formulada/Tautologia/Contradição

1.2 Lógica Proposicional
🎬 Assistir a Aula 3 - Equivalências Tautológicas
🎬 Assistir a Aula 4 - Regras de Inferência
📝 Assistir Exercícios de Apoio da Semana 1
*Dica: No vídeo de Exercícios de Apoio, pare o vídeo em cada exercício, tente fazer sozinho e depois veja a resolução.

1.3 Lógica de Predicados
🎬 Assistir a Aula 5 - Predicados e Quantificadores
📝 Assistir a resolução do Desafio da Semana 2
📝 Assistir Exercícios de Apoio da Semana 2
*Dica: No vídeo de Exercícios de Apoio, pare o vídeo em cada exercício, tente fazer sozinho e depois veja a resolução.

1.4 PROLOG
🎬 Assistir a Aula 6 - PROLOG
📝 Assistir ao vídeo "Entendendo Recorrência usando o PROLOG"


2. PARTE DE DEMONSTRAÇÕES

2.1 Demonstrações Matemáticas (Técnicas Iniciais)
🎬 Assistir a Aula 7 - Técnicas de Demonstrações
📝 Assistir os Exercícios 1 e 2 de Apoio da Semana 3

2.1 Demonstrações por Indução Matemática
🎬 Assistir a Aula 8 - Indução Matemática
📝 Assistir Exercícios 3, 4, 5, 6, 7 e 8 de Apoio da Semana 3

2.3 Demonstração de Correção
🎬 Assistir a Aula 9 - Tripla de Hoare - Axioma de Atribuição - Regra do Condicional (Demonstração de Correção)
🎬 Assistir a Aula 10 - Regra do Laço (Demonstração de Correção)
📝 Assistir Exercício 9 de Apoio da Semana 3


3. PARTE DE RECURSIVIDADE

🎬 Aula 11 - Definições Recorrentes
🎬 Aula 12 - Como encontrar a Fórmula Fechada
🎬 Aula Extra - Dividir para Conquistar


4. Parte de Relações Binárias e Funções / Ordem de Grandeza

🎬 Aula 13 - Relações Binárias
🎬 Aula 14 - Funções
🎬 Aula 15 - Análise de Algoritmos - Ordem de Grandeza


5. Parte de Matrizes

🎬 Aula 16 - Introdução à Matrizes
🎬 Aula 17 - Operações de Matrizes
🎬 Aula 18 - Matrizes Booleanas


6. Parte de Grafos

🎬 Aula 19 - Introdução aos Grafos
🎬 Aula 20 - Terminologia de Grafos
🎬 Aula 21 - Representações de Grafos
🎬 Aula 22 - Introdução às Árvores
🎬 Aula 23 - Percurso em Árvores Binárias
🎬 Aula 24 - Árvore Binária de Busca
🎬 Aula 25 - Acessibilidade em Grafos
🎬 Aula 26 - Grafos Eulerianos