Este curso de Lógica será a base para Fundamentos Matemáticos para a Computação.
Curso com slides das aulas e exercícios resolvidos.
*** Nível deste curso: Iniciante!...
smart_display | Aula 1 - Tabela Verdade dos Conectivos (Parte I de Lógica) - Fundamentos Matemáticos para Computação | |
smart_display | Aula 2 - Fórmula/Tautologia/Contrad. (Parte II de Lógica) - Fundamentos Matemáticos para Computação |
smart_display | Aula 3 - Equivalências Tautológicas (Parte III de Lógica) - Fundamentos Matemáticos para Computação | |
smart_display | Aula 4 - Regras de Inferência (Parte IV de Lógica) - Fundamentos Matemáticos para Computação |
smart_display | Aula 5 - Predicados e Quantificadores (Parte V de Lógica) - Fundamentos Matemáticos para Computação |
smart_display | Aula 6 - PROLOG (Parte VI de Lógica) - Fundamentos Matemáticos para Computação | |
smart_display | Entendendo Recorrência usando o PROLOG |
quiz | Questões |
Grátis
Instrutor(a):
6 cursos2203 alunosMestre e Doutor em Matemática Aplicada pela UNICAMP. Graduado em Licenciatura em Matemática pela UNESP. Foi eleito o melhor aluno do 1º, 2º e 3º de seu curso na graduação. Formado em Magistério pelo CEFAM. Tem mais de 10 anos de experiência em sala aula.