Введение в логику, урок 4: Предикаты и кванторы | Хекслет

Классическая логика является формальной основой для 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: Предикаты и кванторы | Хекслет