ЛОГИКА ПЕРВОГО ПОРЯДКА

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

мат. first-order logic

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

ЛОГИКА ПЕРВОГО ПОРЯДКА — Predicate logic
Русско-Американский Английский словарь
ЛОГИКА — 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 order
Russian Learner's Dictionary
ПЕРВОГО — First
Russian Learner's Dictionary
ЛОГИКА — 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
ПОРЯДКА — см. тж. около ; приблизительно • If A and B are square matrices of order n ( or of the …
Русско-Английский научно-технический словарь переводчика
ЛОГИКА — logic
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПОРЯДКА — см. перегрузки порядка ; син. около 1 ; примерно …the Soyuz spacecraft orbited the Earth at an altitude of about …
Русско-Английский словарь идиом по космонавтике
ЛОГИКА — ЛОГИКА Логика есть анатомия мышления. Джон Локк Логика - это нравственность мысли и речи. Ян Лукасевич Логика - это искусство …
English-Russian aphorisms, русские афоризмы
ЛОГИКА — жен. logic четкая логика – clear logic индуктивная логика – inductive logic дедуктивная логика – deductive logic нарушение логики – …
Большой Русско-Английский словарь
ЛОГИКА — логика p logic
Русско-Английский словарь Сократ
ORDER — 1) доупорядочивать 2) заказ 3) заказывать 4) команда 5) кратность 6) наряд 7) ордер 8) очередность 9) порядковый 10) порядок 11) последовательность 12) приказ 13) ранговый 14) располагать по порядку 15) распоряжаться 16) расстановка 17) упорядоченность 18) …
Англо-Русский научно-технический словарь
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
ХИМИЧЕСКАЯ — ХИМИЧЕСКАЯ КИНЕТИКА И ХИМИЧЕСКОЕ РАВНОВЕСИЕ В одном кинетическом эксперименте нередко участвуют одновременно две или несколько реакций, при этом их скорости …
Русский словарь Colier
TEE — I 1. сущ. 1) название буквы Т 2) вещь, имеющая форму буквы Т; тройник 2. прил.; тех. тавровый; Т-образный Syn …
Большой Англо-Русский словарь
SIGHT — 1. сущ. 1) зрение near sight ≈ близорукость long sight ≈ дальнозоркость loss of sight ≈ потеря зрения, слепота short …
Большой Англо-Русский словарь
RIOT — 1. сущ. 1) бунт; восстание, мятеж to cause, foment, incite a riot ≈ вызвать бунт to crush, put down, quell …
Большой Англо-Русский словарь
REFUSAL — сущ. 1) отказ, непринятие to meet with a refusal ≈ столкнуться с отказом, встретить отказ I could not comprehend her …
Большой Англо-Русский словарь
RATER — сущ. ругатель; ворчун Syn : swearer, habitual user of bad language оценщик; тарификатор ворчун; ругатель; сварливая женщина rater в сложных …
Большой Англо-Русский словарь
QUADRIC — 1) квадрика 2) второй степени 3) квадратичный ∙ confocal quadric surfaces ≈ софокусные поверхности второго порядка polar of quadric surface …
Большой Англо-Русский словарь
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
POLICE — 1. сущ. 1) а) полиция city police municipal police local police mounted police secret police security police state police police …
Большой Англо-Русский словарь
ORDER — 1. сущ. 1) порядок, расположение в определенном порядке in order ≈ по порядку out of order ≈ не по порядку …
Большой Англо-Русский словарь
NUISANCE — сущ. 1) досада; неприятность to cause, create a nuisance ≈ доставлять неприятности confounded, damned, perpetual nuisance ≈ вечные неприятности It …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
FIRST — 1. числ. поряд. первый а) первый по счету; следующий раньше всех по порядку б) занимающий ведущее положение, главный, лучший first …
Большой Англо-Русский словарь
DISORDERLY — 1. прил. 1) беспорядочный, неорганизованный a disorderly pile of clothes ≈ беспорядочная куча одежды The disorderly state of Peru was …
Большой Англо-Русский словарь
COMBINATIONAL LOGIC — 1. комбинаторная логика 2. комбинационная логика, комбинационные логические схемы 1. комбинаторная логика 2. комбинационные логические схемы
Большой Англо-Русский словарь
BREACH — 1. сущ. 1) мор. волны, разбивающиеся о берег или о судно clean breach clear breach 2) перен. нарушение (закона, моральных …
Большой Англо-Русский словарь
ARITHMETIC LOGIC — 1. логика арифметических операций, арифметическая логика 2. логика схемы арифметического устройства
Большой Англо-Русский словарь
ПЕРВЫЙ — first; ( о странице газеты ) front; ( из упомянутых выше ) former; ( самый ранний ) earliest первое января, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ORDER — order.ogg 1. ʹɔ:də n _I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical chronological order - алфавитный …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FIRST — 1. fɜ:st n 1. (the first) первое (число) on the first of May - первого мая 2. первый (человек) ( …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
TIME — 1) времена 2) временной 3) время 4) измерять 5) момент 6) отмечать время 7) отсчитывать 8) период 9) пора 10) продолжительность 11) раз 12) синхронизировать 13) срок 14) такт 15) хронировать 16) хронометрировать • accessible stopping time …
Англо-Русский научно-технический словарь
SURFACE
Англо-Русский научно-технический словарь
SECOND
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
KIND — 1) вид 2) класс 3) разновидность 4) разряд 5) род 6) семейство 7) сорт • cusp of the first kind — точка возврата [точка заострения] первого рода cusp of …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
ORDINARY LEVEL — брит.; тж. O Level1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) (сдавался по окончании пятого класса; …
Англо-Русский словарь Tiger
ORDER — 1. [ʹɔ:də] n I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical [chronological] ~ - алфавитный [хронологический] …
Новый большой Англо-Русский словарь - Апресян, Медникова
LOGIC — n 1. 1) логика ( наука ) 2) логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Новый большой Англо-Русский словарь - Апресян, Медникова
FIRST — 1. [fɜ:st] n 1. (the ~) первое (число) on the ~ of May - первого мая 2. первый (человек) ( …
Новый большой Англо-Русский словарь - Апресян, Медникова
ORDER — 1. ʹɔ:də n I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical chronological order - алфавитный хронологический …
Большой новый Англо-Русский словарь
LOGIC — n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Большой новый Англо-Русский словарь
FIRST — 1. fɜ:st n 1. (the first) первое (число) on the first of May - первого мая 2. первый (человек) ( …
Большой новый Англо-Русский словарь
ORDINARY LEVEL — брит. ; тж. O Level 1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) ( сдавался по …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
ORDINARY LEVEL — брит.; тж. O Level 1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) (сдавался по окончании пятого класса; …
Англо-Русский словарь общей лексики
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
ПЕРВЫЙ — first; ( о странице газеты ) front; ( из упомянутых выше ) former; ( самый ранний ) earliest первое января, …
Русско-Английский словарь

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

← ЛОГИКА ОТНОШЕНИЙ ЛОГИКА ПЕРЕКЛЮЧАТЕЛЬНЫХ СХЕМ→