Структура и интерпретация компьютерных программ

Теория: Примитивные выражения, комбинирование и абстракция

Замечание

В видео на 25й минуте метод вычисления по ошибке называется «аппликативным». На самом деле это «нормальный» порядок.

Нормальным порядком вычислений (англ. Normal order) называют стратегию вычислений, при которой охватывающее выражение полностью редуцируется, применяя функции до вычисления аргументов (википедия).

Рекомендуемые программы

Завершено

0 / 17

+7 800 100 22 47

бесплатно по РФ

+7 495 085 21 62

бесплатно по Москве

108813 г. Москва, вн.тер.г. поселение Московский,
г. Московский, ул. Солнечная, д. 3А, стр. 1, помещ. 20Б/3
ОГРН 1217300010476
ИНН 7325174845