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

Перейти до навігації Перейти до пошуку
м
стильові правлення
м (стильові правлення)
== Нотація λ-числення ==
 
Функція ''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>.

Навігаційне меню