Раздел 44 · Логика и типы

Замыкания: у кого мог оказаться ключ

junior~20 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Агата Сомова · старший инспектор

Две карточки. Рудаков в 19:40 оставил ключ номер один Ефиму. Ефим около половины двенадцатого дал его Прохору «на пять минут». Вернул ли Прохор ключ, не записано. Мне нужен полный список тех, у кого ключ номер один мог оказаться к полуночи. Полный: чтобы никто не сказал, что мы кого-то забыли. И без лишних: чтобы никто не сказал, что мы кого-то приписали.

Обе карточки бьют по клиенту Вельского. По уставу порта бригадир не имеет права отдавать ключ, и Рудаков это скрывал. Но Сомову сейчас интересует не устав, а ключ.

Карточки дают отношение «передал ключ из рук в руки». Ответ Сомовой спрятан не в самих парах, а в цепочках из них. Чтобы получить все цепочки сразу, отношение «замыкают». Это последний инструмент блока, и он же та самая звёздочка в на странице Кодекса.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

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