Матлогика 1. Высказывания. Логические связки. Предикаты и кванторы

Рет қаралды 23,828

Лекторий ФПМИ

2 жыл бұрын

Пікірлер: 43

@fedorbabkin 2 жыл бұрын

Великолепная подача материала и отличное чувство юмора.

@user-ro2vo4lq1g 3 ай бұрын

Собутыльник, о котором я мечтаю 😅

@kurenu Жыл бұрын

Это прекрасно, спасибо вам большое)

@sergeytrunov7166 6 ай бұрын

Крутой преподаватель, отличная подача материала

@IzaBella8957 Жыл бұрын

Бомбовый преподаватель!

@ei2292 9 ай бұрын

Вот это хороший подход, а то смотрел тоже первую лекцию от этого же лектора так там мрак какой-то. Толи для математиков, толи для программистов курс был рассчитан, а вот сейчас хорошо прям. Для гуманитариев самое то.

@______5629 Жыл бұрын

Изумительно......

@Syllogist 2 жыл бұрын

Лекция замечательная, всё изложено точно, чётко и продумано. Хорошее взаимодействие с аудиторией. Отличная, профессиональная подача материала. Однако чувствуется, что с момента высказывания утверждения о том, что (01:08:48) «... мы скользких примеров избегаем, когда мы неформально всё рассматриваем»... по поводу рассматриваемого материала появляются некоторые сомнения и вопросы... ВОПРОС 1: Если в выражении «Мама мыла раму» предикативная реконструкция даёт: 1) «x мыла раму» и «Мама мыла y» - это унарные предикаты, 2) «x мыла y» - это БИНАРНЫЙ ПРЕДИКАТ... ...то что нам мешает понять, что эквивалентом данного бинарно-предикатного высказывания является элементарная конъюнкция x и y, то есть в терминах логических переменных: «Мама мыла раму» = x*y где x - Мама, y - мыла раму В чём тут проблема? Зачем усложнять всё простое и очевидное некими «неформальными» конструкциями? Разве в процессе мытья мокрая тряпочка не входит в типичное - чисто конъюнктивное (*) объединение с рамой? Ясно, что входит! :-)

@user-xy1dg3fx4d 2 жыл бұрын

Он все силы отдаёт

@dis1ncentivVe Ай бұрын

вот это профессор

@rustamferzilaev9124 5 ай бұрын

Когда началось самое сложное скорость изложения увеличилась) Хотелось бы наоборот

@Syllogist 2 жыл бұрын

Относительно очень наглядных примеров того, что (1:22:05) в записи формулы предела x является связанной переменной, то же и в записи производной и в других формулах... можно заметить, что логические переменные (x, y и т.д. и т.п.) представляют собой расчёт преимущественно КАЧЕСТВЕННЫХ характеристик рассматриваемых множеств, а математика занимается преимущественно их КОЛИЧЕСТВЕННЫМИ характеристиками. Но - всё равно! - попытка предикатно-кванторного описания выражений - это достойная уважения попытка «скрестить ужа и ежа» :-) Всем - успехов! И смотрим дальше...

@user-kr5ou4nn9z Жыл бұрын

какая литература рекомендована к прочтению?

@ei2292 9 ай бұрын

14:27 скука не заедает кстати 😂

@biggestbarbiefan Жыл бұрын

спасибо. а то на грани отчисления. комиссия ждет

@Esseker Жыл бұрын

И как успехи?

@biggestbarbiefan Жыл бұрын

@@Esseker привет, успешно сдал

@Esseker Жыл бұрын

@@biggestbarbiefan поздравляю, а я наоборот

@Жэк 2 жыл бұрын

Есть ссылка на плейлист? Никак не могу найти на канале.

@artemrusinov3034 2 жыл бұрын

kzfaq.info/get/bejne/ir2qi7SCmqvNZqc.html

@kep444e Жыл бұрын

kzfaq.info/sun/PL4_hYwCyhAvb4c-Z43ppdKwC1hWX6hOYi

@anatoliybilenko6228 9 ай бұрын

шок-контент

@_nobil1tas711 2 жыл бұрын

Я в шестом классе который прохожу кванторы😂😂😂👍

@Syllogist 2 жыл бұрын

ВОПРОС 3: В приведённых примерах языкового отражения кванторов (1:17:25)... 1) Существует такое x, которое чётно. 2) Для любого x х>2 3) Большинство x - красное 4) Есть бесконечно много x, таких, что x - чётно. Что нам мешает [с учётом автоматической дуальности объёмов определения состояния предиката (y) переменной (x) в кванторе существования, представляющего полный объём исследуемого множества как xy+xy’] записать эти выражения в - опять же - более простой и понятной, а именно - в алгебраической форме как: 1) Существует такое x, которое чётно. x - «число», y - «чётно», Формула: xy+xy’ (квантор существования) 2) Для любого x х>2 x - «любое число», y - «больше 2-х», Формула: xy (квантор всеобщности) 3) Большинство x - красное x - «объект наблюдения», y - «красное», Формула: xy+xy’ (квантор существования) 4) Есть бесконечно много x, таких, что x - чётно. x - «любое число», y - «чётно», Формула: xy+xy’ (квантор существования) Что в этом описании неверного? :-)

