Семинар "Логическая семантика": решение Русской карточной задачи
Мероприятие завершено
В рамках научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии продолжается серия семинаров, посвященных решению эпистемических задач.
1 ноября в 16.40 в ауд. А-120 состоится заседание научно-учебного семинара
«Логическая семантика».
В рамках семинара будет разбираться Русская карточная задача.
Формулировка задачи:
"Из колоды вынули 7 карт, показали всем, перетасовали и раздали Грише и Лёше по 3 карты, а оставшуюся карту
а) спрятали;
б) отдали Коле.
Гриша и Лёша могут по очереди сообщать вслух любую информацию о своих картах. Могут ли они сообщить друг другу свои карты так, чтобы при этом Коля не смог вычислить местонахождение ни одной из тех карт, которых он не видит? (Гриша и Лёша не договаривались о каком-либо особом способе общения; все переговоры происходят открытым текстом.)" (А. Шаповалов)
Источник: Московская математическая олимпиада
В рамках семинара будет разбираться Русская карточная задача.
Формулировка задачи:
"Из колоды вынули 7 карт, показали всем, перетасовали и раздали Грише и Лёше по 3 карты, а оставшуюся карту
а) спрятали;
б) отдали Коле.
Гриша и Лёша могут по очереди сообщать вслух любую информацию о своих картах. Могут ли они сообщить друг другу свои карты так, чтобы при этом Коля не смог вычислить местонахождение ни одной из тех карт, которых он не видит? (Гриша и Лёша не договаривались о каком-либо особом способе общения; все переговоры происходят открытым текстом.)" (А. Шаповалов)
Источник: Московская математическая олимпиада
Также разбору задачи посвящена глава книги: Van Ditmarsch, H., & Kooi, B. (2015). One hundred prisoners and a light bulb, p. 39-54.
О решении задачи расскажет стажер-исследователь МЛ логики, лингвистики и формальной философии Дарья Панюхина.
Подробнее о семинаре "Логическая семантика"
Дата
1 ноября
16:40
Адрес
Ст. Басманная ул., д. 21/4, стр. 5
В статье упомянуты
Персоны