ЁЅ ёр»нфо–® >>>

ћќƒ≈Ћ» ЋјћЅƒј-»—„»—Ћ≈Ќ»я

—.¬.  осиков
Ќќ” Ђ»нститут актуального образовани€ Ђёринфор-ћ√”ї
г. ћосква

ѕубликуетс€ в сокращении

Next


 онверси€

јппликативные термы

(i) x - переменна€    ├    x - терм.
(ii) A, B - термы    ├    (AB) - терм.
(iii) ƒругих термов нет.


λ - термы

(i) x - переменна€    ├    x - терм.
(ii) 1. A, B - термы    ├    (AB) - терм.
     2. A - терм    ├    (λx.A) - терм.
(iii) ƒругих термов нет.
ћножество λ-термов обозначим через Λ, множество замкнутых λ- термов – через Λ0.

 онверси€

(α) λx.A = λy.(A [y / x]).
(β) (λx.A) B = A [B / x].
(μ) A = B    ├    CA = CB.
(ν) A = B    ├    AC = BC.
(ξ) A = B    ├    λx.A = λx.B.
(ρ) A = A.
(σ) A = B    ├    B = A.
(τ) A = B, B = C    ├    A = C.

Ёкстенсиональность

(η) λx.Ax = A.

Next

Ќикака€ часть содержащегос€ здесь текста ни в каких цел€х не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами, будь то электронные или механические, если на то нет письменного разрешени€ јќ "÷ентр ёр»нфо–".

(–азмещена 12 €нвар€ 2010 г.)