ЗАДАЧА ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ

Русско-английский перевод ЗАДАЧА ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ

Boolean satisfiability problem

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

ЗАДАЧА — f. problem, task; задача Коши, Cauchy problem, initial value problem; краевая задача, boundary-value problem
Russian-English Dictionary of the Mathematical Sciences
ЗАДАЧА — Task
Русско-Американский Английский словарь
ЗАДАЧА — 1. problem; ( арифметическая ) sum решить задачу — solve a problem; ( арифметическую ) do a sum задача на …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ЗАДАЧА — 1. task; (цель) goal; боевая ~ tactical task; combat mission амер. выполнить ~у carry out a task, accomplish a task/mission; …
Русско-Английский словарь общей тематики
ФОРМУЛ — The formulas
Russian Learner's Dictionary
ЗАДАЧА — Task
Russian Learner's Dictionary
ЗАДАЧА — task
Russian Learner's Dictionary
ЗАДАЧА — ж. 1. problem; ( арифметическая ) sum решить задачу — solve a problem; ( арифметическую ) do a sum задача …
Русско-Английский словарь
ЗАДАЧА — ж. 1. problem; ( арифметическая ) sum решить задачу — solve a problem; ( арифметическую ) do a sum задача …
Russian-English Smirnitsky abbreviations dictionary
ЗАДАЧА — goal, proposition, task
Russian-English Edic
ЗАДАЧА — issue, problem, task
Русско-Английский словарь по машиностроению и автоматизации производства
ЗАДАЧА — жен. 1) problem; sum арифметическая задача — sum - решить задачу - справляться с задачей 2) ( цель ) object(ive), …
Русско-Английский краткий словарь по общей лексике
ЗАДАЧА — goal, mission, problem, task
Русско-Английский словарь по строительству и новым строительным технологиям
ЗАДАЧА — Purpose
Британский Русско-Английский словарь
ЗАДАЧА — goal, objective, problem, proposition, task
Русско-Английский экономический словарь
ЗАДАЧА — 1. task; (цель) goal; боевая ~ tactical task; combat mission амер. выполнить ~у carry out a task, accomplish a task/mission; поставить ~у set* a task; ставить …
Русско-Английский словарь - QD
ЗАДАЧА — proposition
Русско-Английский юридический словарь
ЗАДАЧА — см. тж. взять на себя задачу • Problem 1 . To determine the projections of a line which ... • …
Русско-Английский научно-технический словарь переводчика
ЗАДАЧА — 1) problem 2) task
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ЗАДАЧА — см. в связи с развитием … перед … встали новые задачи ; комплекс задач ; круг задач и обязанностей ; …
Русско-Английский словарь идиом по космонавтике
ЗАДАЧА — жен. 1) problem sum арифметическая задача – sum решить задачу справляться с задачей 2) (цель) object(ive), aim, end task, mission …
Большой Русско-Английский словарь
ЗАДАЧА — стоящая перед нами задача , стоящая перед нами w problem that faces us
Русско-Английский словарь Сократ
ЗАДАЧА — задача problem;comp task
Русско-Английский словарь Сократ
CHAFF ALGORITHM — Задача выполнимости булевых формул
Американский Англо-Русский словарь
BOOLEAN SATISFIABILITY PROBLEM — Задача выполнимости булевых формул
Американский Англо-Русский словарь
ПРОБЛЕМА ВЫПОЛНИМОСТИ — satisfiability problem
Большой Русско-Английский словарь
МОДЕЛЬ ВЫПОЛНИМОСТИ — мат. feasibility model
Большой Русско-Английский словарь
ЗАДАЧА ВЫПОЛНИМОСТИ — мат. satisfiability problem
Большой Русско-Английский словарь
TASK — 1. сущ. 1) урочная работа; задача; задание; урок task in hand carry out a task do a task fulfill a …
Большой Англо-Русский словарь
SHANNON'S EXPANSION THEOREM — теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)
Большой Англо-Русский словарь
SHANNON'S EXPANSION THEOREM — теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)
Большой Англо-Русский словарь
SET OF FORMULAS — мат. совокупность формул
Большой Англо-Русский словарь
SATISFIABILITY PROBLEM — проблема выполнимости (в булевой алгебре)
Большой Англо-Русский словарь
PROBLEM — 1. сущ. 1) проблема; вопрос; задача to bring up, cause, create, pose, present, raise a problem ≈ поставить задачу/проблему (перед …
Большой Англо-Русский словарь
PRINCIPAL SET — мат. главное множество (формул)
Большой Англо-Русский словарь
ORDER — 1. сущ. 1) порядок, расположение в определенном порядке in order ≈ по порядку out of order ≈ не по порядку …
Большой Англо-Русский словарь
MISSION — 1. сущ. 1) а) миссия; делегация trade mission ≈ торговое представительство, торгпредство б) амер. дипломатическая миссия или миссия (постоянное представительство …
Большой Англо-Русский словарь
LOZENGE DIAGRAM — мат. ромбовидная диаграмма (для получения интерполяционных формул)
Большой Англо-Русский словарь
LANGUAGE OF FORMULAS — мат. язык формул
Большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
KARNAUGH MAP — карта Карно (используемая при минимизации булевых функций)
Большой Англо-Русский словарь
KARNAUGH MAP — карта Карно (используемая при минимизации булевых функций)
Большой Англо-Русский словарь
GENERATION — сущ. 1) поколение а) все представители одной из ступеней семейного генеалогического древа A family party, consisting of three generations; the …
Большой Англо-Русский словарь
FORMULA MANIPULATION — работа с формулами; преобразование формул
Большой Англо-Русский словарь
FEASIBILITY MODEL — мат. модель выполнимости (при заданных ограничениях)
Большой Англо-Русский словарь
FEASIBILITY EXPERIMENT — эксперимент, проводимый с целью определения выполнимости (напр. конструктивных требований)
Большой Англо-Русский словарь
EQUATION EDITOR — редактор (математических) формул и уравнений
Большой Англо-Русский словарь
COLLECTION OF FORMULAS — мат. совокупность формул
Большой Англо-Русский словарь
BOOLEAN ALGEBRA-BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский словарь
BOOLEAN ALGEBRA-BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский словарь
BOOLEAN -BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский словарь
BOOLEAN -BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский словарь
BOLLEAN-BASED LANGUAGE — язык булевых операторов (напр., для программирования для программирования контроллеров)
Большой Англо-Русский словарь
BOLLEAN-BASED LANGUAGE — язык булевых операторов (напр., для программирования для программирования контроллеров)
Большой Англо-Русский словарь
GENERATION — generation.ogg ͵dʒenəʹreıʃ(ə)n n 1. 1> поколение the postwar generation - послевоенное поколение first generation Americans - американцы в первом поколении …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
BOOLEAN BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский политехнический словарь
BOOLEAN ALGEBRA-BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский политехнический словарь
BOOLEAN BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский политехнический словарь - РУССО
BOOLEAN ALGEBRA-BASED LANGUAGE — язык булевых операторов
Большой Англо-Русский политехнический словарь - РУССО
WEAKLY COMPLETE COLLECTION — матем. слабо полная совокупность (формул)
Англо-Русский научно-технический словарь
WEAKLY — слабо almost weakly closed — почти слабо замкнутый nil weakly closed set — слабо замкнутое ниль-множество relatively weakly compact — относительно слабо компактный weakly …
Англо-Русский научно-технический словарь
SET OF FORMULAS — матем. совокупность формул
Англо-Русский научно-технический словарь
SATISFIABILITY PROBLEM — матем. задача выполнимости
Англо-Русский научно-технический словарь
PROBLEM — 1) задача 2) неисправность 3) проблема • algorithmically unsolvable problem — алгоритмически неразрешимая проблема attack problem by methods — разрабатывать проблему методами axially symmetric problem — …
Англо-Русский научно-технический словарь

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

← ЗАДАЧА ШТУРМА — ЛИУВИЛЛЯ ЗАДАЧА ДВУХ ТЕЛ→