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