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

🌸 ВЕСНА В ХЕКСЛЕТЕ! Скидки до 30 000 ₽ на все профессии + 6 месяцев дополнительного сопровождения карьерного трека. Предложение действует при покупке профессий до 31 марта: https://ru.hexlet.io/link/D4vOZU
🔥 Бесплатный курс «Введение в программирование»: https://ru.hexlet.io/link/WzF4Nm
✅ Полезные вебинары по программированию каждую неделю: https://ru.hexlet.io/link/nLx68V

Автор: Рахим Давлеткалиев (https://rakh.im/)

Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста.

Таймкоды:
0:00 Приветствие
0:30 Определение множества
1:55 Предикаты
3:46 Подмножество
5:40 Связь
8:35 Кванторы
10:13 Примеры предикатов и кванторов
14:05 Закон Де Моргана
14:33 Доказательство
16:30 Упражнения
16:58 Теорема 1.4












#IT #математическаяЛогика #логика#обучение #программирование