PROVABLE SEQUENT

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

мат. доказуемая секвенция

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

PROVABLE SEQUENT — матем. доказуемая секвенция
Англо-Русский научно-технический словарь
PROVABLE SEQUENT — мат. доказуемая секвенция
Новый большой Англо-Русский словарь
SEQUENT — adjective Etymology: Latin ~-, sequens, present participle Date: 1601 consecutive , succeeding, con~ , resultant
Толковый словарь английского языка - Merriam Webster
PROVABLE — adjective see: prove
Толковый словарь английского языка - Merriam Webster
SEQUENT — I. ˈsēkwənt adjective Etymology: Latin sequent-, sequens, present participle of sequi to follow — more at sue 1. : occurring …
Webster's New International English Dictionary
PROVABLE — ˈprüvəbəl adjective Etymology: Middle English, from Middle French, from Latin probabilis that which may be believed, from probare to test, …
Webster's New International English Dictionary
SEQUENT — (n.) That which follows as a result; a sequence.
Английский словарь Webster
SEQUENT — (n.) A follower.
Английский словарь Webster
SEQUENT — (a.) Following as an effect; consequent.
Английский словарь Webster
SEQUENT — (a.) Following; succeeding; in continuance.
Английский словарь Webster
PROVABLE — (a.) Capable of being proved; demonstrable.
Английский словарь Webster
SEQUENT — ( n. ) That which follows as a result; a sequence.
Webster's Revised Unabridged English Dictionary
SEQUENT — ( n. ) A follower.
Webster's Revised Unabridged English Dictionary
SEQUENT — ( a. ) Following; succeeding; in continuance.
Webster's Revised Unabridged English Dictionary
SEQUENT — ( a. ) Following as an effect; consequent.
Webster's Revised Unabridged English Dictionary
PROVABLE — ( a. ) Capable of being proved; demonstrable.
Webster's Revised Unabridged English Dictionary
SEQUENT — — sequently , adv. /see"kweuhnt/ , adj. 1. following; successive. 2. following logically or naturally; consequent. 3. characterized by continuous …
Random House Webster's Unabridged English Dictionary
SEQUENT — adj. following, succeeding, ensuing, subsequent
Толковый словарь английского языка - Редакция bed
PROVABLE — adj. can be proven, can be substantiated, can be verified with evidence or proof
Толковый словарь английского языка - Редакция bed
PROVABLE — see prove
Merriam-Webster's Collegiate English vocabulary
SEQUENT — adjective Etymology: Latin sequent-, sequens, present participle Date: 1601 1. : consecutive , succeeding 2. : consequent , resultant
Merriam-Webster's Collegiate English vocabulary
SEQUENT — noun a follower. 2. sequent ·adj following as an effect; consequent. 3. sequent ·adj following; succeeding; in continuance. 4. sequent …
Webster English vocab
PROVABLE — adj capable of being proved; demonstrable.
Webster English vocab
SEQUENT — ■ adjective archaic following in a sequence or as a logical conclusion. Derivatives ~ly adverb
Concise Oxford English vocab
SEQUENT — [se.quent] adj [L sequent-, sequens, prp.] (1601) 1: consecutive, succeeding 2: consequent, resultant
Merriam-Webster English vocab
SEQUENT — sequent BrE AmE ˈsiːk wənt ▷ sequent|s s
Longman Pronunciation English Dictionary
PROVABLE — provab|le BrE AmE ˈpruːv əb | ə l ▷ provab|ly li
Longman Pronunciation English Dictionary
PROVABLE — / ˈpruːvəbl; NAmE / adjective that can be shown to be true SYN verifiable
Oxford Advanced Learner's English Dictionary
PROVABLE — See main entry: ↑ prove
Longman Dictionary of Contemporary English
SEQUENT — adj. 1 following as a sequence or consequence. 2 consecutive. øøsequently adv. [OF sequent or L sequens (as SEQUENCE)]
Английский основной разговорный словарь
SEQUENT — adj. 1 following as a sequence or consequence. 2 consecutive. sequently adv. [ OF sequent or L sequens (as SEQUENCE) …
Concise Oxford English Dictionary
SEQUENT — adj.1 following as a sequence or consequence. 2 consecutive. Derivatives: sequently adv. Etymology: OF sequent or L sequens (as SEQUENCE)
Oxford English vocab
PROVABLE — Synonyms and related words : absolute, actual, admitting no question, apodictic, attestable, authenticatable, checkable, confirmable, demonstrable, demonstratable, evincible, factual, historical, …
Moby Thesaurus English vocabulary
SEQUENT — adj. Function: adjective Synonyms: CONSECUTIVE , sequential, serial, subsequent, subsequential, succedent, succeeding, successional, successive
Collegiate Thesaurus English vocab
SEQUENT — < company > A computer manufacturer. Quarterly sales $109M, profits $7M (Aug 1994). Sequent computers was acquired by IBM in …
FOLDOC Computer English Dictionary
SEQUENT — прил. 1) следующий 2) являющийся следствием 3) последовательный, логичный следующий, последовательный, идущий по порядку - * events цепь событий являющийся …
Большой Англо-Русский словарь
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Большой Англо-Русский словарь
PROVABLE — Доказуемый
Американский Англо-Русский словарь
SEQUENT — sequent.ogg ʹsi:kwənt a 1. следующий, последовательный, идущий по порядку sequent events - цепь событий 2. являющийся следствием
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVABLE — provable.ogg ʹpru:vəb(ə)l a доказуемый
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
SEQUENT — 1) вытекающий 2) последующий 3) секвенция 4) следующий • completely regular sequent — вполне регулярная секвенция weakly regular sequent — слабо регулярная секвенция - derivable sequent - end …
Англо-Русский научно-технический словарь
PROVABLE — матем. доказуемый arithmetically provable formula — арифметически доказуемая формула formally provable theorem — логика формально доказуемая теорема geometrically provable formula — геометрически доказуемая формула - …
Англо-Русский научно-технический словарь
PROVABLE — доказуемый
Англо-Русский словарь Tiger
PROVABLE — (a) доказуемый
English-Russian Lingvistica'98 dictionary
PROVABLE — a доказуемый
Новый большой Англо-Русский словарь - Апресян, Медникова
SEQUENT — a 1. следующий, последовательный, идущий по порядку sequent events - цепь событий 2. являющийся следствием
Большой новый Англо-Русский словарь
PROVABLE — a доказуемый
Большой новый Англо-Русский словарь
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
PROVABLE — adj. доказуемый
English-Russian-dictionary - Bed release
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь по компьютерам
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь по вычислительной технике и программированию
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь компьютерных терминов
PROVABLE — доказуемый
Англо-Русский юридический словарь
SEQUENT — прил. 1) следующий 2) являющийся следствием 3) последовательный, логичный следующий, последовательный, идущий по порядку - * events цепь событий являющийся …
Новый большой Англо-Русский словарь
PROVABLE — матем. доказуемый arithmetically provable formula ≈ арифметически доказуемая формула formally provable theorem ≈ лог. формально доказуемая теорема geometrically provable formula …
Новый большой Англо-Русский словарь
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Новый большой Англо-Русский словарь
PROVABLE — доказуемый
Англо-Русский словарь
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
COMPLETENESS — Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see …
Английский словарь Британика
UNPROVABLE — “+ adjective Etymology: Middle English, from un- (I) + provable : not provable • un·provableness “+ noun
Webster's New International English Dictionary
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
COMPLETENESS — n. Concept of the adequacy of a formal system that is employed both in proof theory and in model theory …
Britannica Concise Encyclopedia

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

← PROVABLE SENTENCE PROVABLE STATEMENT→