Агата Сомова · старший инспектор
Завтра заседание. Вельский скажет, что разница между бумагой и лентой в одном штрихе, а штрих это почерк писаря. Спорить о почерке я не буду. Машину, о которой мы говорили вчера, собери к утру: пусть сама прогонит обе бумаги при судье.
Все инструменты блока у тебя в руках. В уроке 43 ты научился читать термы, в уроке 44 нашёл захват на бумаге, в уроке 45 узнал, как машина выбирает шаг, в уроке 46 прочитал шифр чисел и «да/нет», в уроке 47 научил машину обходиться без имён.
Сегодня собираешь из этого интерпретатор бестипового λ-исчисления по главе 7 TAPL. Он прогонит материалы дела, и подделка станет видна без единого слова Вельского. А потом объяснишь всё Косте, который пропустил эту неделю.
урок из курса
Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.
Оплата пока не подключена: премиум и курсы открываются промокодом.