Агата Сомова · старший инспектор, Седьмой отдел
В ночь кражи, около половины первого, трое грузчиков шли домой через переулок у склада № 4: Фома, Лука и Данила. Все трое что-то видели, и рассказы не сходятся. Кто был в переулке? Кто из этих троих врёт? Ответ понесёшь судье Грановичу. Сам.
Это первое настоящее дело, без карточек из ящика. Переулок у склада № 4 узкий, фонарь в нём один, и единственная дверь в него ведёт со склада. Если ночью в переулке кто-то был, это первая ниточка к пропавшим хронометрам.
Всё, что нужно, ты уже умеешь: переводить показания в формулы, искать модели перебором или DPLL, проверять, что вывод следует. Сегодня соберёшь это в одно расследование из трёх фаз: записать, решить, объяснить.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.