Clique na aula que deseja assistir

Fundamentos Matemáticos para Computação

Aulas de Conteúdo

Semana 1

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

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

Aula 11 - Definições Recorrentes

Aula 12 - Como encontrar a Fórmula Fechada

AULA EXTRA - Dividir para Conquistar

Aula 13 - Relações Binárias



Semana 5

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

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



Semana 7

Aula 25 - Acessibilidade em Grafos

Aula 26 - Grafos Eulerianos