@Syllogist 2 жыл бұрын

ВОПРОС 2: Кроме того, что нам мешает с учётом того, что вместо «мытья» можно применить термины «скребла», «покрасила», «лакировала» и т.п. провести АБСОЛЮТНО ЛОГИЧНУЮ аппроксимацию бинарного суждения «x мыла y» на триадную (типа «тырнарную») конструкцию и записать ясную, простую, короткую формулу этого высказывания как «Мама мыла раму» = «x*z*y» где x - Мама, y -раму, z - мыла (что можно назвать и термином «конъюнктивный функтор», в данном конкретном случае - это вариант представления в языке конъюнктивной связки... о других, более сложных функторах пока не будем распространяться... :-) Ведь такой подход: - во-первых, более универсален, - во-вторых, более точен, - в-третьих - совместим с конструктами алгебры логики (булевой алгеброй). - в четвёртых, позволяет избежать предикатно-формульных нагромождений, мало что, как говориться, «дающих уму и сердцу»... Что скАжите?

@kep444e Жыл бұрын

каво

@GenrGenc 8 ай бұрын

Тернарный предикат,никакой сенсации

@user-ry9zl3rx3s Ай бұрын

А зачем так заморачиваться, вводя еще и новые данные, и утверждать, что с новой переменной конструкция станет проще?? Аха, проще, - а не сложнее ли?? И для чего это дополнительное усложнение, не понимаю вас. И уж простите, это как раз у вас, с вашей непрошенной новой переменной "предикатно-формульное нагромождение"

@Syllogist Ай бұрын

@@user-ry9zl3rx3s Да, действительно, "ЗАЧЕМ"? Ведь лить привычную лого-ахинею проще и престижней... :-)

@user-ry9zl3rx3s Ай бұрын

@@Syllogist ну так-то очевидно, что для вас все что не по вам, все - лого-ахинея, даже если речь идет об официальном образовательном материале. Считаете себя непризнанным гением? Ню-ню А ничего, что в ваших, якобы, предложениях нет настоящей проблематики, зато достаточно необоснованного позерства? Видимо, ничего

@ei2292 9 ай бұрын

У лектора бутерброд в кармане ?

@denismikhaylov399 3 ай бұрын

Интересно, но боюсь дальше смотреть, т.к. часто перенимаю манеру изложения лектора. 🤦

@_roket 3 ай бұрын

аккуратней а то можно подцепить еще и сексуальную ориентацию автора

@denismikhaylov399 3 ай бұрын

@@_roket сочувствую вам.

@_roket 3 ай бұрын

@@denismikhaylov399 вы сочувствуете только своей фантазии, не занимайтесь онанизмом

@aleksv501 9 ай бұрын

0 у вас ложь, 1 истина. Неопределенность чем обозночать ?

@ultimate_truth_society 6 ай бұрын

Определение мат модели повествовательного предложения(что называется высказыванием) из лекции: высказывание - это повествовательное предложение, которое либо истинно, либо ложно, но никогда и то и другое одновременно. То есть иные высказывания в курсе не рассматриваются. Полагаю, поэтому нет смысла и вводить какого-либо обозначения для неопределённости. Да и что считать неопределённостью? Мама мыла раму - оно неопределённое только по тому, что мы не знаем какая мама, и моет или не моет она сейчас раму. Как только вы пойдёте и посмотрите чем занимается ваша мама, высказывание это тут же станет определённым для вас. То есть недостаточность данных считать неопределённостью? А зачем заниматься анализом чего-то, где данных недостаточно? Значит сначала делаем данные достаточными. Гай Юлий Цезарь 4 марта 44 года до нашей эры просыпался посреди ночи 2 раза. Это неопределённое высказывание? То есть неопределённость -- это когда мы не имеем возможности установить истинность или ложность высказывания? А вообще смысл есть заниматься такими высказываниям? Их же никак не проанализируешь. Что из них предполагается получить кроме неопределённости?

@aleksv501 6 ай бұрын

@@ultimate_truth_society если вы знаете заранее истинно высказывание или ложно, то вы можете обойтись без вычислений. Для того и придумали логику, как науку, чтоб вычислять истинность или ложность высказывания когда это неизвестно. На практике у вас будут десятки, а может и сотни противоречивых высказываний, на основе которых нужно получить ответ... именно поэтому нужна неопределенность... она даёт понять, что данных недостаточно, для вывода.

@_roket 3 ай бұрын

@@aleksv501 он еще не дорос до этого понимания

@2LazySnake Ай бұрын

@@aleksv501 вы в данном случае рассуждаете, как обыватель, а речь идёт о формальной математической логике. Она нужна для последовательных доказательств, а не для установления истины.