DISJUNCTION FUNCTOR

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

матем. функтор дизъюнкции, функтор ИЛИ

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

DISJUNCTION FUNCTOR — мат. функтор дизъюнкции, функтор ИЛИ
Большой Англо-Русский словарь
DISJUNCTION FUNCTOR — мат. функтор дизъюнкции, функтор ИЛИ
Новый большой Англо-Русский словарь
DISJUNCTION — n disjunction
Interlingua English vocab
FUNCTOR — noun Date: 1935 something that performs a function or an operation
Толковый словарь английского языка - Merriam Webster
DISJUNCTION — noun Date: 14th century a sharp cleavage ; disunion , separation , a compound sentence in logic formed by joining …
Толковый словарь английского языка - 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
DISJUNCTION — dəs, (ˈ)dis+ noun Etymology: Middle English disjunccioun, from Latin disjunction-, disjunctio, from disjunctus + -ion-, -io -ion 1. : the …
Webster's New International 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
DISJUNCTION — /dis jungk"sheuhn/ , n. 1. the act of disjoining or the state of being disjoined: a disjunction between thought and …
Random House Webster's Unabridged English Dictionary
DISJUNCTION — n. state of being disconnected; act of disconnecting; type of compound proposition which is true when one of its alternatives …
Толковый словарь английского языка - Редакция bed
FUNCTOR — noun Date: 1935 : something that performs a function or an operation
Merriam-Webster's Collegiate English vocabulary
DISJUNCTION — noun Date: 14th century 1. : a sharp cleavage : disunion , separation the disjunction between theory and practice 2. …
Merriam-Webster's Collegiate English vocabulary
FUNCTOR — [ 'fʌŋktə ] ■ noun Logic & Mathematics a function; an operator.
Concise Oxford English vocab
DISJUNCTION — ■ noun 1》 a lack of correspondence or consistency. 2》 Logic the relation of two distinct alternatives, or a statement …
Concise Oxford English vocab
FUNCTOR — [func.tor] n (1935): something that performs a function or an operation
Merriam-Webster English vocab
DISJUNCTION — [dis.junc.tion] n (14c) 1: a sharp cleavage: disunion, separation "the ~ between theory and practice" 2: a compound sentence in …
Merriam-Webster English vocab
DISJUNCTION — in logic, relation or connection of terms in a proposition to express the concept or; it is a statement of …
Britannica English vocabulary
FUNCTOR — functor BrE AmE ˈfʌŋ k t ə AmE \ - ə r ▷ functor|s z
Longman Pronunciation English Dictionary
DISJUNCTION — disjunction BrE AmE ( ˌ ) dɪs ˈdʒʌŋ k ʃ ə n ▷ disjunction|s z
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
DISJUNCTION — / dɪsˈdʒʌŋkʃn; NAmE / (also less frequent dis·junc·ture / dɪsˈdʒʌŋktʃə(r); NAmE /) noun disjunction (between A and B) ( formal …
Oxford Advanced Learner's English Dictionary
DISJUNCTION — dis ‧ junc ‧ tion /dɪsˈdʒʌŋkʃ ə n/ BrE AmE , dis‧junc‧ture /dɪsˈdʒʌŋktʃə $ -ər/ noun [countable usually singular] formal …
Longman Dictionary of Contemporary English
DISJUNCTION — n. 1 the process of disjoining; separation. 2 an instance of this. [ME f. OF disjunction or L disjunctio (as …
Английский основной разговорный словарь
DISJUNCTION — n. 1 the process of disjoining; separation. 2 an instance of this. [ ME f. OF disjunction or L disjunctio …
Concise Oxford English Dictionary
DISJUNCTION — n.1 the process of disjoining; separation. 2 an instance of this. Etymology: ME f. OF disjunction or L disjunctio (as …
Oxford English vocab
DISJUNCTION — noun EXAMPLES FROM CORPUS ▪ Anticipated here is that always unstable disjunction between identification and desire upon which male bonding …
Longman DOCE5 Extras English vocabulary
DISJUNCTION — Synonyms and related words : ablation, abstraction, accord, addition, adjunct, affairs, affiliation, affinity, alienation, alliance, aloofness, alteration, analysis, anarchy, anatomization, …
Moby Thesaurus English vocabulary
FUNCTOR — In category theory , a functor F is an operator on types. F is also considered to be a polymorphic …
FOLDOC Computer English Dictionary
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Большой Англо-Русский словарь
DISJUNCTION — сущ. 1) разделение; разобщение; деление, разъединение Syn : separation, disconnexion, disunion, disconnection, dissociation Ant : conjunction 2) тех. разъединение, размыкание …
Большой Англо-Русский словарь
FUNCTOR — Логическая операция
Американский Англо-Русский словарь
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DISJUNCTION — disjunction.ogg dısʹdʒʌŋ(k)ʃ(ə)n n 1. разъединение; расчленение; отделение 2. лог. 1> дизъюнкция inclusive exclusive disjunction - неразделительная /включающая/ разделительная /исключающая/ дизъюнкция …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
DISJUNCTION — 1) разъединение, расчленение 2) размыкание ( цепи ) 3) дизъюнкция, логическое сложение, операция ИЛИ • - exclusive disjunction
Большой Англо-Русский политехнический словарь
DISJUNCTION — 1) разъединение, расчленение 2) размыкание (цепи) 3) дизъюнкция, логическое сложение, операция ИЛИ • - exclusive disjunction
Большой Англо-Русский политехнический словарь - РУССО
FUNCTOR — матем. функтор - aggregation preserving functor - colimit preserving functor - completely univalent functor - complex functor - composite functor - contracted functor - contractor functor - faithfully exact …
Англо-Русский научно-технический словарь
DISJUNCTION — 1) дизъюнктность 2) дизъюнкция 3) разделение 4) расщепление • - conditional disjunction - disjunction of cases - disjunction of propositions - elementary disjunction - inclusive disjunction - infinite disjunction - multiple …
Англо-Русский научно-технический словарь
FUNCTOR — функтор
Англо-Русский словарь Tiger
DISJUNCTION — сущ.1) разделение; разобщение; деление, разъединение Syn:separation, disconnexion, disunion, disconnection, dissociation Ant: conjunction 2) тех. разъединение, размыкание (цепи) 3) логика; компьют.; …
Англо-Русский словарь Tiger
FUNCTOR — (n) функтор
English-Russian Lingvistica'98 dictionary
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Новый большой Англо-Русский словарь - Апресян, Медникова
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Большой новый Англо-Русский словарь
DISJUNCTION — n 1. разъединение; расчленение; отделение 2. лог. 1> дизъюнкция inclusive exclusive disjunction - неразделительная /включающая/ разделительная /исключающая/ дизъюнкция 2> дизъюнктивное …
Большой новый Англо-Русский словарь
DISJUNCTION — сущ. 1) разделение; разобщение; деление, разъединение Syn: separation , disconnexion , disunion , disconnection , dissociation Ant: conjunction 2) тех. …
Англо-Русский словарь по общей лексике
DISJUNCTION — сущ. 1) разделение; разобщение; деление, разъединение Syn: separation, disconnexion, disunion, disconnection, dissociation Ant: conjunction 2) тех. разъединение, размыкание (цепи) 3) лог. ; информ.; мат. дизъюнкция, логическое сложение, …
Англо-Русский словарь общей лексики
DISJUNCTION — 1) разъединение, разобщение 2) дизъюнкция, разрыв 3) анат. вывих • - chromosome disjunction
Новый Англо-Русский словарь по биологии
DISJUNCTION — 1) разъединение, разобщение 2) дизъюнкция, разрыв 3) анат. вывих • - chromosome disjunction
Новый Англо-Русский биологический словарь
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию ) 2) матем. функтор
Англо-Русский словарь по компьютерам
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию) 2) матем. функтор
Англо-Русский словарь по вычислительной технике и программированию
DISJUNCTION — 1) дизъюнкция, логическое сложение; операция ИЛИ 2) разъединение, размыкание • - conditioned disjunction - exclusive disjunction - inclusive disjunction
Англо-Русский словарь по вычислительной технике и программированию
FUNCTOR — 1) функциональный (логический) элемент ( выполняющий определенную функцию ) 2) функтор
Англо-Русский словарь компьютерных терминов
FUNCTOR — функциональный элемент, функтор элемент, выполняющий в языке программирования определенную функцию (роль) A functor in Visual Prolog is just a name that identifies …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
DISJUNCTION — дизъюнкция, логическое сложение см. тж. OR This kind of compound goal is known as a disjunction — этот вид составной цели известен …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Новый большой Англо-Русский словарь
DISJUNCTION — сущ. 1) разделение; разобщение; деление, разъединение Syn : separation, disconnexion, disunion, disconnection, dissociation Ant : conjunction 2) тех. разъединение, размыкание …
Новый большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь
ПРЕДСТАВЛЯЮЩИЙ — 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 ≈ топогр. последовательность …
Большой Англо-Русский словарь
RIGHT
Англо-Русский научно-технический словарь
PRESERVING — 1) консервировка 2) консервирующий 3) сохраняющий • aggregation preserving functor — сохраняющий объединения функтор angle preserving projection — проекция, сохраняющая углы angle preserving transformation — сохраняющее …
Англо-Русский научно-технический словарь
ЗАБЫВАЮЩИЙ ФУНКТОР — мат. amnestic functor, effacable functor, forgetful functor, stripping functor
Большой Русско-Английский словарь

Англо-Русский научно-технический словарь

← DISJUNCTION DISJUNCTION LATTICE→