🌸 СКИДКИ ДО 80 000р. до 14 мая: https://ru.hexlet.io/link/cR8UTP
🔥 Бесплатный курс «Введение в программирование»: https://ru.hexlet.io/link/WzF4Nm
✅ Полезные вебинары по программированию каждую неделю: https://ru.hexlet.io/link/nLx68V

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

Полезные ссылки:
– Блог Хекслета. Об образовании: https://ru.hexlet.io/blog/categories/...
– Истории успеха: https://ru.hexlet.io/blog/categories/...

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

Таймкоды:
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 #математическаяЛогика #логика#обучение #программирование