Найдите исполнителя для вашего проекта прямо сейчас!
Разместите заказ на фриланс-бирже и предложения поступят уже через несколько минут.

Вид работы: Дипломная

Предмет: Высшая математика

Тема работы: Доказать, что чacтично peкуpcивные функции выpaзимы в лямбда иcчислeнии

Количество страниц: от 0 до 60

Срoк : 20 дней

Дополнительные требования: Во введении должны быть определены, все переменные, определения, символы, которые используем в доказательстве. В основной части, все следствия, теоремы, заключения, выводы, которые используем при доказательстве должны быть приведены с доказательством. Пример книги: Барендрегт - Ламбда-исчисление. Его синтаксис и семантика

12 лет назад
Xameleon-007
Владимир 
41 годРоссия
15 лет в сервисе
Был
4 года назад