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

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

Практические курсы по программированию на русском языке — от первой программы до первой работы → https://ru.hexlet.io/?utm_source=youtube&utm_medium=link&utm_campaign=description-box

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

Полезные ссылки:
https://ru.hexlet.io/blog/categories/education?utm_source=youtube&utm_medium=link&utm_campaign=description-box — Блог Хекслета. Об образовании

https://ru.hexlet.io/professions?utm_source=youtube&utm_medium=link&utm_campaign=description-box — Освоить профессию программиста на Hexlet (JS-backend, JS-frontend, PHP, Java). Хорошо продуманные, упорядоченные курсы, поддержка ментора и сообщества, 4 реальных проекта в портфолио на github. Сертификат по окончанию курсов.

https://ru.hexlet.io/projects?utm_source=youtube&utm_medium=link&utm_campaign=description-box — Подробнее о проектах.

https://ru.hexlet.io/blog/categories/success?utm_source=youtube&utm_medium=link&utm_campaign=description-box — Истории успеха.


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