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

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

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

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

Срoк : 20 дней

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

13 лет назад
Xameleon-007
Владимир 
42 года
16 лет в сервисе
Был
5 лет назад

Заявки фрилансеров

Нет заявок фрилансеров