QUANTIFIERS

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

Кванторы

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

QUANTIFIERS — In techspeak and jargon, the standard metric prefixes used in the SI (Système International) conventions for scientific measurement have dual …
Jargon File English vocabulary
QUANTIFIERS — Кванторы
Большой Англо-Русский словарь
QUANTIFIERS — Квантификаторы ^ Pronoun 1. Inclusive quantifiers (all, every, each, either...) (Инклюзивные квантификаторы) 2. Estimative quantifiers (many, much, a lot, little, few...) (Оценочные квантификаторы) 3. …
Англо-Русский грамматический словарь
NEGATIVE QUANTIFIERS — Отрицательные квантификаторы ^ Quantifiers К местоимениям - отрицательным квантификаторам относятся местоимение-прилагательное no, neither, местоимения-существительные none, nobody, no one, nothing и местоимения-наречия nowhere, …
Англо-Русский грамматический словарь
INDEFINITE QUANTIFIERS — Неопределенные квантификаторы ^ Quantifiers К местоимениям - неопределенным квантификаторам относятся местоимения-прилагательные some, any и either, местоимения-существительные somebody, someone, something, anybody, anyone, anything …
Англо-Русский грамматический словарь
INCLUSIVE QUANTIFIERS — Инклюзивные квантификаторы ^ Quantifiers К местоимениям - инклюзивным квантификаторам относятся местоимения-прилагательные all, both, half, every, each, местоимения-существительные everybody, everyone, everything и местоимения-наречия …
Англо-Русский грамматический словарь
ESTIMATIVE QUANTIFIERS — Оценочные квантификаторы. ^ Quantifiers К местоимениям - оценочным квантификаторам относятся местоимения much, many, more, most, a lot, lots, plenty, a great deal, …
Англо-Русский грамматический словарь
PREDICATE CALCULUS — noun Date: 1950 the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions …
Толковый словарь английского языка - Merriam Webster
PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Английский словарь Британика
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
FREGE, (FRIEDRICH LUDWIG) GOTTLOB — born Nov. 8, 1848, Wismar, Mecklenburg-Schwerin died July 26, 1925, Bad Kleinen, Ger. German mathematician and logician, inventor of modern …
Английский словарь Британика
QUANTIFIER — I. ˈkwäntəˌfī(ə)r noun ( -s ) 1. : a word (as a numeral) expressive of quantity two, thirty, many, and …
Webster's New International English Dictionary
PREFIX
Webster's New International English Dictionary
PRENEX NORMAL FORM — ˈprēˌneks- noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae- pre- + nexus, past participle …
Webster's New International English Dictionary
FUNCTIONAL CALCULUS — noun : a branch of symbolic logic that utilizes quantifiers in order to deal with propositional functions in addition to …
Webster's New International English Dictionary
SINGULAR
Random House Webster's Unabridged English Dictionary
QUANTITY — /kwon"ti tee/ , n. , pl. quantities . 1. a particular or indefinite amount of anything: a small quantity of …
Random House Webster's Unabridged English Dictionary
PARTICULAR — /peuhr tik"yeuh leuhr, peuh tik"-/ , adj. 1. of or pertaining to a single or specific person, thing, group, class, …
Random House Webster's Unabridged English Dictionary
MIXED
Random House Webster's Unabridged English Dictionary
FUNCTIONAL CALCULUS — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with …
Random House Webster's Unabridged English Dictionary
PREDICATE CALCULUS — Date: 1950 : the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions …
Merriam-Webster's Collegiate English vocabulary
PREDICATE CALCULUS — ■ noun the branch of symbolic logic concerned with propositions containing predicates, names, and quantifiers.
Concise Oxford English vocab
PREDICATE CALCULUS — [predicate calculus] n (1950): the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of …
Merriam-Webster English vocab
QUANTIFICATION — in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized …
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
PREDICATE CALCULUS — Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as "all" and "some. …
Britannica Concise Encyclopedia
FIRST-ORDER LOGIC — < language , logic > The language describing the truth of mathematical formula s. Formulas describe properties of terms and …
FOLDOC Computer English Dictionary
LAW
Англо-Русский научно-технический словарь
SOME, ANY, NO — Различия в употреблении слов some, any, no и производных от них (someone, anybody, nowhere etc.) ^ Indefinite quantifiers 1) some. а) Местоимение some …
Англо-Русский грамматический словарь
PRONOUN — Местоимение ^ Parts of speech 1. Personal pronouns (I, you, he...) (Личные местоимения) 2. Indefinite personal pronouns (one, you, they) (Обобщенно-личные и неопределенно-личное …
Англо-Русский грамматический словарь
MORE — ^ Estimative quantifiers 1) Местоимение more является формой сравнительной степени местоимений much, many (см. many / much). 2) More используется при образовании …
Англо-Русский грамматический словарь

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

← QUANTIFIER-FREE SENTENCE QUANTIFIES→