Вікіпедія

Лямбда-числення: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][перевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Інтуїтивно-> Інтуітивно
Скасовано останнє редагування (2A02:810D:4AC0:1358:5C6B:1D9E:52F1:AC0D) і відновлено версію 20499645 Olexa Riznyk: иии?
Рядок 15:
* ''аплікація'' <math> MN </math>&nbsp;— це λ-вираз, якщо <math> M </math> та <math> N </math>&nbsp;— λ-вирази.
 
інтуітивноІнтуїтивно, абстракції відповідають функціям, а аплікації їх застосуванню. Особливістю лямбда-числення є те, що аргументи «функцій», визначених таким чином,&nbsp;— це теж функції. Наприклад, <math> \lambda x.x </math>&nbsp;— це λ-вираз, що відповідає функції ідентичності, а <math> \lambda x.x M </math>&nbsp;— це аплікація цієї функції до <math> M </math>, у випадку коли <math> M </math>&nbsp;— це теж λ-вираз.
 
На цій множині ми визначаємо відношення <math> \rightarrow_\beta </math>, що називається ''бета-редукція'':
Отримано з https://uk.wikipedia.org/wiki/Лямбда-числення