Comments | chomsky_ru: Просвещённые друзья!

nomen_nescio in chomsky_ru

Jun 10, 2010 14:20

В каком смысле используется лямбда вот в такой, например, кванторной записи:
vsjakij = λQ λP ∀k ((k < nom (Q)) → P(k)) (из статьи Бронникова)
Спасибо

Comments 4

potan June 10 2010, 11:15:24 UTC

Лямбда-исчисление Черча.
Упрощенно говоря - определяет аргумент функции.

nomen_nescio June 10 2010, 11:35:31 UTC

Спасибо!

bylin June 10 2010, 11:20:52 UTC

она говорит, что на вход надо подать предикат P а также предикат Q

nomen_nescio June 10 2010, 11:34:56 UTC

Спасибо!