В изложенном здесь материале содержится КОНЦЕПТУАЛЬНАЯ ОШИБКА. Это - не ошибка лектора, а ошибка хоть и классического, но весьма архаичного описания логических множеств. Именно из-за возникающих по причине этой ошибки парадоксов, как вполне справедливо замечено лектором (8:18) «Георг Кантор сошёл с ума». В чём эта ошибка конкретно? В представлении понятия (7:00) «Универсум» (U) множество НЕ-А не может размещаться за границами универсума. А и НЕ-А для системы из ОДНОЙ логической переменной = как и множества (как бы они не называлась - множества А, B, переменная x или даже понятие «наш предмет мышления») размещены ВНУТРИ ОДНОГО И ТОГО ЖЕ УНИВЕРСУМА. Но никак не за границами универсума. Даже если А - не одна локальная переменная, а всё Мироздание, то НЕ-А не может находиться вне всего Мироздания. Если оно не в Мироздании, то - где? :-) Из этой ошибки проистекает и следующее утверждение лектора - якобы о том, что (8:50) «Теория множеств - это не логика. Это - теория множеств». Увы, могу расстроить приверженцев архаичной «Теории множеств»: ТЕОРИЯ МНОЖЕСТВ, ЛОГИКА и БУЛЕВА АЛГЕБРА (со всеми дизъюнкциями и конъюнкциями и импликациями) - ЭТО ЕДИНОЕ И НЕРАЗРЫВНОЕ ЦЕЛОЕ. Видео с более подробным изложением затронутых здесь тем: 1) Полная система логических отношений и логика искусственного интеллекта: th-cam.com/video/j3hbyzrksBA/w-d-xo.html 2) НЕЛОГИЧНОСТИ В ЗАКОНАХ ЛОГИКИ (Универсумная логика - введение): th-cam.com/video/RLTQGy4kHGo/w-d-xo.html 3) ЕДИНАЯ СИСТЕМА ЗАКОНОВ ЛОГИКИ И ФИЛОСОФИИ (кратко): th-cam.com/video/yNAmrVjpN9o/w-d-xo.html 4) НЕЛОГИЧНОСТИ В ЗАКОНАХ ФИЛОСОФИИ (Единая система логико-философских законов): th-cam.com/video/V2YJPwmmb0s/w-d-xo.html
Adept И из какого предиката тут создаётся высказывание? Скажем, в случае объединения множеств. Нет уж, пардон, объединение и пересечение это бинарные операции над множествами. Назвать их кванторами это всё равно что назвать квантором операцию сложения чисел. В классической логике предикатов имеется два квантора - существования и всеобщности, всё.
Возьмём предикат, определённый на целых числах: "х - чётное число". Обозначим этот предикат через Р(х). Его можно превратить в высказывание с помощью квантора всеобщности: "Любое целое число является чётным". Или с помощью квантора существования: "Существует целое число, которое является чётным". Если очень хочется, можно даже вспомнить про редко используемый квантор единственности: "Существует ровно одно целое число, которое является чётным". Буду вам признателен, если вы расскажите мне, как сделать высказывание из данного предиката Р(х) с помощью операции пересечения множеств.
Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.
Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.
еще интересны вариант запомнить: "И" похожа как первая буква слова "And", а "ИЛИ" как "Unity"
ГОСПОДИ
НАКОНЕЦ-ТО КАЧЕСТВЕННЫЙ КОНТЕНТ ПО МАТЕМАТИКЕ
@не колобок ку
вухзавхза это информатика!
@@sneezed28 дискретная математика
@@salyamq чек название ролика
Спасибо за качественную подачу и уважение ко времени зрителей!
Замечательно! Кратко и полно! И даже с логикой высказываний сравнили
очень понятно и доступно
Прекрасные уроки! Смотрю с удовольствием :-))
Кантор в конце жизни сошел с ума... Спасибо, что предупредили, с полной логики надо быть поаккуратнее 😂
очень кратко и понятно. Спасибо большое за контент!
В изложенном здесь материале содержится КОНЦЕПТУАЛЬНАЯ ОШИБКА. Это - не ошибка лектора, а ошибка хоть и классического, но весьма архаичного описания логических множеств. Именно из-за возникающих по причине этой ошибки парадоксов, как вполне справедливо замечено лектором (8:18) «Георг Кантор сошёл с ума». В чём эта ошибка конкретно? В представлении понятия (7:00) «Универсум» (U) множество НЕ-А не может размещаться за границами универсума. А и НЕ-А для системы из ОДНОЙ логической переменной = как и множества (как бы они не называлась - множества А, B, переменная x или даже понятие «наш предмет мышления») размещены ВНУТРИ ОДНОГО И ТОГО ЖЕ УНИВЕРСУМА. Но никак не за границами универсума. Даже если А - не одна локальная переменная, а всё Мироздание, то НЕ-А не может находиться вне всего Мироздания. Если оно не в Мироздании, то - где? :-) Из этой ошибки проистекает и следующее утверждение лектора - якобы о том, что (8:50) «Теория множеств - это не логика. Это - теория множеств». Увы, могу расстроить приверженцев архаичной «Теории множеств»: ТЕОРИЯ МНОЖЕСТВ, ЛОГИКА и БУЛЕВА АЛГЕБРА (со всеми дизъюнкциями и конъюнкциями и импликациями) - ЭТО ЕДИНОЕ И НЕРАЗРЫВНОЕ ЦЕЛОЕ.
Видео с более подробным изложением затронутых здесь тем:
1) Полная система логических отношений и логика искусственного интеллекта: th-cam.com/video/j3hbyzrksBA/w-d-xo.html
2) НЕЛОГИЧНОСТИ В ЗАКОНАХ ЛОГИКИ (Универсумная логика - введение): th-cam.com/video/RLTQGy4kHGo/w-d-xo.html
3) ЕДИНАЯ СИСТЕМА ЗАКОНОВ ЛОГИКИ И ФИЛОСОФИИ (кратко): th-cam.com/video/yNAmrVjpN9o/w-d-xo.html
4) НЕЛОГИЧНОСТИ В ЗАКОНАХ ФИЛОСОФИИ (Единая система логико-философских законов): th-cam.com/video/V2YJPwmmb0s/w-d-xo.html
то есть, эти ссылки, даные, хорошо смотреть как раз после понимания этого видео?
Спасибо вам большое!
А где мы это все в программировании можем применить ? Кто может объяснить ?
@@vitaliykulik9662 "Структура данных 'Множество' " а это где мы можем в программировании применить?
В SQL. На память: лектора Хирьянов Тимофей
Спасибо!
А содержится в В
Прикольный мужичок)
Спасибо большое
Ребят, в каком классе проходят множество, может кто подсказать?
8
Только почему то я на 2 курсе это впервые вижу
05-10. ЛОГИЧЕСКИЙ ФАНТАЗМ №10: БЕСКОНЕЧНЫЕ ПАРАДОКСЫ МНОЖЕСТВ: th-cam.com/video/uh8i52X79d0/w-d-xo.html
Лектор почему-то значки операций над множествами называет кванторами.
Всё верно говорит. Квантор - общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание
Adept И из какого предиката тут создаётся высказывание? Скажем, в случае объединения множеств.
Нет уж, пардон, объединение и пересечение это бинарные операции над множествами. Назвать их кванторами это всё равно что назвать квантором операцию сложения чисел. В классической логике предикатов имеется два квантора - существования и всеобщности, всё.
Да любое, ведь предикат, это понятие, определяющее предмет суждения - субъект. Бинарность операции здесь вообще не причём.
Возьмём предикат, определённый на целых числах: "х - чётное число". Обозначим этот предикат через Р(х). Его можно превратить в высказывание с помощью квантора всеобщности: "Любое целое число является чётным". Или с помощью квантора существования: "Существует целое число, которое является чётным". Если очень хочется, можно даже вспомнить про редко используемый квантор единственности: "Существует ровно одно целое число, которое является чётным".
Буду вам признателен, если вы расскажите мне, как сделать высказывание из данного предиката Р(х) с помощью операции пересечения множеств.
Харе ссориться, Хириянов всё-таки в МФТИ преподаёт, значит он знает что говорит)
отличное водео
Голодные множества (-:
Здравствуйте! Дайте, пожалуйста ответ на эту задачу!
Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.
Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.
В этой теории нет никакой логики, кроме интригующего названия)) Проще сказать, что с логикой эта теория не дружит.
да чего это нет
долго мутно, можно проще