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