лямбда-исчисление это:

лямбда-исчисление
л'ямбда-исчисл'ение, -я

Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". . 1999.

Смотреть что такое "лямбда-исчисление" в других словарях:

  • лямбда-исчисление — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN lambda calculus …   Справочник технического переводчика

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

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

  • лямбда-исчисление — (2 с), Р. ля/мбда исчисле/ния …   Орфографический словарь русского языка

  • Лямбда-исчисление с типами — Типизированное λ исчисление это типовый формализм, использующий символ абстракции «λ» для записи выражений, обозначающих безымянные функции. Типовые λ исчисления являются фундаментальными примитивными языками программирования, которые… …   Википедия

  • Типизированное лямбда-исчисление — Типизированное λ исчисление это типовый формализм, использующий символ абстракции «λ» для записи выражений, обозначающих безымянные функции. Типовые λ исчисления являются фундаментальными примитивными языками программирования, которые… …   Википедия

  • Лямбда-куб — Лямбда куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Лямбда куб (λ куб) задает единообразное описание восьми различных систем типизированного лямбда исчисления с …   Википедия

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

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

  • Исчисление (значения) — В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода). Дифференциальное исчисление Интегральное исчисление Вариационное исчисление… …   Википедия

Книги

Другие книги по запросу «лямбда-исчисление» >>


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

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