Введение в логику, урок 1: Базовые понятия

Автор: Рахим Давлеткалиев () Практические курсы по программированию на русском языке - от первой программы до первой работы → Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для настоящего программиста. Полезные ссылки: - Блог Хекслета. Об образовании - Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов. - Подробнее о проектах. - Истории успеха. Таймкоды: 0:00 Приветствие 0:20 Высказывания 2:30 Логические операции. Логическое И 3:30 Логические операции. Логическое ИЛИ 4:10 Логические операции. Исключающее ИЛИ 4:32 Логические операции. Эквиваленция 5:01 Логические операции. Отрицание 5:20 Логические операции. Импликация 6:03 Таблица истинности 9:35 Пример использования 12:30 Теорема 1.1 Ассоциативность 13:20 Теорема 1.1 Коммутативность 13:50 Теорема 1.1 Дистрибутивность 14:25 Теорема 1.1 Двойное отрицание 15:08 Теорема 1.1 Законы Де Моргана 16:01 Теорема 1.1 Простые утверждения 16:32 Доказательство. Интуитивный подход 17:32 Доказательство. Вывод одного из другого 18:08 Доказательство. Перебор всех вариантов 19:42 Доказательство дистрибутивности 20:38 Законы. Детали 23:10 Закон Де Моргана 26:00 Закон импликации 26:55 Домашнее задание #IT #математическаяЛогика #логика#обучение #программирование