-
1 lambda calculus
лямбда-исчисление
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > lambda calculus
-
2 lambda calculus
математическая система для определения функций, вычисления значений выражений (lambda expression) и доказательства равенства выраженийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lambda calculus
-
3 lambda calculus
Большой англо-русский и русско-английский словарь > lambda calculus
-
4 lambda calculus
Компьютерная техника: лямбда-исчисление -
5 lambda-calculus
Компьютерная техника: лямбда-исчисление -
6 lambda calculus
мат. -
7 lambda-calculus
-
8 lambda calculus
English-Russian dictionary of computer science > lambda calculus
-
9 lambda-calculus
English-Russian dictionary of computer science > lambda-calculus
-
10 calculus
-
11 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
12 lambda
лямбда, ламбда - lambda calculus - lambda conversion - lambda distribution - lambda function - lambda matrix - lambda operator ламбда, лямбда (11-я буква греческого алфавита) (анатомия) место соединения ламбдовидного и стреловидного швов черепа (биология) ламбда-фаг (инфицирующий кишечную палочку) (физическое) ламбда-гиперон -
13 lambda expression
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lambda expression
-
14 calculus
̈ɪˈkælkjuləs I сущ.;
мн. -li;
мед. камень bladder calculi ≈ камни в мочевом пузыре Syn: stone II сущ.;
мн. -es, -li;
мат. исчисление differential calculus ≈ дифференциальное исчисление integral calculus ≈ интегральное исчисление Syn: calculation (математика) исчисление - the (differential) * дифференциальное исчисление - * of probabilities исчисление вероятностей - * of variation вариационное исчисление калькуляция (медицина) камень (почечный, желчный) calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление ~ исчисление ~ калькуляция ~ (pl -li) мед. камень ~ of probability теория вероятностей ~ of variations вариационное исчисление certainty ~ исчисление достоверности calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление extended ~ расширенное исчисление first order predicate ~ исчисление предикатов первого порядка frame ~ исчисление фреймов integral ~ интегральное исчисление lambda ~ лямбда-исчисление logical ~ логическое исчисление predicate ~ исчисление предикатов program ~ исчисление программ propositional ~ исчисление высказываний relational ~ реляционное исчисление sentential ~ исчисление высказываний situational ~ ситуационное исчислениеБольшой англо-русский и русско-английский словарь > calculus
-
15 лямбда-исчисление
Большой англо-русский и русско-английский словарь > лямбда-исчисление
-
16 Turing machine
гипотетический вычислитель, который предложил английский математик Алан Тьюринг (Alan Turing) в 1936 г. как инструмент для изучения сложности алгоритмов. Целью Тьюринга было описать границу между тем, что вычислительная машина может делать, и тем, что ей не под силу. Машина Тьюринга состоит из блока управления, считывающей и записывающей головки и в обе стороны бесконечной длины ленты, разделённую на ячейки, каждая из которых может содержать произвольный символ некоторого конечного множества, называемого алфавитом данной машины. Его элементы называются символами, или буквами, а конечные последовательности букв - словами. Вычисления состоят из последовательности шагов, задаваемых программой блоку управления. Ячейка, находящаяся под считывающей головкой, называется текущей. Каждый шаг может включать в себя считывание символа в текущей ячейке, запись в неё символа, возможное перемещение головки в соседнюю ячейку слева или справа, смену состояния и остановку. Программа представляет собой таблицу переходов, которая определяет поведение машины в зависимости от состояния и символа в текущей ячейке. Таблица переходов для каждой пары текущее состояние, текущий символ задаёт тройку значений новое состояние, новый символ, сдвиг. Вычисления начинаются в специальном состоянии, называемом стартовым (initial state), и заканчиваются в состоянии, называемом остановом. Кроме наличия бесконечной памяти, современные процессоры очень похожи на машину ТьюрингаАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Turing machine
-
17 Haskell
язык [функционального программирования] Haskellбазируется на лямбда-исчислении ( lambda calculus), поэтому греческая буква λ является его символом; поддерживает ленивые вычисления (lazy evaluation), полиморфизм типов и др. Назван в честь английского математика Хаскела Б. Карри (Haskell Brooks Curry), работы которого по математической логике стали основой для нового семейства языков функционального программирования. Первые версии Haskell были разработаны большой группой учёных в начале 1990-х годов. Наиболее полная реализация языка - Haskell 98.Haskell is not just a good 'teaching language'; it is a practical programming language, supported by having extensions such as interfaces to C functions and component-based programming, for example. - Haskell — не просто хороший "учебный язык"; это настоящий язык программирования, имеющий, в частности, такие средства поддержки и расширения, как интерфейс с функциями, написанными на Си, и возможности компонентно-ориентированного программирования см. тж. functional language, www. haskell. org
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > Haskell
См. также в других словарях:
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
lambda calculus — noun Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. See Also: calculus, lambda, lambda… … Wiktionary
Simply typed lambda calculus — The simply typed lambda calculus (lambda^ o) is a typed interpretation of the lambda calculus with only one type combinator: o (function type). It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus… … Wikipedia
Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… … Wikipedia
Normalization property (lambda-calculus) — In mathematical logic and theoretical computer science, a rewrite system has the strong normalization property (in short: the normalization property) if every term is strongly normalizing ; that is, if every sequence of rewrites eventually… … Wikipedia
Knights of the Lambda Calculus — The Knights of the Lambda Calculus is a semi fictional organization of expert LISP and Scheme hackers. The name refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which LISP is intimately connected, and… … Wikipedia
Lambda — (uppercase Λ, lowercase λ; el. Λάμβδα or el. Λάμδα, Lamda) is the 11th letter of the Greek alphabet. In the system of Greek numerals it has a value of 30. It was derived from the Phoenician letter Lamed the name of the letter, Λάμδα, is… … Wikipedia
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda Papers — Lambda the Ultimate Papers were written by Gerald Jay Sussman and Guy Steele Jr. in 1975 1978, questioning the then current practices in programming language implementations. The focus was on showing that programming languages can be implemented… … Wikipedia
