Примеры использования Deductive на Английском языке и их переводы на Русский язык
{-}
-
Official
-
Colloquial
You have developed considerable deductive powers of your own.
Вы развили у себя прекрасные способности дедуктивного мышления.Existing deductive verification tools don't support all the features of C language used in operating system kernels.
Имеющиеся инструменты дедуктивной верификации не поддерживают все возможности языка Си, используемые в ядрах ОС.Deductive method allowed characterizing the institutions of social partnership through the launch of the acquired knowledge of the general properties of social partnership as a holistic phenomenon.
Метод дедукции позволил охарактеризовать институты социального партнерства путем выведения из полученных знаний общих свойств социального партнерства как целостного образования.Khoroshilov Towards Deductive Verification of C Programs with Shared Data Proceedings of the Institute for System Programming.
Хорошилов О дедуктивной верификации Си программ, работающих с разделяемыми данными Труды Института системного программирования РАН.Analyzed methods include model checking, deductive verification, methods that extend these two methods:
Рассмотрены методы проверки моделей и дедуктивной верификации, методы композиционной верификацииTo solve this problem, we use systemic and deductive approaches, as well as general scientific methods of research.
Для решения данной задачи использованы системный и дедуктивный подходы, а также общенаучные методы исследования.and the idea of a deductive system was probably known in the Pythagorean school
и идея дедуктивной системы, возможно, была известна в пифагорейской школеIn civil-law systems, legal reasoning is deductive, judges basing their judgements on the provisions of codes
В системах континентального права правовое обоснование носит дедуктивный характер, поскольку судьи основывают свои решения на положениях кодексовDeductive databases are more expressive than relational databases
Дедуктивные базы данных более экспрессивные, чем реляционные базы данных,France) and deductive verification system Why3(INRIA,
и системе дедуктивной верификации Why3( INRIA,By Braun-Blanquet and a deductive method of Kopecky-Gejny 7 derivate communities, 3 basal communities,
С использованием метода Браун- Бланке и дедуктивного метода Копечки- Гейны установлено 7 дериватных,If the abstract and deductive dimension were not adequately combined with the necessary practice-based inductive elements,
Если не сочетать адекватным образом абстрактный и дедуктивный подход с необходимыми, основывающимися на практике индуктивными элементами,Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.
Кортеж- ориентированная обработка: дедуктивные базы данных используют ориентированную на набор обработку, в то время как языки логического программирования концентрируются на одном кортеже за раз.facts stored in the(deductive) database.
фактов хранящихся в( дедуктивной) базе данных.In essence, from the absence of a statement alone, a deductive reasoner cannot(and must not)
В основном, только от отсутствия утверждения, дедуктивный рассуждатель не может( и не должен)In recent years, deductive databases such as Datalog have found new application in data integration,
В последние годы дедуктивные базы данных, такие как Datalog, нашли новое применение в интеграции данных,control it is considered expedient to use a deductive method of knowledge, i.e.
фундаментальных теоретических категорий учета, анализа и контроля дедуктивного метода познания, т. е.other cognitive processes outside of deductive rationality interpret them to be wrong.
происходящие за пределами дедуктивной рациональности, интерпретируют эту истину как ложь.Deductive databases and logic programming:
Дедуктивные базы данныхThe deductive apparatus may consist of a set of transformation rules(also called inference rules)
Дедуктивный аппарат может состоять из правил преобразования( называемых также правилами вывода)
