Linguagem de primeira ordem - Lógica de predicados (parte 2)
Автор: Ad infinitum
Загружено: 2021-11-02
Просмотров: 5212
Описание:
Exploraremos as linguagens de primeira ordem a partir de alguns exemplos. As linguagens de primeira ordem têm um incrível poder expressivo -- capazes, por exemplo, de dar conta de toda a matemática tradicional. Mostraremos os seus ingredientes e, em seguida, como os usar para produzir termos e fórmulas da linguagem.
-------------------------------------------------
00:00 - introdução
00:25 - ingredientes
03:40 - termos de primeira ordem
10:50 - fórmulas atômicas
14:20 - fórmulas compostas
18:15 - exemplo de formalização aritmética
22:00 - fechamento
-------------------------------------------------
Veja os outros vídeos do canal e exercícios em:
https://www.canaladinfinitum.com/curs...
#lógica
#raciocínioLógico
#argumentaçãoLógica
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3)](https://imager.clipsaver.ru/--mHO8AzXBo/max.jpg)
