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

м
м (стильові правлення)
Функція ''n'' змінних <math>v_1, \dots, v_n</math> в λ-численні позначається наступним чином:
:<math>f = \lambda v_1\ldots v_n . e_0</math>.
Символ <math>f</math> в лівій частині цього рівняння задає ''назву'' функції, (або ''ідентифікатор''), за яким можна посилатись на цю функцію в інших виразах. Вираз у правій частині рівняння визначає ''абстракцію'' змінних <math>v_1, \ldots, v_n</math> від виразу <math>e_0</math>, котрий називається ''тілом абстракції''. Конструкція <math>\lambda v_1, \ldots, v_n</math> є ''абстрактором'' появи [[вільна змінна|вільних змінних]] <math>v_1, \dots, v_n</math> в тілі функції <math>e_0</math>.
 
''Застосування'' функції (або абстракції) з назвою <math>f</math> до виразу з <math>r</math> аргументами <math>e_1, \ldots, e_r</math> позначається:
37 331

редагування