лямбда-нотация
Смотреть что такое "лямбда-нотация" в других словарях:
Z нотация — (англ. Z notation, произносится /zɛd/), названная в честь теории множеств Цермела Френкеля, является формальным языком спецификации, используемым для описания и моделирования вычислительных систем. Она предназначена для ясной спецификации… … Википедия
Z-нотация — (англ. Z notation, произносится /zɛd/) формальный язык спецификации, используемый для описания и моделирования программ и их формальной верификации. Z нотацию первоначально предложил Жан Реймон Абриаль (Jean Raymond Abrial) в 1977 году … Википедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
FALSE — FALSE эзотерический язык программирования, созданный в 1993 году Wouter van Oortmerssen ом с двумя, по его словам, целями: чтобы можно было написать компилятор для него размером не более одного килобайта. придумать синтаксис, который бы… … Википедия
Тип данных — (встречается также термин вид данных) фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… … Википедия
Валютный тип — Тип данных Содержание 1 История 2 Определение 3 Необходимость использования типов данных … Википедия
Типизация данных — Тип данных фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые… … Википедия
JavaScript — Не следует путать с Java. JavaScript Класс языка: мультипарадигменный … Википедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Список обозначений в физике — Необходимо проверить качество перевода и привести статью в соответствие со стилистическими правилами Википедии. Вы можете помочь … Википедия