Введение в логику, урок 4: Предикаты и кванторы | Хекслет
Автор: Хекслет - школа программирования
Загружено: 2014-01-15
Просмотров: 124031
Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.
Начните изучать программирование бесплатно на Хекслете: https://ru.hexlet.io/courses_free?utm...
Еще больше полезной информации в Telegram-канале: https://ttttt.me/hexlet_ru
Таймкоды:
0:00 Приветствие
0:30 Определение множества
1:55 Предикаты
3:46 Подмножество
5:40 Связь
8:35 Кванторы
10:13 Примеры предикатов и кванторов
14:05 Закон Де Моргана
14:33 Доказательство
16:30 Упражнения
16:58 Теорема 1.4
Автор: Рахим Давлеткалиев (https://rakh.im/)
#IT #математическаяЛогика #логика#обучение #программирование
Введение в логику, урок 4: Предикаты и кванторы | Хекслет

Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: