EXTENSIONAL FUNCTOR

Англо-русский перевод EXTENSIONAL FUNCTOR

мат. экстенсиональный функтор

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

EXTENSIONAL FUNCTOR — матем. экстенсиональный функтор
Англо-Русский научно-технический словарь
EXTENSIONAL FUNCTOR — мат. экстенсиональный функтор
Новый большой Англо-Русский словарь
FUNCTOR — noun Date: 1935 something that performs a function or an operation
Толковый словарь английского языка - Merriam Webster
EXTENSIONAL — adjective Date: 1647 of, relating to, or marked by extension, concerned with objective reality, ~ity noun ~ly adverb
Толковый словарь английского языка - Merriam Webster
FUNCTOR — I. ˈfəŋ(k)tə(r) noun ( -s ) Etymology: New Latin, from Latin functus (past participle of fungi to perform) + New …
Webster's New International English Dictionary
EXTENSIONAL — ikˈstenchən ə l, (ˈ)ek|s-, -chnəl adjective 1. : of, relating to, or marked by extension ; specifically : denotative the …
Webster's New International English Dictionary
EXTENSIONAL — (a.) Having great extent.
Английский словарь Webster
EXTENSIONAL — ( a. ) Having great extent.
Webster's Revised Unabridged English Dictionary
FUNCTOR — /fungk"teuhr/ , n. 1. that which functions. 2. Ling. a function word or affix. Cf. contentive . [ 1935-40; FUNCT(ION) …
Random House Webster's Unabridged English Dictionary
FUNCTOR — noun Date: 1935 : something that performs a function or an operation
Merriam-Webster's Collegiate English vocabulary
EXTENSIONAL — adjective Date: 1647 1. : of, relating to, or marked by extension ; specifically : denotative 2. : concerned with …
Merriam-Webster's Collegiate English vocabulary
EXTENSIONAL — adj having great extent.
Webster English vocab
FUNCTOR — [ 'fʌŋktə ] ■ noun Logic & Mathematics a function; an operator.
Concise Oxford English vocab
FUNCTOR — [func.tor] n (1935): something that performs a function or an operation
Merriam-Webster English vocab
EXTENSIONAL — [ex.ten.sion.al] adj (1647) 1: of, relating to, or marked by extension; specif: denotative 2: concerned with objective reality -- ex.ten.sion.al.i.ty …
Merriam-Webster English vocab
FUNCTOR — functor BrE AmE ˈfʌŋ k t ə AmE \ - ə r ▷ functor|s z
Longman Pronunciation English Dictionary
EXTENSIONAL — extensional BrE AmE ɪk ˈsten t ʃ ə n‿ ə l ek-, ək-
Longman Pronunciation English Dictionary
FUNCTOR — / ˈfʌŋktə(r); NAmE / noun 1. ( mathematics ) a function or a symbol such as + or × 2. …
Oxford Advanced Learner's English Dictionary
FUNCTOR — In category theory , a functor F is an operator on types. F is also considered to be a polymorphic …
FOLDOC Computer English Dictionary
EXTENSIONAL — Extensional properties, e.g. extensional equality, relate to the "black-box" behaviour of an object, i.e. how its output depends on its …
FOLDOC Computer English Dictionary
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Большой Англо-Русский словарь
EXTENSIONAL — 1) экстенсиональный 2) объемный 3) экстенсивный ∙ - extensional class - extensional connective - extensional continuity - extensional equality - …
Большой Англо-Русский словарь
FUNCTOR — Логическая операция
Американский Англо-Русский словарь
EXTENSIONAL — Пространственный
Американский Англо-Русский словарь
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
EXTENSIONAL — a 1> пространственный 2> имеющий протяжённость, протяжённый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FUNCTOR — матем. функтор - aggregation preserving functor - colimit preserving functor - completely univalent functor - complex functor - composite functor - contracted functor - contractor functor - faithfully exact …
Англо-Русский научно-технический словарь
EXTENSIONAL — логика экстенсиональный; объёмный
Англо-Русский научно-технический словарь
FUNCTOR — функтор
Англо-Русский словарь Tiger
FUNCTOR — (n) функтор
English-Russian Lingvistica'98 dictionary
EXTENSIONAL — (n) имеющий протяженность
English-Russian Lingvistica'98 dictionary
EXTENSIONAL — (a) пространственный; протяженный
English-Russian Lingvistica'98 dictionary
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Новый большой Англо-Русский словарь - Апресян, Медникова
EXTENSIONAL — a 1) пространственный 2) имеющий протяжённость, протяжённый
Новый большой Англо-Русский словарь - Апресян, Медникова
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Большой новый Англо-Русский словарь
EXTENSIONAL — a 1> пространственный 2> имеющий протяжённость, протяжённый
Большой новый Англо-Русский словарь
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию ) 2) матем. функтор
Англо-Русский словарь по компьютерам
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию) 2) матем. функтор
Англо-Русский словарь по вычислительной технике и программированию
FUNCTOR — 1) функциональный (логический) элемент ( выполняющий определенную функцию ) 2) функтор
Англо-Русский словарь компьютерных терминов
FUNCTOR — функциональный элемент, функтор элемент, выполняющий в языке программирования определенную функцию (роль) A functor in Visual Prolog is just a name that identifies …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Новый большой Англо-Русский словарь
EXTENSIONAL — 1) экстенсиональный 2) объемный 3) экстенсивный ∙ - extensional class - extensional connective - extensional continuity - extensional equality - …
Новый большой Англо-Русский словарь
FUNCTOR — функтор
Англо-Русский словарь
STRONGLY DEFINABLE FUNCTOR — строго определимый функтор zero-argument functor univalent functor unary functor two-place functor twisting functor truth functor triadic functor transportable functor translation functor term functor tangent functor surjective functor sum functor subrepresentable functor structure functor stripping functor statement functor star …
Англо-Русский научно-технический словарь
EXTENSIVE — adjective Date: 1604 having wide or considerable extent , extensional , of, relating to, or constituting farming in which large …
Толковый словарь английского языка - Merriam Webster
EXTENSIONALLY — adverb see: extensional
Толковый словарь английского языка - Merriam Webster
EXTENSIONALITY — noun see: extensional
Толковый словарь английского языка - Merriam Webster
EXTENSIONALLY — adverb see extensional
Webster's New International English Dictionary
EXTENSIVE — ikˈsten(t)siv, (ˈ)ek|s-, -sēv also -səv adjective Etymology: Late Latin extensivus, from Latin extensus (past participle of extendere to extend) + …
Webster's New International English Dictionary
EXTENSIONALIZE — ikˈstenchən ə lˌīz, ek-, -chnəˌlīz transitive verb ( -ed/-ing/-s ) : to make extensional
Webster's New International English Dictionary
EXTENSIONALITY — ikˌstenchəˈnaləd.ē, (ˌ)ekˌ- noun ( -es ) : the quality or state of being extensional
Webster's New International English Dictionary
EXTENSION — — extensionality, extensionalism , n. — extensional , adj. — extensionally , adv. — extensionless , adj. /ik sten"sheuhn/ , …
Random House Webster's Unabridged English Dictionary
EXTENSIONALLY — see extensional
Merriam-Webster's Collegiate English vocabulary
EXTENSIONALITY — see extensional
Merriam-Webster's Collegiate English vocabulary
EXTENSIVE — adjective Date: 1604 1. : having wide or considerable extent extensive reading 2. : extensional 3. : of, relating to, …
Merriam-Webster's Collegiate English vocabulary
EXTENSIVE — [ex.ten.sive] adj (1605) 1: having wide or considerable extent "~ reading" 2: extensional 3: of, relating to, or constituting farming …
Merriam-Webster English vocab
ПРЕДСТАВЛЯЮЩИЙ — adj. representing, representative; представляющий функтор, represented functor, functor Hom(X,)
Russian-English Dictionary of the Mathematical Sciences
UNIVALENT — 1) одновалентный 2) однолистный 3) однозначный ∙ completely univalent functor ≈ вполне унивалентный функтор univalent system of notation ≈ унивалентная …
Большой Англо-Русский словарь
N-МЕСТНЫЙ ФУНКТОР — мат. n-argument functor, n-place functor
Большой Англо-Русский словарь
HOMOLOGY — 1) гомология 2) гомологический 3) гомологичность ∙ absolute homology module ≈ модуль абсолютной гомологии adjusted homology sequence ≈ топогр. последовательность …
Большой Англо-Русский словарь
MODE — 1) вид; тип; характер 2) мода, вид [форма, тип] колебаний; вид [тип] волн 3) способ; метод; принцип 4) режим (работы) …
Большой Англо-Русский политехнический словарь
MODE — 1) вид; тип; характер 2) мода, вид [форма, тип] колебаний; вид [тип] волн 3) способ; метод; принцип 4) режим (работы) 5) вчт. состояние 6) швейн. …
Большой Англо-Русский политехнический словарь - РУССО
RIGHT
Англо-Русский научно-технический словарь
PRESERVING — 1) консервировка 2) консервирующий 3) сохраняющий • aggregation preserving functor — сохраняющий объединения функтор angle preserving projection — проекция, сохраняющая углы angle preserving transformation — сохраняющее …
Англо-Русский научно-технический словарь

Большой Англо-Русский словарь

← EXTENSIONAL FUNCTION EXTENSIONAL INTERPRETATION→