Aulas
0% concluído
Aula #01 - Tabela Verdade dos Conectivos (Parte I de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 1
Aula #02 - Fórmula/Tautologia/Contrad. (Parte II de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 2
Aula #03 - Equivalências Tautológicas (Parte III de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 3
Aula #04 - Regras de Inferência (Parte IV de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 4
Aula #05 - Predicados e Quantificadores (Parte V de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 5
Aula #06 - PROLOG (Parte VI de Lógica) | Fundamentos Matemáticos para ComputaçãoAula 6
Entendendo Recorrência usando o PROLOG | Fundamentos Matemáticos para ComputaçãoAula 7
Aula #07 - Técnicas de Demonstrações (Parte Demonstração) | Fundamentos Matemáticos para ComputaçãoAula 8
Aula #08 - Princípio da Indução Finita (Parte Demonstração) | Fundamentos Matemáticos para ComputaçãoAula 9
Aula #09 - Tripla de Hoare - Axioma de Atribuição - Regra do Condicional (Demonstração de Correção) | Fundamentos Matemáticos para ComputaçãoAula 10
Aula #10 - Regra do Laço (Demonstração de Correção) | Fundamentos Matemáticos para ComputaçãoAula 11
Aula #11 - Definições Recorrentes (Recursividade) | Fundamentos Matemáticos para ComputaçãoAula 12
Aula #12 - Como encontrar a Fórmula Fechada (Recursividade) | Fundamentos Matemáticos para ComputaçãoAula 13
Aula Extra - Dividir para Conquistar (Recursividade) | Fundamentos Matemáticos para ComputaçãoAula 14
Aula #13 - Relações Binárias | Fundamentos Matemáticos para ComputaçãoAula 15
Aula #14 - Funções | Fundamentos Matemáticos para ComputaçãoAula 16
Aula #15 - Análise de Algoritmos - Ordem de Grandeza | Fundamentos Matemáticos para ComputaçãoAula 17
Aula #16 - Introdução à Matrizes (Parte I de Matrizes) | Fundamentos Matemáticos para ComputaçãoAula 18
Aula #17 - Operações de Matrizes (Parte II de Matrizes) | Fundamentos Matemáticos para ComputaçãoAula 19
Aula #18 - Matrizes Booleanas (Parte III de Matrizes) | Fundamentos Matemáticos para ComputaçãoAula 20