PRENEX SEQUENT

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

матем. предваренная секвенция

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

PRENEX SEQUENT — мат. предваренная секвенция
Большой Англо-Русский словарь
PRENEX SEQUENT — мат. предваренная секвенция
Новый большой Англо-Русский словарь
SEQUENT — 1) вытекающий 2) последующий 3) секвенция 4) следующий • completely regular sequent — вполне регулярная секвенция weakly regular sequent — слабо регулярная секвенция - derivable sequent - end …
Англо-Русский научно-технический словарь
SEQUENT — adjective Etymology: Latin ~-, sequens, present participle Date: 1601 consecutive , succeeding, con~ , resultant
Толковый словарь английского языка - 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
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
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
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
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
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
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
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 - разработчик систем с массовым параллелизмом
Большой Англо-Русский словарь
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Большой Англо-Русский словарь
SEQUENT — sequent.ogg ʹsi:kwənt a 1. следующий, последовательный, идущий по порядку sequent events - цепь событий 2. являющийся следствием
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PRENEX — матем. предваренный prenex normal norm — логика предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent
Англо-Русский научно-технический словарь
SEQUENT — a 1. следующий, последовательный, идущий по порядку sequent events - цепь событий 2. являющийся следствием
Большой новый Англо-Русский словарь
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь по компьютерам
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь по вычислительной технике и программированию
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Англо-Русский словарь компьютерных терминов
SEQUENT — прил. 1) следующий 2) являющийся следствием 3) последовательный, логичный следующий, последовательный, идущий по порядку - * events цепь событий являющийся …
Новый большой Англо-Русский словарь
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Новый большой Англо-Русский словарь
SEQUENT — компания Sequent - разработчик систем с массовым параллелизмом
Новый большой Англо-Русский словарь
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
PRENEX OPERATION — мат. пренексная операция
Большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Большой Англо-Русский словарь
PRENEX FORM — лог. предваренная форма
Большой Англо-Русский словарь
PRENEX OPERATION — матем. пренексная операция
Англо-Русский научно-технический словарь
PRENEX FORMULA — предваренная формула
Англо-Русский научно-технический словарь
PRENEX FORM — логика предварённая форма
Англо-Русский словарь по компьютерам
PRENEX FORM — логика предварённая форма
Англо-Русский словарь по вычислительной технике и программированию
PRENEX FORM — предваренная форма
Англо-Русский словарь компьютерных терминов
PRENEX OPERATION — мат. пренексная операция
Новый большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Новый большой Англо-Русский словарь
PRENEX FORM — лог. предваренная форма
Новый большой Англо-Русский словарь
PREFIX
Webster's New International English Dictionary
ПРЕДВАРЁННЫЙ — adj. preliminary, preceding; предварённая форма (формула), prenex form (formula) (logic)
Russian-English Dictionary of the Mathematical Sciences
UNIVERSALLY VALID FORMULA — универсально общезначимая формула verifiable formula untestable formula unsatisfiable formula unreliazable formula unprovable formula universal formula underivable formula undecidable formula unary formula two-level formula truncated formula true formula translation formula transfinite formula topological formula testing formula terminal formula tabulated …
Англо-Русский научно-технический словарь
OPERATION — 1) действие 2) операция 3) оперирование 4) процесс 5) работа 6) рабочий 7) разработка 8) срабатывание 9) управление 10) функционирование 11) ход 12) эксплуатация • "jump if not" operation — операция условного перехода base …
Англо-Русский научно-технический словарь
NORMAL — 1) нормализованный 2) нормальный 3) обыкновенный 4) перпендикуляр 5) стандартен 6) стандартный • absolutely normal number — абсолютно нормальное число absolutely normal variety — абсолютно нормальное многообразие almost normal …
Англо-Русский научно-технический словарь
NORM — 1) норма 2) норма вектора 3) норменный 4) нормировать 5) стандарт • minimum norm property — свойство минимальной нормы (в теории сплайнов) norm compact set — компактное …
Англо-Русский научно-технический словарь
FORM — 1) форма || формировать, образовывать 2) (экранный) бланк, формуляр 3) представление (информации в памяти машины) 4) матем. выражение • - form the instruction - accounting form - …
Англо-Русский словарь по вычислительной технике и программированию
ПРЕНЕКСНАЯ ОПЕРАЦИЯ — мат. prenex operation
Большой Русско-Английский словарь
ПРЕДВАРЕННЫЙ — матем. prenex
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМУЛА — prenex formula
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМА — лог. prenex form
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ СЕКВЕНЦИЯ — мат. prenex sequent
Большой Русско-Английский словарь

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

← PRENEX OPERATION PRENORMAL SUBGROUP→