Спасибо за видео. Это намного интереснее, когда аналогии проводят с жизнью, чем сухие аналитическо-формальные записи, не сопровождающиеся ни иллюстрацией, ни аналогиями, ни примерами. Да и вообще формат ведения интересный, однозначно лайк и подписка!
Спасибо. Хороший вводный курс. КОнечно, не во всех видео даны полные или достаточный объяснения, но зато отлично очерчен каркас. Дальше полученную базу можно развивать самостоятельно, с помощью других источников. Главное, понятно, в каких направлениях двигаться.
эту хрень я пытаюсь понять уже ооооочень давно... Спасибо тебе, мил человек, за эти уроки!!! Лишь третий твой урок, а я поняла гораздо больше, чем за целый чёртов семестр!
Правильно было бы написать:"Для любого человека из y найдётся такой человек из x, что он будет для него предком". 10:32 т.е. на видео перепутаны местами x и y.
10:40 "x является предком y" "для любого человека x найдется такой человек y, что он (у) будет предком для х" Противоречие. Верно: для любого человека у из множества людей Н найдется хотя бы один человек х из множества людей Н, который будет предком для у.
А может наоборот? У как раз и будет являться предком для х по Р (х,у), разве нет? А если наоборот, то это уже другое утверждение. Условие в данном случае не соблюдено.
В примере 1.2 перепутаны константы. Тут вообще намешано всего. Ну k это обычно метазнак для обозначения некоторого значения при I(k), то есть предметная константа. Также предметные константы не обозначаются обычно x, y и тд, потому что это разные виды термов в ЛП1. I(k) это предметные константы (a, b, c, d) (x, y, z, x1, y1 ...) - это предметные переменные. Также ошибка с записями знаков. Знак принадлежности подмножества другой.
Не существует такой грибник, для которого было бы верно, что он не нашел белый гриб И что он нашел подосиновик. ~∃г~Б(г) ∧ П(г), где г - грибник, Б - нашедший белый гриб, П - нашедший подосиновик.
@@jeanseven5123 @Jean Seven из ваших слов кажется следует лишь что существует хотя бы один грибник, который нашел не белый гриб или подосиновик, а тот, что, допустим, нашел оба или ни одного.
Обозначения: *Г* рибник, *Б* елый, *П* одосиновик. Суждение: Любой *Г* не является таким, что он НЕ-нашёл *Б* И одновременно нашёл *П.* Формализация: *Г* ↛ ( ¬ *Б* ˄ *П* ) = *Г* → ¬( ¬ *Б* ˄ *П* ) = *Г* → *Б* ˅ ¬ *П* Интерпретация: Если кто-то Грибник, то он может найти Белый гриб ИЛИ НЕ-найти Подосиновик.
Ольга Сипачева нет, воизбежание путаницы математики обычно говорят «является элементом множества S», чтобы исключить возможность того, что икс сам является множеством и входит в S в качестве подмножества. Иначе записывали бы x⊂S и говорили «икс входит в множество S (в качестве подмножества)».
Формально, или Как принято - это всё же All. Но я считаю, что правильно было бы использовать Any, ибо ВСЕ - совсем не то же самое, что ВСЯКИЙ. "Всякий" означает "любой единичный; любой, взятый по отдельности". "Все" означает "группа; взятые вместе".
Ну я бы сказал, что булева функция - более формальное понятие, это отображение кортежа из элементов множества {1,0} в это же множество, а предикат - более общее понятие, больше относящееся к абстрактной логике, чем к алгебре и функциональной математике. При формализации абстрактных аргументов к множеству {1,0} предикат может быть представлен булевой функцией
Достаточно поверхностно) за 18 минут ЛП1) ахахахах Не предикат, а предикаторная константа. Также не учитывается, что предикаторные константы бывают n-местные, а также что они заполняются разными данными.
PrintScreen Вашего видео я использовал в своём видеоролике (07-10. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ-2: ПРЕДИКАТЫ и КВАНТОРЫ - их диаграммы и формулы: ua-cam.com/video/DaGxSQW_wj0/v-deo.html ). Спасибо.
Любое существо принадлежит к тому же виду, что и его родители. Эволюционная теория не утверждает обратного - различия между предками в n-ом и n+1 поколениях всегда незначительны и даже менее очевидны чем вариативность в популяции в целом, однако за тысячи поколений таких незначительных адаптационных изменений, различия становятся такими сильными, что особи теряют возможность скрещиваться друг с другом(причисляются к разным видам).
Ins 0 понятно что нет нигде чётких границ. Но понятие "вида" чётко не определено. Докинз например приводил парадокс о том, что все животные одного вида исходя из утверждения про родителей. Но как и в плавном цветовом спектре, где различия между позицией н и н+1 незаметны, мы можем определить цвета. Можем увидит, что красный предшествовал зелёному например. Так и в видах, либо он один у всего живого, либо роду хомо предшествовали австралопитеки. В любом случае не самый удачный пример для демонстрации математической логики)
Товарищи вы загаживаете свою голову всяким мусором. Особи одного вида пораждают других особей этого же вида - это есть ясное и очевидное, так было столько сколько человечество себя помнит. Не насилуйте свою голову предположениями разных людей на этот счет, как например недоказанной теорией эволюции, которой зазомбировали людей в 20м веке.
Приведённое определение понятия "множество" не является определением. Вот формулировка, которая вправе называться определением. Множество Икс определено только и только тогда, когда выполнены следующие три условия: 1. Задано некоторое свойство Игрек. 2. В составе множества Икс нет ни одного элемента, который не обладал бы свойством Игрек. 3. Вне множества Икс нет ни одного элемента, который обладал бы свойством Игрек. Это свойство Игрек называется кардинальным свойством, не задав которого, нельзя задать множество. Камень, змея и хлеб -- это неопределённость, а никакое не множество элементов.
Множества это просто аксиома не пытайтесь это понять. Представьте что учите новый иностранный язык. Вам нужна базовый словарный запаса чтобы практиковать его и учить дальше.
Мне наоборот понравилось, как-то проще стало понимать. Рекомендую сами буквы выписать предварительно и понять что каждая из них значит, хотя бы кванторы
Определение 1.2 не совсем верное. Множество А является подмножеством множества В, если ВСЕ ЭЛЕМЕНТЫ(а не любой элемент) множества А содержатся также и в множестве В.
Спасибо за видео. Это намного интереснее, когда аналогии проводят с жизнью, чем сухие аналитическо-формальные записи, не сопровождающиеся ни иллюстрацией, ни аналогиями, ни примерами. Да и вообще формат ведения интересный, однозначно лайк и подписка!
Восемь лет назад актуально и понятно сейчас намного больше чем все обьяснения которые я видела в Ютуб и вживую
Спасибо. Хороший вводный курс. КОнечно, не во всех видео даны полные или достаточный объяснения, но зато отлично очерчен каркас. Дальше полученную базу можно развивать самостоятельно, с помощью других источников. Главное, понятно, в каких направлениях двигаться.
эту хрень я пытаюсь понять уже ооооочень давно... Спасибо тебе, мил человек, за эти уроки!!! Лишь третий твой урок, а я поняла гораздо больше, чем за целый чёртов семестр!
Да лааадно, мы эту херню в 10 классе проходим, как жить, непонятно
@@hubert.3036 избалованный. Мы эту интересную тему не проходили, насколько помню, а ты брезгуешь.
@@СемёнБычков-ю7з я тебе могу скинуть фото учебника профильной алгебры нового, который по ФГОСу идёт
@@hubert.3036 ну скинь
@@hubert.3036 Мордкович, поди?
Правильно было бы написать:"Для любого человека из y найдётся такой человек из x, что он будет для него предком". 10:32 т.е. на видео перепутаны местами x и y.
Это вовсе не принципиально, и многие поняли смысл утверждения и даже не заметили этот недочёт.
Думаю путаница возникла, потому что в примере ранее Х выступал потомком, а в примере с кванторами уже предком.
@@SkyGrel19 громкое заявление
@@SkyGrel19 Факт - остаётся фактом, это недочёт
10:40
"x является предком y"
"для любого человека x найдется такой человек y, что он (у) будет предком для х"
Противоречие.
Верно: для любого человека у из множества людей Н найдется хотя бы один человек х из множества людей Н, который будет предком для у.
А может наоборот? У как раз и будет являться предком для х по Р (х,у), разве нет?
А если наоборот, то это уже другое утверждение. Условие в данном случае не соблюдено.
Очень круто, я очень много пересмотрел поднобных видео, но это лучшее, лайк и подписка, и начну просмотр с первых лекций.
А вот кванторы и предикаты объяснены просто офигенно, спасибо!
Пожалуйста, сделайте разбор упражнений с этого курса. Интересно узнать ответы и ход доказательства. А то даже не знаешь, верно решил или нет.
пример 1.1 верен? помоему там х и у надо поменять местами
Аналогия с библейским адамом улыбнула
На 10:31 что-то непонятное. Сначала "х является предком у", потом внезапно "найдется у, который будет предком для х"
Спасибо большое🤗😊
В примере 1.2 перепутаны константы. Тут вообще намешано всего. Ну k это обычно метазнак для обозначения некоторого значения при I(k), то есть предметная константа. Также предметные константы не обозначаются обычно x, y и тд, потому что это разные виды термов в ЛП1.
I(k) это предметные константы (a, b, c, d)
(x, y, z, x1, y1 ...) - это предметные переменные.
Также ошибка с записями знаков. Знак принадлежности подмножества другой.
10:20 первый абзац: х - предок у
Второй абзац: у - предок для х
Ну и что из этого верно?
17:00 немного не понимаю что такое Q. Это просто переменная со значеним 1 или 0?
В упражнении 1.8 не понятен пункт 3: V x, (P(x) + Q) (V x, P(x)) + Q
Вроде вполне себе выполняется это равенство?
Люблю Вас
Отличчное пояснение
"не найдется грибника, который в лесу не нашел бы белый гриб, но нашел бы подосиновик" как это написать подскажите?
(знак не) V x c H, Р (х) (знак XOR) Q(x). где х = грибник, Р(х) = грибник нашедший белый гриб, Q(х) = грибник нашедший подосиновик, H= множество людей
Не существует такой грибник, для которого было бы верно, что он не нашел белый гриб И что он нашел подосиновик.
~∃г~Б(г) ∧ П(г),
где
г - грибник,
Б - нашедший белый гриб,
П - нашедший подосиновик.
@@jeanseven5123 @Jean Seven из ваших слов кажется следует лишь что существует хотя бы один грибник, который нашел не белый гриб или подосиновик, а тот, что, допустим, нашел оба или ни одного.
Еще кажется можно так.
Для каждого грибника, если он нашел подосиновик, то он нашел и белый гриб.
∀г П(г) → Б(г).
Обозначения: *Г* рибник, *Б* елый, *П* одосиновик.
Суждение: Любой *Г* не является таким, что он НЕ-нашёл *Б* И одновременно нашёл *П.*
Формализация: *Г* ↛ ( ¬ *Б* ˄ *П* ) = *Г* → ¬( ¬ *Б* ˄ *П* ) = *Г* → *Б* ˅ ¬ *П*
Интерпретация: Если кто-то Грибник, то он может найти Белый гриб ИЛИ НЕ-найти Подосиновик.
Winderton, я тебя вычислил 😂
Если я правильно нагуглил, предикат - это просто функция, возвращающая на входящие параметры логический тип (правду или ложь). Но это не точно
Выручили)
Видео 18+
Очень много нецензурной лексики
что?
Эм, x ∈ S означает «x является элементом множества S», а не «x входит в множество S» и остальное, что вы назвали.
«x является элементом множества S» и «x входит в множество S» - это одно и то же.
Ольга Сипачева нет, воизбежание путаницы математики обычно говорят «является элементом множества S», чтобы исключить возможность того, что икс сам является множеством и входит в S в качестве подмножества. Иначе записывали бы x⊂S и говорили «икс входит в множество S (в качестве подмножества)».
@@vmir88 может принадлежит множеству S.
@@vmir88 может быть это часть условия, а далее бы показали, что х является подмножеством. Здесь совершенно другая картина.
@@marialier4384 видео о математике, а в математике важны строгие определения :)
можете помочь с заданием :
а)x > 1 ^( пересечение ) y < 0;
б)x> 1 -> y < 0;
???????????????????
помог?
В примере 1.1 неправильная запись. Вообще неверно задана модель. По сути может и верно, но в голове от этого каша, так не пишут.
перевернутое A это Any, а не All
А символ Unicode "∀" называется "U+2200 For All"
Не могли бы вы завтра за меня ответить на логике?
Формально, или Как принято - это всё же All. Но я считаю, что правильно было бы использовать Any, ибо ВСЕ - совсем не то же самое, что ВСЯКИЙ. "Всякий" означает "любой единичный; любой, взятый по отдельности". "Все" означает "группа; взятые вместе".
Не путайте,не морочьте.Абсурда и так достаточно вокруг.
Чем предикат отличается от функции
Никита Павлов Предикат возвращает только булево значение, в отличие от функции, которая возвращает только числа.Но это мое предположение)
Михаил Плясунов тогда в чем отличия предиката от булевой функции?
Михаил Плясунов тогда в чем отличия предиката от булевой функции?
предик - частный случай функции.
Ну я бы сказал, что булева функция - более формальное понятие, это отображение кортежа из элементов множества {1,0} в это же множество, а предикат - более общее понятие, больше относящееся к абстрактной логике, чем к алгебре и функциональной математике. При формализации абстрактных аргументов к множеству {1,0} предикат может быть представлен булевой функцией
Достаточно поверхностно) за 18 минут ЛП1) ахахахах
Не предикат, а предикаторная константа. Также не учитывается, что предикаторные константы бывают n-местные, а также что они заполняются разными данными.
PrintScreen Вашего видео я использовал в своём видеоролике (07-10. ЛОГИЧЕСКАЯ СПЕЦОПЕРАЦИЯ-2: ПРЕДИКАТЫ и КВАНТОРЫ - их диаграммы и формулы: ua-cam.com/video/DaGxSQW_wj0/v-deo.html ). Спасибо.
Все просто и очевидно, только автор мешает нормально понимать что он хочет сказать. ВОзможно это у него такой дидактический прием, кто ззнает?
есть ответ на 1.7?
Высказывание, что для всех людей есть предок из множества людей не верно. Предки первых людей людьми не были.
А кем они были?))
Любое существо принадлежит к тому же виду, что и его родители. Эволюционная теория не утверждает обратного - различия между предками в n-ом и n+1 поколениях всегда незначительны и даже менее очевидны чем вариативность в популяции в целом, однако за тысячи поколений таких незначительных адаптационных изменений, различия становятся такими сильными, что особи теряют возможность скрещиваться друг с другом(причисляются к разным видам).
Ins 0 понятно что нет нигде чётких границ. Но понятие "вида" чётко не определено. Докинз например приводил парадокс о том, что все животные одного вида исходя из утверждения про родителей. Но как и в плавном цветовом спектре, где различия между позицией н и н+1 незаметны, мы можем определить цвета. Можем увидит, что красный предшествовал зелёному например. Так и в видах, либо он один у всего живого, либо роду хомо предшествовали австралопитеки.
В любом случае не самый удачный пример для демонстрации математической логики)
Товарищи вы загаживаете свою голову всяким мусором. Особи одного вида пораждают других особей этого же вида - это есть ясное и очевидное, так было столько сколько человечество себя помнит. Не насилуйте свою голову предположениями разных людей на этот счет, как например недоказанной теорией эволюции, которой зазомбировали людей в 20м веке.
Star Scream О да, рекомендация от необразованного индивида, критикующего теорию, которую он даже не знает - это то что мне нужно.
Не предикатор, а предикат
Приведённое определение понятия "множество" не является определением.
Вот формулировка, которая вправе называться определением.
Множество Икс определено только и только тогда, когда выполнены следующие три условия:
1. Задано некоторое свойство Игрек.
2. В составе множества Икс нет ни одного элемента, который не обладал бы свойством Игрек.
3. Вне множества Икс нет ни одного элемента, который обладал бы свойством Игрек.
Это свойство Игрек называется кардинальным свойством, не задав которого, нельзя задать множество. Камень, змея и хлеб -- это неопределённость, а никакое не множество элементов.
Множество немножество множество подмнодество является подмнодеством множества не множество . Спасибо все понял
для людей которые это повторяют все понятно а для людей которые это начинают учит с 9 минуты почти ничего не понятно)))))
Раньше в математике всегда пользовались латинским алфавитом и греческим. А сейчас уже перешли на английский?
база другая у человека, учиться он зарубежем.
Спасибо
Множества это просто аксиома не пытайтесь это понять. Представьте что учите новый иностранный язык. Вам нужна базовый словарный запаса чтобы практиковать его и учить дальше.
Спасибо:3
| - это логический оператор ИЛИ. Скорее он тут больше подходит , чем "такой, что" ua-cam.com/video/l-eV7U4oB94/v-deo.html
Это не знак логической операции, а именно обозначение связи "такой, что"
Ваше косноязычие отталкивает. И Вы не разбираетесь в предмете.
Предикат, а не предикатор. Предикатор - это проповедник.
Много воды
Ужасное объяснение. Кош-мар! Встает вопрос: досматривать курс, если ни фига не понятно, или искать другой. 😢
Мне наоборот понравилось, как-то проще стало понимать. Рекомендую сами буквы выписать предварительно и понять что каждая из них значит, хотя бы кванторы
пзц, столько ошибок, а ошибка в определении такого базового понятия как подмножество просто убило 🤦♂️🤦♂️ не некоторые элементы, а все!!!
Определение 1.2 не совсем верное. Множество А является подмножеством множества В, если ВСЕ ЭЛЕМЕНТЫ(а не любой элемент) множества А содержатся также и в множестве В.
Здесь под "любой", видимо, понимается каждый, всякий = все элементы
Я б поспорила с утверждением мужчины = люди XD
Если не мы, то кто? Больше некому быть людом%)
Что ж, это верно. Мужчины - не люди. Поэтому живите сами, без мужчин, обходите их стороной 🙃
Невозможно слушать вашу речь, микрофон передаёт звуки проглатывания слюны и это дико раздражает, вы запинаетесь, я пришёл узнать тему, а не асмр
🤣🤣🤣