Book: Х. Барендрегт «Ламбда-Исчисление : его синтаксис и семантика»

Ламбда-Исчисление : его синтаксис и семантика

Производитель: "Книга по Требованию"

Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство`Мир Публишерс`).

Издательство: "Книга по Требованию" (2012)

ISBN: 978-5-458-28170-6

Купить за 1803 грн (только Украина) в

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Барендрегт Х.Ламбда-Исчисление: его синтаксис и семантикаВоспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс" ) — ЁЁ Медиа, - Подробнее...1985
1604бумажная книга

Look at other dictionaries:

  • Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …   Википедия

  • Лямбда-исчисление — (λ исчисление)  формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… …   Википедия

  • Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …   Википедия

  • Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… …   Википедия

  • Скотт, Дана — В Википедии есть статьи о других людях с такой фамилией, см. Скотт. Дана Скотт Dana Stewart Scott …   Википедия

  • Непрерывность по Скотту — в математике свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка. Топология Скотта структура над полной решёткой или, в более общем случае, над полным… …   Википедия

  • Частично упорядоченное множество — У этого термина существуют и другие значения, см. Упорядоченное множество. Подмножества {x, y, z}, упо …   Википедия

  • Ершов, Юрий Леонидович — Юрий Леонидович Ершов Дата рождения: 1 мая 1940(1940 05 01) (72 года) Место рождения: Новосибирск, СССР Страна …   Википедия

  • КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.