ЛОГИКА ВЕРИФИКАЦИИ

Русско-английский перевод ЛОГИКА ВЕРИФИКАЦИИ

мат. logic of verification

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

ЛОГИКА — f. logic; математическая логика, mathematical logic; функции алгебры логики, Boolean functions
Russian-English Dictionary of the Mathematical Sciences
ЛОГИКА — Logic
Русско-Американский Английский словарь
ЛОГИКА — logic нарушение логики — paralogism
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ЛОГИКА — logic; ~ вещей the logic of things; ~ событий the logic of events; у него своя ~ he acts according …
Русско-Английский словарь общей тематики
ЛОГИКА — The logician
Russian Learner's Dictionary
ЛОГИКА — logic
Russian Learner's Dictionary
ЛОГИКА — ж. logic нарушение логики — paralogism
Русско-Английский словарь
ЛОГИКА — ж. logic нарушение логики — paralogism
Russian-English Smirnitsky abbreviations dictionary
ЛОГИКА — logic
Russian-English Edic
ЛОГИКА — logic
Русско-Английский словарь по машиностроению и автоматизации производства
ЛОГИКА — жен. logic четкая логика — clear logic дедуктивная логика — deductive logic индуктивная логика — inductive logic нарушение логики — …
Русско-Английский краткий словарь по общей лексике
ЛОГИКА — Logical
Британский Русско-Английский словарь
ЛОГИКА — logic; ~ вещей the logic of things; ~ событий the logic of events; у него своя ~ he acts according to a logic …
Русско-Английский словарь - QD
ЛОГИКА — logic
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ЛОГИКА — ЛОГИКА Логика есть анатомия мышления. Джон Локк Логика - это нравственность мысли и речи. Ян Лукасевич Логика - это искусство …
English-Russian aphorisms, русские афоризмы
ЛОГИКА — жен. logic четкая логика – clear logic индуктивная логика – inductive logic дедуктивная логика – deductive logic нарушение логики – …
Большой Русско-Английский словарь
ЛОГИКА — логика p logic
Русско-Английский словарь Сократ
VERIFIER — контрольник; устройство верификации, верификатор artwork verifier design verifier key verifier mechanical verifier patchboard verifier punched card verifier signature verifier tape …
Большой Англо-Русский словарь
VERIFICATION PRINCIPLE — принцип верификации прогноза
Большой Англо-Русский словарь
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFICATION ALGORITHM — алгоритм верификации
Большой Англо-Русский словарь
VALIDATION RULES — правила верификации (множество функций, обеспечивающих проверку (dialog data verification) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
COMBINATIONAL LOGIC — 1. комбинаторная логика 2. комбинационная логика, комбинационные логические схемы 1. комбинаторная логика 2. комбинационные логические схемы
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
ARITHMETIC LOGIC — 1. логика арифметических операций, арифметическая логика 2. логика схемы арифметического устройства
Большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape …
Большой Англо-Русский политехнический словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape verifier
Большой Англо-Русский политехнический словарь - РУССО
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
LOGIC OF VERIFICATION — матем. логика верификации
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERT STATEMENT — оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции …
Англо-Русский словарь Tiger
LOGIC — n 1. 1) логика ( наука ) 2) логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Новый большой Англо-Русский словарь - Апресян, Медникова
LOGIC — n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Большой новый Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
VERIFIER — 1) контрольное устройство, контрольник 2) устройство верификации, верификатор 3) программа верификации; программа контроля
Современный Англо-Русский словарь по машиностроению и автоматизации производства
ОТКРЫТОЕ — Понятие открытого общества - часть философского наследия Карла Поппера. Выдвинутое как антитеза понятию тоталитарного общества, оно впоследствии употреблялось для обозначения …
Русский словарь Colier
МЕТАФИЗИКА — МЕТАФИЗИКА Часто задают вопрос об оправданности метафизического исследования. Иногда приводят общеизвестный факт, что метафизика веками обсуждает одни и те же …
Русский словарь Colier
КИТАЙСКАЯ
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННАЯ — финансовые операции и сделки, выполняемые посредством сети Интернет и частных сетей связи, в ходе которых совершаются покупки и продажи товаров …
Русский словарь Colier
АНАЛИТИЧЕСКАЯ — преобладающее течение мысли в англоязычных странах 20 в.; способ философствования, ориентирующийся на идеалы ясности, точности и логической строгости. Последние были …
Русский словарь Colier
VERIFICATION KEY — ключ проверки (верификации) ключ проверки (верификации)
Англо-Русский словарь компьютерной безопасности
SHARED VERIFICATION SCHEME — схема разделенной верификации схема разделенной верификации
Англо-Русский словарь компьютерной безопасности
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь

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

← ЛОГИКА БОЛЬШИНСТВА

ЛОГИКА ВОССТАНОВЛЕНИЯ РАБОТОСПОСОБНОСТИ→