Clique na aula que deseja assistir

Fundamentos Matemáticos para Computação

Aulas de Conteúdo

Semana 1:

PARTE DE LÓGICA:

Aula 1 - Tabela Verdade/Conectivos (Parte I de Lógica)

Aula 2 - Fórmula bem formulada/Tautologia/Contradição (Parte II de Lógica)

Aula 3 - Equivalências Tautológicas (Parte III de Lógica)

Aula 4 - Regras de Inferência (Parte IV de Lógica)



Semana 2:

Aula 5 - Predicados e Quantificadores (Parte V de Lógica)

Aula 6 - PROLOG (Parte VI de Lógica)

AULA EXTRA - Entendendo Recorrência usando o PROLOG



Semana 3:

 PARTE DE DEMONSTRAÇÕES:

Aula 7 - Técnicas de Demonstrações Matemáticas

Aula 8 - Indução Matemática

Aula 9 - Tripla de Hoare - Axioma de Atribuição - Regra do Condicional (Demonstração de Correção)

Aula 10 - Regra do Laço (Demonstração de Correção)


Semana 4:

 PARTE DE RECURSIVIDADE:

Aula 11 - Definições Recorrentes

Aula 12 - Como encontrar a Fórmula Fechada

AULA EXTRA - Dividir para Conquistar



Semana 5:

PARTE DE RELAÇÕES BINÁRIAS / FUNÇÕES:

Aula 13 - Relações Binárias

Aula 14 - Funções

Aula 15 - Análise de Algoritmos - Ordem de Grandeza Parte de Matrizes

Aula 16 - Introdução à Matrizes

Aula 17 - Operações de Matrizes

Aula 18 - Matrizes Booleanas



Semana 6 e 7:

 PARTE DE GRAFOS:

Aula 19 - Introdução aos Grafos (Grafo 01)

Aula 20 - Terminologia de Grafos (Grafo 02)

Aula 21 - Representações de Grafos (Grafo 03)

Aula 22 - Introdução às Árvores (Grafo 04)

Aula 23 - Percurso em Árvores Binárias (Grafo 05)

Aula 24 - Árvore Binária de Busca (Grafo 06)

Aula 25 - Acessibilidade em Grafos (Grafo 07)

Aula 26 - Grafos Eulerianos (Grafo 08) 

Aula 27 - Grafos Valorados (Grafo 09)