У Вас ошибка в 2.1 задания для проверки. 3-е задание:Так как ни одно множество не является элементом Ø, то Ø ∉ Ø. У Вас наоборот. И, насколько я понимаю, должно быть Ø = Ø.
И в 2.2 проверочное задание №4: опечатка, пропущен символ в выражении (A ∪ B) C. И чуть ниже в этом же вопросе в самом длинном выражении также символ пропущен.
решила себя проверить после видео 1.4.....Поставила верным первое утверждение в 1 задании.Система при проверке трактует его как неверное.Не перезагружая страницу ,ради интереса подставляла в ответ как правильное второе и третье высказывание.Однако ни одно из них система не опознала как верное при проверке ответа. Проверила эту ситуацию 2 раза.Все галочки ставились последовательно, убирая при этом предыдущие.С чем может быть связан такой результат проверки?-ни один из ответов на 1 вопрос не показывается как верный, в то время как в остальных двух вопросах правильность ответов подтвердилась нормально)..пока погожу проверяться дальше))) Удачи!
По-моему, галочки ставятся, только когда выбраны все правильные варианты. Если выбраны не все правильные варианты, ни одна галочка не ставится. Можно опробовать все 23 = 8 вариантов. :) Но лучше переизучить видео/лекцию.
В курсе по математической логике и теории алгоритмов ошибка в задании для самопроверки. Раздел 1.3.
Вопрос 3
Пусть Сократ и Платон говорят следующее: Сократ: «То, что сказал Платон, есть ложь». Платон: «Сократ говорит только правду». Имеем ли мы здесь парадокс?
Предположим, что сказанное Сократом правда, следовательно, Платон солгал, и Сократ говорит не только правду, но из этого не следует, что Сократ всегда лжёт, также не следует, что данное высказывание Сократа должно являться ложью, то есть оно вполне может быть истинным, таким образом, никакого противоречия здесь нет. Ответ же говорит, что парадокс есть.
Следует поменять формулировку на "Пусть Сократ и Платон говорят следующее: Сократ: «То, что сказал Платон, есть ложь». Платон: «Сказанное Сократом правда»." или же указать другой ответ.
Добрый день.
Отношение r называется транзитивным, если для любых x, y и z из того, что (x, y) и (y, z) принадлежат r, следует, что (x, z) принадлежит r.
Другими словами, отношение r не является транзитивным, если (x, y) и (y, z) принадлежат r, а (x, z) в r нет. В приведенном вами отношении нет нарушения условия транзитивности, а значит, отношение транзитивно по определению.
Заметьте, определение транзитивности не обязывает отношение иметь такие x, y и z: оно лишь ставит условие, которое должно выполянться, если таковые элементы найдутся. А раз нет таких элементов, то и выполнение условия не требуется.
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A∨И)∼И
2 (A∨И)∼Л
3 (A∨И)∼A
4 (A∨И)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 12
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A⊃И)∼И
2 (A⊃И)∼Л
3 (A⊃И)∼A
4 (A⊃И)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 14
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (Л⊃A)∼И
2 (Л⊃A)∼Л
3 (Л⊃A)∼A
4 (Л⊃A)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 15
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A⊃Л)∼И
2 (A⊃Л)∼Л
3 (A⊃Л)∼A
4 (A⊃Л)∼¬Л
объяснение : если А = И значит (A => Л) = Л если А = Л значит (A => Л) = И получаем ¬А значит варианты И,Л,¬Л не подходят также вариант А тоже не подходит значит нет верного ответа ничего не выделяем (но программа выдаёт ошибку)
Л- любое истинное высказывание - здесь должно быть любое ЛОЖНОЕ высказывание - т.е. Л - это всегда ЛОЖЬ.
Затем надо построить таблицу истинности для формулы Л⊃A (насколько я понимаю, в ней будет всего две строки) и по полученной таблице отметить на вопрос.
В видеозаписи 1.6 опечатка в указании лет жизни Г. Фреге
В файле текста Модуль_1.6 находится следующее: "Готлоб Фреге (1848–1825 гг., рис. 3)"
Видео не смотрел (скучновато рассказывает), но, похоже, там такая же ошибка.
Спасибо большое за замечание!
В тексте опечатку исправили. В видео исправим. Спасибо :)
Не столь существенная опечатка в лекциях Модуль_1.5 под рис. 3 и 4, написано Фалес, Пифагор, за место Сократ и Платон.
Спасибо большое за внимательность и отзывчивость!
В видео 1.3, начиная с 2:56, написано "Парадокс с числами Фибоначчи", когда должно быть "Софизм с числами Фибоначчи"
Спасибо. Исправим
У Вас ошибка в 2.1 задания для проверки. 3-е задание:Так как ни одно множество не является элементом Ø, то Ø ∉ Ø. У Вас наоборот. И, насколько я понимаю, должно быть Ø = Ø.
И в 2.2 проверочное задание №4: опечатка, пропущен символ в выражении (A ∪ B) C. И чуть ниже в этом же вопросе в самом длинном выражении также символ пропущен.
По первому замечанию. Вы правы. Мы пропустили {} в выражениях. Исправим.
Второе замечание тоже верно.
Спасибо
Задание для самопроверки, вопрос 2: типа вариантов ответов - если один правильный ответ, то пункты должны быть круглыми. У вас - квадратные.
Лекция 2.2. Время 4:20. Неправильно записана разность на слайде (подпись под диаграммами).
Что-то я не вижу ошибки :-) Может глаз "замылился"? Не можете ли Вы написать более конкретно. Спасибо.
решила себя проверить после видео 1.4.....Поставила верным первое утверждение в 1 задании.Система при проверке трактует его как неверное.Не перезагружая страницу ,ради интереса подставляла в ответ как правильное второе и третье высказывание.Однако ни одно из них система не опознала как верное при проверке ответа. Проверила эту ситуацию 2 раза.Все галочки ставились последовательно, убирая при этом предыдущие.С чем может быть связан такой результат проверки?-ни один из ответов на 1 вопрос не показывается как верный, в то время как в остальных двух вопросах правильность ответов подтвердилась нормально)..пока погожу проверяться дальше))) Удачи!
По-моему, галочки ставятся, только когда выбраны все правильные варианты. Если выбраны не все правильные варианты, ни одна галочка не ставится. Можно опробовать все 23 = 8 вариантов. :) Но лучше переизучить видео/лекцию.
Ответ не засчитывается как верный, если выбраны не все правильные варианты ответа. То есть, Вы выбираете один верный ответ, а их там два :)
В курсе по математической логике и теории алгоритмов ошибка в задании для самопроверки. Раздел 1.3.
Вопрос 3
Пусть Сократ и Платон говорят следующее: Сократ: «То, что сказал Платон, есть ложь». Платон: «Сократ говорит только правду». Имеем ли мы здесь парадокс?
Предположим, что сказанное Сократом правда, следовательно, Платон солгал, и Сократ говорит не только правду, но из этого не следует, что Сократ всегда лжёт, также не следует, что данное высказывание Сократа должно являться ложью, то есть оно вполне может быть истинным, таким образом, никакого противоречия здесь нет. Ответ же говорит, что парадокс есть.
Следует поменять формулировку на "Пусть Сократ и Платон говорят следующее: Сократ: «То, что сказал Платон, есть ложь». Платон: «Сказанное Сократом правда»." или же указать другой ответ.
Там же неправильный ответ в первом вопросе
прошу прощения, в первом всё в порядке
вопрос по тесту 3 из главы 2.5
правильный вариант легко находится методом исключения, но
{< a,a >, < b,b >, < c,c >, < a,c >, < b,c >, < b,a >}
где здесь транзитивность? разве не должно быть условие
{< a,a >, < b,b >, < c,c >, < a,c >, < b,c >, < a,b >} ?
спасибо.
Добрый день.
Отношение r называется транзитивным, если для любых x, y и z из того, что (x, y) и (y, z) принадлежат r, следует, что (x, z) принадлежит r.
Другими словами, отношение r не является транзитивным, если (x, y) и (y, z) принадлежат r, а (x, z) в r нет. В приведенном вами отношении нет нарушения условия транзитивности, а значит, отношение транзитивно по определению.
Заметьте, определение транзитивности не обязывает отношение иметь такие x, y и z: оно лишь ставит условие, которое должно выполянться, если таковые элементы найдутся. А раз нет таких элементов, то и выполнение условия не требуется.
спасибо за комментарий )
Видео 2.4, 2:52. Когда говорится о не транзитивном отношении, Валентин Михайлович говорит про x, y, z, но написаны при этом a, b и c.
Да, действительно abc вместо xyz, не доглядели. Исправим. Спасибо за замечание!
Раздел 3.3 второй вопрос формула и ответ не совпадают.
Раздел 3.4 видео видео 2 раза начинается
Экзамен к 3 недели 11, 12, 14 и 15 вопросы мне кажется в ответах ошибки
Антон, могли бы Вы уточнить, какие именно ошибки на Ваш взгляд?
Да конечно.
Вопрос 11
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A∨И)∼И
2 (A∨И)∼Л
3 (A∨И)∼A
4 (A∨И)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 12
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A⊃И)∼И
2 (A⊃И)∼Л
3 (A⊃И)∼A
4 (A⊃И)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 14
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (Л⊃A)∼И
2 (Л⊃A)∼Л
3 (Л⊃A)∼A
4 (Л⊃A)∼¬Л
объяснение : слева всегда И значит подходят 1 и 4 варианты (но программа выдаёт ошибку)
Вопрос 15
Пусть A – произвольное высказывание, И – любое истинное высказывание, Л – любое ложное высказывание. Укажите формулу, которая является тавтологией. (В этих формулах пропозициональная переменная только A)
1 (A⊃Л)∼И
2 (A⊃Л)∼Л
3 (A⊃Л)∼A
4 (A⊃Л)∼¬Л
объяснение : если А = И значит (A => Л) = Л если А = Л значит (A => Л) = И получаем ¬А значит варианты И,Л,¬Л не подходят также вариант А тоже не подходит значит нет верного ответа ничего не выделяем (но программа выдаёт ошибку)
Вопрос 15 п.4 (A⊃Л)∼¬А поэтому вариант 4 должен подходить
Скорее всего и в заданиях 9-14 должно быть в п.4 ∼¬А, иначе п.1 и п.4 совпадают
Раздел 3.5 Вопрос 2 написано ¬(X∨Y)≡¬X∨¬Y а должно быть ¬(X∨Y)≡¬X&&¬Y или ¬(X&&Y)≡¬X∨¬Y
Вы правы.
Вопрос 3
Пусть A – произвольное высказывание, Л – любое истинное высказывание. Укажите истинностное значение высказывания Л⊃A.
Истина Ложь Такое же как у A Противоположно A
А может принимать значения или ИСТИНА, или ЛОЖЬ.
Л- любое истинное высказывание - здесь должно быть любое ЛОЖНОЕ высказывание - т.е. Л - это всегда ЛОЖЬ.
Затем надо построить таблицу истинности для формулы Л⊃A (насколько я понимаю, в ней будет всего две строки) и по полученной таблице отметить на вопрос.
Если Л - ложь, тогда другое дело.
а можно как то прокомментировать https://www.lektorium.tv/comment/15504#comment-15504
Антон, простите за задержку :-) Вы абсолютны правы в своих рассуждениях. Спасибо за внимательность. Эти ошибки исправляются
Итоговый тест по главе 2
Вопрос 16
Пусть A = {1, 2, 3} и заданы три отношения на A. Какие из этих отношений является антисимметричными?
{< 1,1 >, < 1,2 >, < 2,3 >, < 3,1 >}
{< 1,1 >, < 1,2 >, < 2,3 >, < 3,2 >}
{< 1,1 >, < 1,2 >, < 2,3 >, < 3,3 >}
Очень сильное подозрение на некорректную квалификацию ответов.
Согласна. Исправляем
Когда будет исправлено задание 16 гл.2. Сегодня уже 8.03
Лекция 2.6, пример 1. Элементы первых двух упорядоченных пар функции f должны разделяться запятыми, а не точками.
Спасибо
Пункт 2.3, Вопросы для самопроверки, задание 2.
В задании предлагается найти композицию отношений \phi \circ \rho, в то время как (правильный) ответ предполагает композицию \rho \circ \phi.
Прочитайте в лекции внимательно определение композиции отношений:-) Можно и пример посмотреть
Проверочный тест к главе 2.6, вопрос 1. Почему последнее утверждение правильно, если для f−1(1) не существует целочисленных аргументов?
Ещё, кажется, тут во многих местах пропущены фигурные скобки.
Согласна. Спасибо.
Во 2-м вопросе того же задания, кстати, тоже отсутствуют фигурные скобки.
В итоговом тесте к главе 2 в вопросе 10 в пункте 3 пропущено определение "P(A) – множество всех подмножеств A".
Страницы