1. Epistemic Modal Logic

Субботнее 05/11/16 популярное занятие о логике знаний на английском языке. Тема: Временная логика Докладчик: к.ф.-м.н., доцент Антоненко Александр Сергеевич. Введение: к.т.н., доцент Мазурок Игорь Евгеньевич. Занятие проходит в рамках субботнего факультатива по алгоритмам и программированию в Одесском национальном университете имени И.И.Мечникова. Для подписки на группу субботнего факультатива: https://groups.google.com/group/acm-onu-facult Для решения задачи: http://acm.onu.edu.ua/cgi-bin/register?contest_id=46 Задача A