Похожие статьи:

1. Выражение Let Пусть выражение Преобразование выражений let в лямбда-выражения Выражения let могут быть преобразованы в лямбда-выражения с использованием...
2. Предикат (грамматика) Сказуемое (грамматика) Одушевленность и падежи Одушевленность: существительные могут быть одушевленными или неодушевленными.  Дательный падеж: изменение падежа...
3. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
4. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
5. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
6. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
7. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
8. S-выражение S-выражение Определение и использование S-выражений S-выражения — это язык программирования, используемый для представления данных и программ...
9. Выражение (информатика) Экспрессия (информатика) Определение выражения в информатике Выражение — это синтаксическая сущность, вычисляемая для получения значения или...
10. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
11. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
12. Регулярное выражение Обычное выражение Основы регулярных выражений Регулярные выражения используются для сопоставления шаблонов в тексте.  Они были изобретены...
13. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...
14. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
15. Лямбда-куб — ​​Википедия Лямбда-кубик Определение лямбда-куба Лямбда-куб — это система для описания и изучения чистых типов.  Включает в себя...
16. Словесная задача (математика) Словесная задача (математика) Определение проблемы со словом Проблема со словом — это задача определения, представляют ли...