Translation of "set of logic" to Russian language:
Dictionary English-Russian
Examples (External sources, not reviewed)
| Set Theory and Its Logic . | Set Theory and Its Logic . |
| But this set up makes little sense in the face of the economic logic of European integration. | Однако подобная система имеет мало смысла в условиях экономической логики Европейской интеграции. |
| The logic of peace must finally overcome the logic of war. | Логика мира должна в конечном итоге восторжествовать над логикой войны. |
| Formalization of Logic . | Formalization of Logic . |
| Methods of Logic . | Methods of Logic . |
| It's not logic, that logic Libby | Это не логика, логика, что Либби |
| Hoare logic (also known as Floyd Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. | Логика Хоара (, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. |
| The development of logic . | The development of logic . |
| The logic you're looking for. And the logic is that there is no logic. | Логика, которую вы ищете, эта логика в том, что здесь нет никакой логики. |
| In its hardware form, a FIFO primarily consists of a set of read and write pointers, storage and control logic. | В аппаратной форме FIFO в основном состоит из множества указателей чтения и записи, памяти и логики управления. |
| His main interests lie in mathematical logic, model theory in particular, and in axiomatic set theory. | Шелах занимается математической логикой, в частности, теорией моделей и теорией множеств. |
| Ackermann went on to construct consistency proofs for set theory (1937), full arithmetic (1940), type free logic (1952), and a new axiomatization of set theory (1956). | Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956). |
| Semantical Analysis of Modal Logic (abstract), The Journal of Symbolic Logic , 24(4) 323 324. | Semantical Analysis of Modal Logic (abstract), The Journal of Symbolic Logic , 24(4) 323 324. |
| The Logic of Modern Physics . | The Logic of Modern Physics . |
| Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science. | В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. |
| Mathematical Logic. | Математическая логика. |
| Mathematical Logic . | Mathematical Logic . |
| Elementary Logic . | Elementary Logic . |
| V. LOGIC. | Метафизика. |
| Logic Game | Логическая играName |
| Logic Games | Логические игрыName |
| Logic Buttons | Логические операции и основания |
| Logic Functions | Соединение 01Comment |
| Logic Shapes | Логические операцииStencils |
| Logic Functions | Функция |
| logic programming. | Некоторые люди называют парадигмой объектно ориентированное программирование . |
| Same logic. | Та же логика. |
| Usually, these cores are divided into two parts static logic which defines a minimum ISA (instruction set architecture) and configurable logic which can be used to design new instructions. | Обычно такие ядра разделены на две части статическую (static) логику, определяющую минимальную архитектуру системы команд, и конфигурируемую (configurable) логику, которую можно использовать для создания новых инструкций. |
| The history of logic is the study of the development of the science of valid inference (logic). | История логики изучает развитие науки о формах и законах правильного мышления (логика). |
| A Completeness Theorem in Modal Logic , Journal of Symbolic Logic 24(1) 1 14. | A Completeness Theorem in Modal Logic , Journal of Symbolic Logic 24(1) 1 14. |
| The first logic we will consider is called propositional logic. | Первая логика, которую мы рассмотрим, называется пропозиционная логика. |
| Others, such as action computational tree logic, Hennessy Milner logic, and Lamport's temporal logic of actions, build their assertions from sequences of actions (changes in state). | Другие же, такие как логика действий вычислительного дерева, логика Хеннесси Милнера или темпоральная логика действий Лэмпорта, строят свои утверждения от последовательности действий (изменения состояний). |
| We'll look at propositional logic and categorical logic, that'll be part two of the course. | Мы посмотрим на пропозициональную и категориальную логику, и это будет вторая часть курса. |
| Cards are a matter of logic. | Карты это логическая задача. |
| GFingerPoken logic game | Логическая игра GFingerPoken |
| Logic circuit simulator | Симулятор логических схем |
| Blackbox Logic Game | Логическая игра blackbox |
| What weird logic. | Странная логика. |
| Asynchronous logic elements. | Элементы асинхронной логики. |
| Blackbox Logic Game | Чёрный ящикName |
| 25,same logic. | 25, та же логика. |
| Naked Mother Logic | Логика и истина |
| Where's the logic? | Где логика? |
| Because it's logic. | У тебя самая большая контора на участке. |
| Syllabus of a Proposed System of Logic . | 1872 Syllabus of a proposed system of logic. |
Related searches : System Of Logic - Logic Of War - Logic Of Exchange - Logic Of Control - Logic Of Action - Lack Of Logic - Leap Of Logic - Line Of Logic - Powers Of Logic - Logic Of Confidence - Logic Of Functioning - Sense Of Logic
