lambda operator - перевод на русский
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

lambda operator - перевод на русский

SERIES OF JAPANESE ROCKETS
Lambda 4-S; Lambda (rocket); Lambda-4
  • Lambda 4S (replica) and the launcher as exhibited at [[National Museum of Nature and Science]].

lambda operator      

математика

лямбда-оператор

functional abstraction         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent

математика

функциональная абстракция

абстракция функций

lambda calculus         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent

математика

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

Определение

beta conversion

Википедия

Lambda (rocket family)

Lambda is the name of a series of Japanese carrier rockets. It consisted of the types Lambda 2, LS-A, LSC-3, Lambda 3, Lambda 4 and LS-C, developed jointly by Institute of Industrial Science of University of Tokyo, Institute of Space and Astronautical Science of Tokyo University, and Prince Motor Company, which merged with Nissan in 1966.

On February 11, 1970, the first Japanese satellite Ohsumi was launched using a Lambda 4 rocket.

Lambda series rockets did not have guidance systems, as they had the potential to be converted for offensive military use, thus interpreted as a violation of Article 9 of the Japanese Constitution. However, future Japanese launch vehicles, such as the H-II, were allowed to have guidance systems.

The Lambda 4 was launched nine times, though five were failures. The first launch of the Lambda 4S rocket took place on September 26, 1966, from Kagoshima. A fourth-stage attitude control failed resulting in loss of the vehicle and payload. The last launch date was September 1, 1974.

Как переводится lambda operator на Русский язык