Aula 5 - Predicados e Quantificadores (Parte V de Lógica) - Fundamentos Matemáticos para Computação
Автор: Professor Douglas Maioli
Загружено: 2020-10-14
Просмотров: 34031
Conteúdo desta aula:
0:00 - Predicados;
5:00 - Quantificador Universal;
15:02 - Quantificador Existencial;
17:38 - Quantificador de Existência e Unicidade;
20:21 - Exemplos com Quantificadores;
26:18 - Negação de quantificadores;
31:31 - Regras de Inferência para Quantificadores:
33:56 - Particularização Universal (PU);
41:50 - Particularização Existencial (PE);
43:20 - Generalização Existencial (GE);
52:16 - Generalização Universal (GU);
55:32 - Exemplo;
1:00:48 - Resumo das Regras de Inferência para Quantificadores
Slide desta aula:
https://drive.google.com/file/d/1sb3v...
Ficha-Resumo de Lógica: (versão completa)
https://drive.google.com/file/d/1sOqi...
Aula Anterior (Regras de Inferência):
• Aula 4 - Regras de Inferência (Parte IV de...
Próxima aula (PROLOG):
• Aula 6 - PROLOG (Parte VI de Lógica) - Fu...
Site:
https://professordouglasmaioli.com.br/
💻📱 Playlists do Canal:
Pré-Cálculo:
• Pré-Cálculo
Cálculo I:
• Cálculo I - Limite, Derivada e Integral
Matemática Básica:
• Matemática Básica - UNIVESP
Fundamentos Matemáticos para Computação (Matemática Discreta):
• Matemática Discreta (Fundamentos Matemátic...
Seja um padrinho desse Canal:
https://www.padrim.com.br/CanalProfes...
Instagram: @professordouglasmaioli
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Lógica de primeira ordem [9] - Quantificadores (2/2)](https://ricktube.ru/thumbnail/LICgEY7cVtM/mqdefault.jpg)
