Введение в логику, урок 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 #математическаяЛогика #логика#обучение #программирование
Видео Введение в логику, урок 1: Базовые понятия канала Хекслет
Практические курсы по программированию на русском языке - от первой программы до первой работы → 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 #математическаяЛогика #логика#обучение #программирование
Видео Введение в логику, урок 1: Базовые понятия канала Хекслет
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Введение в логику, урок 2: Представление функцийРазведопрос: Михаил Васильевич Попов - введение в науку логикиОшибки Мышления. Когнитивные Искажения. Логические Ошибки Мышления1. CS50 на русском: Лекция #1 [Гарвард, Основы программирования, осень 2015 год]Как компьютеры складывают числаПостроение таблиц истинностиЛогика и эпистемология. Лекция 1. Логика Аристотеля Александр Пустовит. Что такое логика?Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.Дмитрий Гусев: Об умении мыслить, или о логикеОперационные системы, урок 1: Что такое компьютер и операционная системаАудиокнига "Логика" (С. Н. Виноградов и А.Ф. Кузьмин)Основы Программирования - #1 - Логика. Алгоритмы06 Элементы алгебры логики Логические операцииОсновы формальной логикиCPU логикаКакую власть дает логика - [Логика #1]І ЛЕКЦИЯ. Логика - наука о правильном рассуждении. Александр ПустовитЛогические выражения, таблицы истинности ,структурная логическая схема4 закона логики | Дмитрий Гусев