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

Босс: опечатанные протоколы

middle~120 мин

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

Тимофей Ильич · архивариус

Протоколы по делу склада у нас опечатаны по порядку: сургуч внутри свинца, свинец внутри сургуча. Кто снимал, тот и ставил заново, всё записано. А вот этот, протокол передачи дела в Арбитр, я не понимаю. Печатей восемь пар, и мне кажется, что одну сняли не в свой черёд. Но «кажется» в архиве не довод. Нужны правила.

Сомова кладёт протокол под лампу. На корешке ряд печатей, слева направо в том порядке, в каком их ставили и снимали. Если какую-то печать сняли, пока внутри неё ещё висела другая, протокол вскрывали, и вскрывали не по правилам архива.

Это босс блока «Протокол». Ты пройдёшь все его инструменты: прочитаешь чужую систему правил и построишь в ней выводы, напишешь свою систему, а потом докажешь судье, что она выводит только правильно опечатанные протоколы и все такие протоколы. Корректность и полнота из прошлого урока, только теперь для твоей собственной системы.

урок из курса

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

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