Презентация на тему Основы лямбда-исчисления

презентация по теме Основы лямбда-исчисления

Данная презентация по математике посвящена теме: "Основы лямбда-исчисления". В ходе изучения работы Вы ознакомитесь с основными понятиями темы, правилами преобразования выражений, ромбическим свойством системы редукций, стандартными порядками редукций, рассмотрите сравнение различных порядков редукций, проблему конфликта имён. В конце презентации сделан итоговый вывод по теме.

Детально ознакомиться работой Вы можете, нажав на ссылку "Скачать презентацию". 

Оставить комментарий

Комментарии содержащие ненормативную лексику или спам будут удаляться.

Ваш комментарий будет первым