PROPOSITIONAL FUNCTOR

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

мат. пропозициональный функтор, логическая связка

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

PROPOSITIONAL FUNCTOR — матем. пропозициональный функтор, логическая связка
Англо-Русский научно-технический словарь
PROPOSITIONAL FUNCTOR — мат. пропозициональный функтор, логическая связка
Новый большой Англо-Русский словарь
PROPOSITIONAL — adjective see: proposition
Толковый словарь английского языка - Merriam Webster
FUNCTOR — noun Date: 1935 something that performs a function or an operation
Толковый словарь английского языка - Merriam Webster
PROPOSITIONAL — [c mediumvioletred] (as used in expressions) propositional attitude propositional calculus propositional function
Английский словарь Британика
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
PROPOSITIONAL — | ̷ ̷ ̷ ̷|zishən ə l, -shnəl adjective : of, relating to, or resembling a proposition these poems are sometimes too thinly propositional …
Webster's New International English Dictionary
PROPOSITIONAL — (a.) Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
Английский словарь Webster
PROPOSITIONAL — ( a. ) Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
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
PROPOSITIONAL — adj. of a proposal, of a suggestion; of a mathematical proposition
Толковый словарь английского языка - Редакция bed
PROPOSITIONAL — see proposition I
Merriam-Webster's Collegiate English vocabulary
FUNCTOR — noun Date: 1935 : something that performs a function or an operation
Merriam-Webster's Collegiate English vocabulary
PROPOSITIONAL — adj pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
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
PROPOSITIONAL — propositional BrE AmE ˌprɒp ə ˈzɪʃ ə n‿ ə l ◂ AmE \ ˌprɑːp- ▷ propositional|ly i
Longman Pronunciation English Dictionary
FUNCTOR — functor BrE AmE ˈfʌŋ k t ə AmE \ - ə r ▷ functor|s z
Longman Pronunciation English Dictionary
PROPOSITIONAL — ➡ proposition
Oxford Advanced Learner's 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
PROPOSITIONAL — See main entry: ↑ proposition
Longman Dictionary of Contemporary English
PROPOSITIONAL — adj. propositional attitude propositional calculus propositional function
Britannica Concise Encyclopedia
FUNCTOR — In category theory , a functor F is an operator on types. F is also considered to be a polymorphic …
FOLDOC Computer English Dictionary
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Большой Англо-Русский словарь
FUNCTOR — Логическая операция
Американский Англо-Русский словарь
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
FUNCTOR — матем. функтор - aggregation preserving functor - colimit preserving functor - completely univalent functor - complex functor - composite functor - contracted functor - contractor functor - faithfully exact …
Англо-Русский научно-технический словарь
PROPOSITIONAL — пропозициональный
Англо-Русский словарь Tiger
FUNCTOR — функтор
Англо-Русский словарь Tiger
PROPOSITIONAL — (a) пропозициональный
English-Russian Lingvistica'98 dictionary
FUNCTOR — (n) функтор
English-Russian Lingvistica'98 dictionary
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Новый большой Англо-Русский словарь - Апресян, Медникова
FUNCTOR — n мат. , лингв. функтор ( обозначение не лексического значения, а структуры )
Большой новый Англо-Русский словарь
PROPOSITIONAL — adj. в качестве предложения
English-Russian-dictionary - Bed release
PROPOSITIONAL — adj. в качестве предложения
English-Russian-dictionary - Bed release
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию ) 2) матем. функтор
Англо-Русский словарь по компьютерам
FUNCTOR — 1) функциональный (логический) элемент (выполняющий определённую функцию) 2) матем. функтор
Англо-Русский словарь по вычислительной технике и программированию
FUNCTOR — 1) функциональный (логический) элемент ( выполняющий определенную функцию ) 2) функтор
Англо-Русский словарь компьютерных терминов
FUNCTOR — функциональный элемент, функтор элемент, выполняющий в языке программирования определенную функцию (роль) A functor in Visual Prolog is just a name that identifies …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
FUNCTOR — (математика) функтор (обозначение не лексического значения, а структуры) conversion ~ функтор преобразования functor вчт. функтор principal ~ главный функтор unary …
Новый большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный
Англо-Русский словарь
FUNCTOR — функтор
Англо-Русский словарь
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
PROPOSITIONAL FUNCTION — in logic, a statement expressed in a form that would take on a value of true or false were it …
Britannica English vocabulary
PROPOSITIONAL CALCULUS — also called Sentential Calculus, in logic, symbolic system of treating compound and complex propositions and their logical relationships. As opposed …
Britannica English vocabulary
PROPOSITIONAL CALCULUS — Formal system of propositions and their logical relationships. As opposed to the predicate calculus , the propositional calculus employs simple, …
Britannica Concise Encyclopedia
PROPOSITIONAL LOGIC — < logic > (or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical …
FOLDOC Computer English Dictionary
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 …
Англо-Русский научно-технический словарь
TYPES, THEORY OF — In logic , a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–13) to deal …
Английский словарь Британика
THOUGHT, LAWS OF — traditionally, the three fundamental laws of logic: (1) the law of contradiction, (2) the law of excluded middle (or third), …
Britannica English vocabulary
TAUTOLOGY — in logic, a statement so framed that it cannot be denied without inconsistency. Thus, All men are rational is held …
Britannica English vocabulary
PREDICATE CALCULUS — also called Logic Of Quantifiers, that part of modern formal or symbolic logic which systematically exhibits the logical relations between …
Britannica English vocabulary
TYPES, THEORY OF — In logic , a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (191013) to deal …
Britannica Concise Encyclopedia
ПРЕДСТАВЛЯЮЩИЙ — 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 — сохраняющее …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
ЗАБЫВАЮЩИЙ ФУНКТОР — мат. amnestic functor, effacable functor, forgetful functor, stripping functor
Большой Русско-Английский словарь

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

← PROPOSITIONAL FUNCTION PROPOSITIONAL HIERARCHY→