Книга: Барендрегт Х. «Ламбда-Исчисление: его синтаксис и семантика»
|
Серия: "-" Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство "Мир Публишерс" ). Издательство: "ЁЁ Медиа" (1985)
ISBN: 978-5-458-28170-6 Купить за 1604 руб в My-shop |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Х. Барендрегт | Ламбда-Исчисление : его синтаксис и семантика | Воспроизведено в оригинальной авторской орфографии издания 1985 года (издательство`Мир Публишерс`) — Книга по Требованию, Подробнее... | 2012 | 1803 | бумажная книга |
См. также в других словарях:
Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
Скотт, Дана — В Википедии есть статьи о других людях с такой фамилией, см. Скотт. Дана Скотт Dana Stewart Scott … Википедия
Непрерывность по Скотту — в математике свойство функций над частично упорядоченными множествами, выражающееся в сохранении точной верхней грани относительно отношения частичного порядка. Топология Скотта структура над полной решёткой или, в более общем случае, над полным… … Википедия
