Введение в логику, урок 4: Предикаты и кванторы
Автор: Рахим Давлеткалиев (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:30 Определение множества
1:55 Предикаты
3:46 Подмножество
5:40 Связь
8:35 Кванторы
10:13 Примеры предикатов и кванторов
14:05 Закон Де Моргана
14:33 Доказательство
16:30 Упражнения
16:58 Теорема 1.4
#IT #математическаяЛогика #логика#обучение #программирование
Видео Введение в логику, урок 4: Предикаты и кванторы канала Хекслет
Практические курсы по программированию на русском языке - от первой программы до первой работы → 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:30 Определение множества
1:55 Предикаты
3:46 Подмножество
5:40 Связь
8:35 Кванторы
10:13 Примеры предикатов и кванторов
14:05 Закон Де Моргана
14:33 Доказательство
16:30 Упражнения
16:58 Теорема 1.4
#IT #математическаяЛогика #логика#обучение #программирование
Видео Введение в логику, урок 4: Предикаты и кванторы канала Хекслет
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Введение в логику, урок 5: Теории: интуицииЛекция 13: Логика предикатовФокусы языка и кванторыКонъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICSМатематика. 6 класс. Переменные и кванторыЛекция 9: Логика. Исчисления высказываний и исчисление предикатовЛекция 19: Логика предикатов. КванторыВведение в логику, урок 3: Самая сложная логическая задачаВведение в логику, урок 6: Парадоксы и заключениеОперации над множествамиЛогика. 2.1. СуждениеПредикатыМатлогика 14. Исчисление предикатовВведение в логику, урок 1: Базовые понятияAIML-2-2-1 Логика предикатовЛогика для чайников4 закона логики | Дмитрий ГусевВведение в логику, урок 2: Представление функций