ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

ЭБ ЮрИнфоР® >>>

МОДЕЛИ ЛАМБДА-ИСЧИСЛЕНИЯ

С.В. Косиков
НОУ «Институт актуального образования «Юринфор-МГУ»
г. Москва

Публикуется в сокращении

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 г.)

Система Orphus
Электронная библиотека
Рецензии | Статьи
Материалы конференций
Учебные материалы
info@jurinfor.ru
Подписка на новости библиотеки
<-- -->
Обложки книг
Хит продаж
Вольфенгаген В.Э. Комбинаторная логика в программирова- нии: Вычисления с объектами в примерах и задачах.


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2018