Информатика. Алгебра логики: Теория множеств. Центр онлайн-обучения «Фоксфорд»

Подготовьтесь к ОГЭ в онлайн-формате с профессиональными репетиторами и преподавателями в «Фоксфорде»: foxford.ru/I/kP16
Первая неделя в «Фоксфорде» - бесплатно: foxford.ru/I/kP19
Подготовиться к ЕГЭ и ОГЭ, затащить олимпиаду, исправить оценки, найти хобби и узнать много нового: любая цель достижима вместе с «Фоксфордом». Вам помогут опытные преподаватели - объяснят даже самую скучную тему так, чтобы вы не зевали и точно всё поняли.

[@jessefray895]

еще интересны вариант запомнить: "И" похожа как первая буква слова "And", а "ИЛИ" как "Unity"

[@cobaltthief]

ГОСПОДИ НАКОНЕЦ-ТО КАЧЕСТВЕННЫЙ КОНТЕНТ ПО МАТЕМАТИКЕ

[@Safar_Galimzyanov]

@не колобок ку

[@sneezed28]

вухзавхза это информатика!

[@12Lokkie]

Спасибо за качественную подачу и уважение ко времени зрителей!

[@nestanadopasova6914]

очень понятно и доступно

[@kovalevq]

Прекрасные уроки! Смотрю с удовольствием :-))

[@user-ng8uw2ot1s]

очень кратко и понятно. Спасибо большое за контент!

[@elenaovseenko]

Замечательно! Кратко и полно! И даже с логикой высказываний сравнили

[@kazbek_azerbaev]

Спасибо!

[@NOXCHO.19]

Спасибо вам большое!

[@user-ht1bl5vz9v]

Спасибо большое

[@user-zb3dh9se2r]

Кантор в конце жизни сошел с ума... Спасибо, что предупредили, с полной логики надо быть поаккуратнее 😂

[@FLEYS112]

Прикольный мужичок)

[@Syllogist]

05-10. ЛОГИЧЕСКИЙ ФАНТАЗМ №10: БЕСКОНЕЧНЫЕ ПАРАДОКСЫ МНОЖЕСТВ: kzbin.info/www/bejne/q5mbmmhojZxsmpI

[@romanrybalov1983]

А содержится в В

[@user-ww8hb4xh4m]

А где мы это все в программировании можем применить ? Кто может объяснить ?

[@user-tt3ou1sd5u]

@@vitaliykulik9662 "Структура данных 'Множество' " а это где мы можем в программировании применить?

[@Vernad]

В SQL. На память: лектора Хирьянов Тимофей

[@Syllogist]

В изложенном здесь материале содержится КОНЦЕПТУАЛЬНАЯ ОШИБКА. Это - не ошибка лектора, а ошибка хоть и классического, но весьма архаичного описания логических множеств. Именно из-за возникающих по причине этой ошибки парадоксов, как вполне справедливо замечено лектором (8:18) «Георг Кантор сошёл с ума». В чём эта ошибка конкретно? В представлении понятия (7:00) «Универсум» (U) множество НЕ-А не может размещаться за границами универсума. А и НЕ-А для системы из ОДНОЙ логической переменной = как и множества (как бы они не называлась - множества А, B, переменная x или даже понятие «наш предмет мышления») размещены ВНУТРИ ОДНОГО И ТОГО ЖЕ УНИВЕРСУМА. Но никак не за границами универсума. Даже если А - не одна локальная переменная, а всё Мироздание, то НЕ-А не может находиться вне всего Мироздания. Если оно не в Мироздании, то - где? :-) Из этой ошибки проистекает и следующее утверждение лектора - якобы о том, что (8:50) «Теория множеств - это не логика. Это - теория множеств». Увы, могу расстроить приверженцев архаичной «Теории множеств»: ТЕОРИЯ МНОЖЕСТВ, ЛОГИКА и БУЛЕВА АЛГЕБРА (со всеми дизъюнкциями и конъюнкциями и импликациями) - ЭТО ЕДИНОЕ И НЕРАЗРЫВНОЕ ЦЕЛОЕ. Видео с более подробным изложением затронутых здесь тем: 1) Полная система логических отношений и логика искусственного интеллекта: kzbin.info/www/bejne/oGTLk6ywp9CmeKM 2) НЕЛОГИЧНОСТИ В ЗАКОНАХ ЛОГИКИ (Универсумная логика - введение): kzbin.info/www/bejne/iH23gnqvadB7fdE 3) ЕДИНАЯ СИСТЕМА ЗАКОНОВ ЛОГИКИ И ФИЛОСОФИИ (кратко): kzbin.info/www/bejne/r3-knqWMn9WBb9E 4) НЕЛОГИЧНОСТИ В ЗАКОНАХ ФИЛОСОФИИ (Единая система логико-философских законов): kzbin.info/www/bejne/jGO8e4OtotKVZtU

[@asloz1276]

то есть, эти ссылки, даные, хорошо смотреть как раз после понимания этого видео?

[@sabauz]

отличное водео

[@Eskimoso]

Ребят, в каком классе проходят множество, может кто подсказать?

[@2kdkk]

8

[@Penilopa24]

Голодные множества (-:

[@IraklyGagua]

Лектор почему-то значки операций над множествами называет кванторами.

[@Golosrazumf]

Всё верно говорит. Квантор - общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание

[@IraklyGagua]

Adept И из какого предиката тут создаётся высказывание? Скажем, в случае объединения множеств. Нет уж, пардон, объединение и пересечение это бинарные операции над множествами. Назвать их кванторами это всё равно что назвать квантором операцию сложения чисел. В классической логике предикатов имеется два квантора - существования и всеобщности, всё.

[@Golosrazumf]

Да любое, ведь предикат, это понятие, определяющее предмет суждения - субъект. Бинарность операции здесь вообще не причём.

[@IraklyGagua]

Возьмём предикат, определённый на целых числах: "х - чётное число". Обозначим этот предикат через Р(х). Его можно превратить в высказывание с помощью квантора всеобщности: "Любое целое число является чётным". Или с помощью квантора существования: "Существует целое число, которое является чётным". Если очень хочется, можно даже вспомнить про редко используемый квантор единственности: "Существует ровно одно целое число, которое является чётным". Буду вам признателен, если вы расскажите мне, как сделать высказывание из данного предиката Р(х) с помощью операции пересечения множеств.

[@HURACAN-lx4kw]

Харе ссориться, Хириянов всё-таки в МФТИ преподаёт, значит он знает что говорит)

[@user-oq9xr8dj1b]

В этой теории нет никакой логики, кроме интригующего названия)) Проще сказать, что с логикой эта теория не дружит.

[@afsnit]

да чего это нет

[@user-ej8ez7yr8y]

Здравствуйте! Дайте, пожалуйста ответ на эту задачу!

[@user-ej8ez7yr8y]

Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.

[@user-ej8ez7yr8y]

Можно ли разбить множество четырехугольников на классы прямоугольников, квадратов и четырехугольников, не являющихся прямоугольниками? Ответ обоснуйте.

[@user-mx6ts8xi4m]

долго мутно, можно проще