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

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

Серия: "-"

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

Издательство: "ЁЁ Медиа" (1985)

ISBN: 978-5-458-28170-6

Купить за 1604 руб в My-shop

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

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

См. также в других словарях:

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

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

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

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

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

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

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

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

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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»