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

Автор: Рахим Давлеткалиев () Практические курсы по программированию на русском языке - от первой программы до первой работы → Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста. Полезные ссылки: - Блог Хекслета. Об образовании - Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов. - Подробнее о проектах. - Истории успеха. Таймкоды: 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 #математическаяЛогика #логика#обучение #программирование