80 / 73 / 10
Регистрация: 12.08.2019
Сообщений: 78
|
|||||||||||||||||||||||||||||||
1 | |||||||||||||||||||||||||||||||
Эта-преобразование18.07.2020, 00:12. Показов 506. Ответов 2
Решил я значит написать полноценное лямбда-исчисление на Хаскелл, которое работает с письменной записью лямбда-функции. В качестве примеров взял лямбда-числа и начал применять к ним разные математические операции. В интернете прочитал, что возведение в степень можно записать как
Вопрос: может такое быть, что это у меня ошибка в правиле подстановки или
P.S. Вот фрагмент кода, который отвечает за упрощение термов. Тут я использую не совсем привычную нотацию, а вот эту, чтобы не заморачиваться с переименовыванием атомарных букв при бета-редукции. Кликните здесь для просмотра всего текста
1
|
18.07.2020, 00:12 | |
Ответы с готовыми решениями:
2
Символическое дифференцирование-ввод формулы в связный список, преобразование в ПОЛИЗ, обратное преобразование Преобразование звукового сигнала в спектр (Фурье-преобразование) Преобразование изображения по гистограмме. Гиперболическое преобразование гистограммы Нормальное преобразование/ортогональное преобразование |
212 / 171 / 28
Регистрация: 02.07.2020
Сообщений: 121
|
|||||||||||
18.07.2020, 01:45 | 2 | ||||||||||
Какого рода расхождение?
На всякий случай все то же самое с лямбдами и без комбинаторов
0
|
80 / 73 / 10
Регистрация: 12.08.2019
Сообщений: 78
|
|||||||||||
21.07.2020, 18:00 [ТС] | 3 | ||||||||||
Вся загвоздка в том, что я запускаю не хаскелльные лямбда-функции, а мои собственные. Нотация почти такая же как в Хаскелле, только точка вместо стрелочки.
Программа работает не с одной лямбда-функции, а с их списком. Собственно само расхождение: Кликните здесь для просмотра всего текста
Как работает аналог возведения в степень: Кликните здесь для просмотра всего текста
0
|
21.07.2020, 18:00 | |
21.07.2020, 18:00 | |
Помогаю со студенческими работами здесь
3
Быстрое преобразование Фурье и ошибка "Неявное преобразование типа" Ох уж эта винда Эта переменная не определена работает ли эта функция ? Эта проклятая Рапида Эта переменная не определена Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |