Лямбда-исчисление. |
Лямбда-исчисление. |
Krjuger |
16.05.2011 17:51
Сообщение
#1
|
Профи Группа: Пользователи Сообщений: 652 Пол: Мужской Реальное имя: Алексей Репутация: 20 |
Собственно задача следующая.
5.Определить лямбда-образ функции T(x)=<a1,......,an>, где аi делитель "х" (расположенные по убиванию). Собственно непонятно,какие проверки должны быть.Например,если х равно нулю,то результатом должно быть 0 или пустое множество.Так же не совсем понятно,как искать делитель.Была идея рассмотреть обратную задачу,тобиш пойти через умножение и записывать по порядку,но тут тоже возникли проблемы,умножение то я сделал <<*>>=лямбда y1,y2(y2 y2 лямбда z2 ( <<+>>(<<*>>y1z2)y1)),Но как написать функцию,которое будет это использовать, я не знаю. |
Текстовая версия | 1.11.2024 1:45 |