| Subject | English | Russian |
| Gruzovik, logic | abstract-deductive | абстрактно-дедуктивный |
| AI. | computational cognitive theory of human deductive reasoning | вычислительная когнитивная теория дедуктивного мышления человека (Alex_Odeychuk) |
| AI. | computer-assisted deductive reasoning | автоматизированный дедуктивный вывод (Alex_Odeychuk) |
| math. | deductive abstraction | дедуктивная абстракция |
| microel. | deductive algorithm | дедуктивный алгоритм |
| media. | deductive algorithm | дедуктивный алгоритм (алгоритм одновременного моделирования исправной и множества неисправных схем, в котором вычисление значений сигналов выполняется с помощью операций над списками) |
| mil. | deductive analysis of missile systems | дедуктивный анализ эксплуатации РК |
| AI. | deductive and inductive reasoning | формирование дедуктивных и индуктивных рассуждений (Alex_Odeychuk) |
| psychol. | deductive approach | дедуктивный подход |
| math. | deductive approach | дедуктивный метод |
| math. | deductive argument | дедуктивное рассуждение |
| math. | deductive argument | дедуктивное доказательство |
| scient. | deductive-axiomatic method | дедуктивно-аксиоматический метод (I. Havkin) |
| IT | deductive chain | дедуктивная цепочка |
| AI. | deductive classifier | дедуктивный классификатор (Alex_Odeychuk) |
| math. | deductive closure | дедуктивное замыкание |
| math. | deductive completeness | дедуктивная полнота |
| math. | deductive consequence | дедуктивное следствие |
| math. | deductive construction | построение по дедукции |
| philos. | deductive cosmological argument | дедуктивный космологический аргумент (Alex_Odeychuk) |
| math. | deductive criterion | дедуктивный критерий |
| IT | deductive database | дедуктивная база данных |
| automat. | deductive database | дедуктивная база данных (для заключений от общего к частному) |
| IT | deductive database system | система управления дедуктивными базами данных (Alex_Odeychuk) |
| math. | deductive demonstration | дедуктивное доказательство |
| math. | deductive derivation | дедуктивный вывод |
| math. | deductive equivalence | дедуктивная эквивалентность |
| math. | deductive evaluation | дедуктивная оценка |
| scient. | deductive fallacy | дедуктивный софизм (I. Havkin) |
| microel. | deductive fault simulation | моделирование неисправностей с использованием дедуктивного алгоритма |
| logic | deductive framework of abstract concepts | дедуктивная система абстрактных понятий (Alex_Odeychuk) |
| math. | deductive guess | дедуктивное предположение |
| math. | deductive inconsistency | дедуктивная противоречивость |
| math. | deductive inconsistency | дедуктивная несовместимость |
| math. | deductive induction | дедуктивная индукция |
| math. | deductive inferability | дедуктивная выводимость |
| IT | deductive inference | дедуктивный вывод |
| gen. | deductive inference | дедуктивное умозаключение |
| progr. | deductive information retrieval | дедуктивный поиск информации (ssn) |
| math. | deductive justification | дедуктивное обоснование |
| math. | deductive logic | дедуктивная логика |
| IT | deductive machine | дедуктивная машина |
| IT | deductive method | дедуктивный метод |
| cust. | deductive method | метод вычитания (метод определения таможенной стоимости Sukhopleschenko) |
| math. | deductive model | дедуктивная модель |
| scient. | deductive pattern | дедуктивная структура (I. Havkin) |
| math. | deductive predicate calculus | дедуктивное исчисление предикатов |
| progr. | deductive program synthesis | дедуктивный синтез программ (ssn) |
| math. | deductive proof | доказательство по выводу |
| math. | deductive proof | дедуктивное доказательство |
| progr. | deductive proofs | дедуктивные доказательства (ssn) |
| seism. | deductive reasoning | дедуктивный метод |
| AI. | deductive reasoning | формирование дедуктивных рассуждений (Alex_Odeychuk) |
| progr. | deductive reasoning | дедуктивные рассуждения дедуктивный вывод (метод, используемый в языке Prolog для нахождения решения по заданным фактам и правилам ssn) |
| dipl. | deductive reasoning | ход рассуждения от общего к частному |
| robot. | deductive reasoning | дедуктивный вывод |
| invest. | deductive reasoning | дедуктивный метод анализа |
| IT | deductive reasoning | дедуктивные рассуждения |
| el. | deductive reasoning | дедуктивное доказательство |
| math. | deductive reasoning | дедуктивное рассуждение |
| seism. | deductive reasoning | дедуктивный подход |
| seism. | deductive reasoning | дедукция |
| avia. | deductive reasoning | дедуктивное мышление |
| gen. | deductive reasoning | ход рассуждений от общего к частному |
| comp. | deductive response | дедуктивный вывод |
| math. | deductive result | дедуктивный результат |
| mech. | deductive retrieval | дедуктивный поиск |
| robot. | deductive retrieval | дедуктивный поиск (в базе знаний) |
| IT | deductive retrieval | получение информации из базы знаний с использованием дедукции |
| math. | deductive rule | дедуктивное правило |
| progr. | deductive simulation | дедуктивное моделирование (ssn) |
| progr. | deductive simulator | программа дедуктивного моделирования неисправностей (ssn) |
| progr. | deductive software verification | дедуктивная верификация программных систем (Alex_Odeychuk) |
| math. | deductive step | дедуктивный шаг (ssn) |
| comp. | deductive system | дедуктивная система |
| math. | deductive systematization | дедуктивная систематизация |
| IT | deductive theory | теория дедуктивная |
| math. | deductive theory | дедуктивная теория |
| logic | deductive thought | дедуктивное умозаключение (Alex_Odeychuk) |
| math. | deductive treatment | дедуктивный вывод |
| O&G, tengiz. | deductive troubleshooting | дедуктивный метод поиска неисправностей (Yeldar Azanbayev) |
| math. | deductive validity | дедуктивная общезначимость |
| cust., WTO | deductive value | метод вычитания (Method 4 – Deductive value – Deduction of value from the price of the greatest aggregate quantity sold – The Agreement provides that when customs value cannot be determined on the basis of the transaction value of the imported goods or identical or similar goods, it will be determined on the basis of the unit price at which the imported goods or identical or similar goods are sold to an unrelated buyer in the greatest aggregate quantity in the country of importation. The buyer and the seller in the importing country must not be related and the sale must take place at or about the time of importation of the goods being valued. If no sale took place at or about the time of importation, it is permitted to use sales up to 90 days after importation of the goods being valued. • Настоящие Правила используются при применении метода вычитания (метод 4), установленного "статьей 8" Соглашения об определении таможенной стоимости товаров, перемещаемых через таможенную границу Таможенного союза от 25 января 2008 года (далее – Соглашение).  wto.org 'More) |
| cust. | Deductive value | метод отнимания стоимости (4 метод определения таможенной стоимости Tereshchenko_O) |
| gen. | Deductive Value | метод вычитания стоимости (natnox) |
| progr. | deductive verification | дедуктивная верификация (Alex_Odeychuk) |
| AI. | deductive verifier | дедуктивный верификатор (Microsoft Alex_Odeychuk) |
| math. | each deductive step | каждый дедуктивный шаг (ssn) |
| AI. | formal model of deductive reasoning | формальная модель дедуктивных рассуждений (Alex_Odeychuk) |
| AI. | human deductive reasoning | дедуктивное мышление человека (Alex_Odeychuk) |
| gen. | hypotethetico-deductive method | гипотетико-дедуктивный метод |
| ed. | hypothetic-deductive method | гипотетико-дедуктивный метод |
| math. | hypothetico-deductive | гипотетико-дедуктивный |
| gen. | hypothetico deductive | гипотетико-дедуктивный |
| math. | hypothetico-deductive method | метод гипотетической индукции |
| avia., med. | hypothetico-deductive method | гипотетико-дедуктивный метод (исследования) |
| math. | hypothetico-deductive method | гипотетико-дедуктивный метод |
| Makarov. | hypothetico-deductive method | метод гипотетической дедукции |
| Gruzovik | inductive-deductive | индуктивно-дедуктивный |
| AI. | information is represented in the form of deductive rules within the knowledge base | информация представлена в форме дедуктивных правил в базе знаний (Alex_Odeychuk) |
| progr. | introduction to deductive proofs | введение в дедуктивные доказательства (ssn) |
| gen. | logic deductive | дедуктивный |
| math. | mathematically deductive method | математико-дедуктивный метод (ssn) |
| math. | mathematico-deductive | математико-дедуктивный |
| math. | mathematico-deductive method | математико-дедуктивный метод |
| psychol. | mathematico-deductive method | метод постулатов |
| psychol. | mathematico-deductive method | аксиоматический метод |
| psychiat. | mathematico-deductive method | математическо-дедуктивный метод |
| AI. | model of deductive reasoning | модель дедуктивных рассуждений (Alex_Odeychuk) |
| math. | normally deductive codificate | нормально дедуктивный кодификат |
| progr. | query language for deductive databases | язык запросов к дедуктивным базам данных (Alex_Odeychuk) |
| progr. | static deductive verification | статическая дедуктивная верификация (Alex_Odeychuk) |