PRENEX FORM

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

логика предварённая форма

English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012

PRENEX FORM — лог. предваренная форма
Большой Англо-Русский словарь
PRENEX FORM — логика предварённая форма
Англо-Русский словарь по вычислительной технике и программированию
PRENEX FORM — предваренная форма
Англо-Русский словарь компьютерных терминов
PRENEX FORM — лог. предваренная форма
Новый большой Англо-Русский словарь
FORM — 1) форма || формировать, образовывать 2) (экранный) бланк, формуляр 3) представление (информации в памяти машины) 4) матем. выражение • - form the instruction - accounting form - …
Англо-Русский словарь по вычислительной технике и программированию
FORM
Webster's New International English Dictionary
FORM — — formable , adj. — formably , adv. /fawrm/ , n. 1. external appearance of a clearly defined area, as …
Random House Webster's Unabridged English Dictionary
FORM — I. ˈfȯrm noun Etymology: Middle English forme, from Anglo-French furme, forme, from Latin forma form, beauty Date: 13th century 1. …
Merriam-Webster's Collegiate English vocabulary
FORM — noun the seat or bed of a hare. 2. form ·noun a shape; an image; a phantom. 3. form ·vi …
Webster English vocab
FORM — the external shape, appearance, or configuration of an object, in contradistinction to the matter of which it is composed; in …
Britannica English vocabulary
FORM — / fɔːm; NAmE fɔːrm/ noun , verb ■ noun TYPE 1. [ C ] a type or variety of sth …
Oxford Advanced Learner's English Dictionary
FORM — I. form 1 S1 W1 /fɔːm $ fɔːrm/ BrE AmE noun [ Word Family: noun : ↑ form , ↑ …
Longman Dictionary of Contemporary English
FORM — ( forms, forming, formed) Frequency: The word is one of the 700 most common words in English. 1. A form …
Collins COBUILD Advanced Learner's English Dictionary
FORM
Longman DOCE5 Extras English vocabulary
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Большой Англо-Русский словарь
FORM — 1. сущ. 1) форма; внешний вид; очертание to assume, take the form of smth. ≈ принимать форму чего-л. to assume …
Большой Англо-Русский словарь
FORM — form.ogg _I 1. fɔ:m n 1. форма; внешний вид; очертаие without shape or form - бесформенный in any shape or …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORM — 1) форма; (внешний) вид; 2) формировать, придавать форму или вид 3) форма; образец; модель 4) мн. ч. строит. опалубка 5) …
Большой Англо-Русский политехнический словарь
FORM — 1) форма; (внешний) вид; 2) формировать, придавать форму или вид 3) форма; образец; модель 4) мн. ч. строит. опалубка 5) каркас для намотки (катушек) 6) …
Большой Англо-Русский политехнический словарь - РУССО
PRENEX — матем. предваренный prenex normal norm — логика предваренная нормальная норма - prenex form - prenex formula - prenex operation - prenex sequent
Англо-Русский научно-технический словарь
FORM — 1) анкета; бланк 2) вид; форма || придавать вид или форму 3) контур; очертание 4) конфигурация 5) разновидность 6) строит. опалубка; элемент опалубки 7) скамейка, лавочка 8) …
Англо-Русский научно-технический словарь
FORM — _I 1. fɔ:m n 1. форма; внешний вид; очертаие without shape or form - бесформенный in any shape or form …
Большой новый Англо-Русский словарь
FORM — 1. сущ. 1) форма; внешний вид; внешнее очертание to assume human form — принимать человеческий вид stones of remarkable forms …
Англо-Русский словарь по общей лексике
FORM — 1. сущ. 1) форма; внешний вид; внешнее очертание to assume human form — принимать человеческий вид stones of remarkable forms — камни удивительных …
Англо-Русский словарь общей лексики
FORM — 1) форма; образец; модель || придавать форму 2) профиль; контур || контурный; фасонный 3) патрон токарно-давильного станка 4) карта, бланк …
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORM — 1) форма; образец; модель || придавать форму 2) профиль; контур || контурный; фасонный 3) патрон токарно-давильного станка 4) карта, бланк (технических требований) • in graph …
Англо-Русский словарь по машиностроению и автоматизации производства
FORM — 1) форма, вид; разновидность 2) форма; внешний вид; очертание; формировать • - aberrant form - ancestral form - anchor-minus form - bacillary form - biologic form - bush …
Новый Англо-Русский словарь по биологии
FORM — 1) форма, вид; разновидность 2) форма; внешний вид; очертание; формировать • - aberrant form - ancestral form - anchor-minus form …
Новый Англо-Русский биологический словарь
FORM — 1) форма, опалубка 2) формовать • to form up — придавать вид, придавать форму to demould the form — снимать опалубку (с уложенного бетона) to …
Англо-Русский словарь по строительству и новым строительным технологиям
FORM — 1) форма 2) установленный образец; бланк; формуляр; анкета 3) утверждать; образовывать; основывать ( напр. фирму) - in form and fact …
Англо-Русский словарь по экономике и финансам
FORM — 1) форма, конфигурация 2) форма (для литья, формовки изделий) 3) тж. мн.ч. опалубка; опалубочная форма 4) скамейка (без спинки, обычно …
Англо-Русский строительный словарь
FORM — 1) форма | формировать; составлять 2) установленный образец; проформа; бланк; формуляр; анкета 3) учреждать, образовывать, основывать 4) заключать (договор) • in due form — в …
Англо-Русский юридический словарь
FORM — 1) форма; вид; очертание 2) (печатная) форма 3) формуляр; бланк; (конторская) форма 4) формат 5) страница (распечатки или печатного документа) …
Англо-Русский словарь по полиграфии и издательскому делу
FORM — 1) форма, внешний вид 2) установленный образец 3) форма, бланк; анкета; формуляр 4) составлять; образовывать; формировать • - analytic form - application form - combined form of …
Англо-Русский словарь по патентам и товарным знакам
FORM — 1. сущ. 1) общ. форма; внешний вид; внешнее очертание stones of remarkable forms — камни удивительных форм the shadowy forms of the divers …
Новый англо-русский толковый словарь по менеджменту и экономике труда
PRENEX — матем. предваренный prenex normal norm ≈ лог. предваренная нормальная норма - prenex form - prenex formula - prenex operation - …
Новый большой Англо-Русский словарь
FORM — 1. сущ. 1) форма; внешний вид; очертание to assume, take the form of smth. ≈ принимать форму чего-л. to assume …
Новый большой Англо-Русский словарь
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 SEQUENT — мат. предваренная секвенция
Большой Англо-Русский словарь
PRENEX OPERATION — мат. пренексная операция
Большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Большой Англо-Русский словарь
WEIGHTED FORM OF LEMMA — матем. взвешенная форма леммы vicinal form vectorial form vector-valued form unitary form unbounded form two-point form two-intercept form triple-diagonal form trilinear form triangular form transposed form trace form torsion form three-point form tensorial form take on …
Англо-Русский научно-технический словарь
PRENEX SEQUENT — матем. предваренная секвенция
Англо-Русский научно-технический словарь
PRENEX OPERATION — матем. пренексная операция
Англо-Русский научно-технический словарь
PRENEX FORMULA — предваренная формула
Англо-Русский научно-технический словарь
PRENEX SEQUENT — мат. предваренная секвенция
Новый большой Англо-Русский словарь
PRENEX OPERATION — мат. пренексная операция
Новый большой Англо-Русский словарь
PRENEX FORMULA — предваренная формула
Новый большой Англо-Русский словарь
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 …
Англо-Русский научно-технический словарь
SEQUENT — 1) вытекающий 2) последующий 3) секвенция 4) следующий • completely regular sequent — вполне регулярная секвенция weakly regular sequent — слабо регулярная секвенция - derivable sequent - end …
Англо-Русский научно-технический словарь
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 — компактное …
Англо-Русский научно-технический словарь
ПРЕНЕКСНАЯ ОПЕРАЦИЯ — мат. prenex operation
Большой Русско-Английский словарь
ПРЕДВАРЕННЫЙ — матем. prenex
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМУЛА — prenex formula
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ ФОРМА — лог. prenex form
Большой Русско-Английский словарь
ПРЕДВАРЕННАЯ СЕКВЕНЦИЯ — мат. prenex sequent
Большой Русско-Английский словарь

Англо-Русский словарь по компьютерам

← PREMULTIPLY PRENORMALIZATION→