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

Классическая логика является формальной основой для 99% современной математики. Понимание принципов логики — обязательно для программиста. Начните изучать программирование бесплатно на Хекслете: https://ru.hexlet.io/courses_free?utm_source=youtube&utm_medium=social&utm_campaign=freemium Еще больше полезной информации в Telegram-канале: https://ttttt.me/hexlet_ru Таймкоды: 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 Домашнее задание Автор: Рахим Давлеткалиев (https://rakh.im/) #IT #математическаяЛогика #логика#обучение #программирование Введение в логику, урок 1: Базовые понятия | Хекслет