Тимофей Ильич · архивариус Седьмого отдела
Устав, значит, сам себе противоречит? Бумага всё стерпит. А в картотеке у каждой карточки одно место. Вот ящик по складу: одна карточка на человека, а цветные язычки показывают, в каких он списках. Красный это подозреваемый, синий свидетель, зелёный ночная смена, жёлтый ключ от склада по журналу. Язычки я ставил тридцать лет. А кто попал сразу в несколько списков и что из этого следует, считайте сами.
После босса B стало ясно: устав порта Вельскому не опора, но и следствию тоже. Сомова привела тебя в архив отдела, в подвал к архивариусу. Он не спорит о словах, он раскладывает людей по спискам.
Вопрос Сомовой короткий: кто из свидетелей сам под подозрением? Чтобы ответить без ошибок, а потом объяснить ответ судье, нужен язык списков. Он называется теорией множеств, и на нём написана вторая глава TAPL.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.