Алгебры логики - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
алгебры логики - logic algebra
брать уроки алгебры - tutor in algebra
гомоморфизм алгебры - algebra homomorphism
модуль алгебры - algebra module
расширение алгебры - algebra extension
представление алгебры - algebra representation
машина реляционной алгебры - relational algebra machine
сжатие алгебры - compression of algebra
однотипные алгебры - similar algebras
расслоение внешней алгебры - bundle of outer algebra
алгебра логики - algebra of logic
многозначные логики - multi-valued logic
ассоциация символической логики - association of symbolic logic
закон логики - logical law
линия логики - line of logic
логики - logicians
редактор логики - logic editor
нет никакой логики - there is no logic
структурная схема управляющей логики - control-flow chart
скачок логики - leap of logic
Синонимы к логики: философы, софисты, теоретики, мыслители
Виртуальные условия строятся с использованием алгебры положительной логики. |
The virtual conditions are built using the positive logic algebra. |
Эта семантика допускает перевод между тавтологиями пропозициональной логики и эквационными теоремами булевой алгебры. |
These semantics permit a translation between tautologies of propositional logic and equational theorems of Boolean algebra. |
Всякая тавтология Φ пропозициональной логики может быть выражена как булево уравнение Φ = 1, которое будет теоремой булевой алгебры. |
Every tautology Φ of propositional logic can be expressed as the Boolean equation Φ = 1, which will be a theorem of Boolean algebra. |
Алгебра Буля предшествовала современным разработкам в области абстрактной алгебры и математической логики; однако она рассматривается как связанная с истоками обеих областей. |
Boole's algebra predated the modern developments in abstract algebra and mathematical logic; it is however seen as connected to the origins of both fields. |
This would explain your slight memory loss and logic impairment. |
|
Нам будет недоставать его мудрости, чувства юмора и железной логики. |
His wit, sense of humour and iron logic will be missed. |
То в чем В'джер нуждается чтобы развиваться это в человеческом качестве в нашей способности, восприятия за пределами логики. |
What V'Ger needs in order to evolve is a human quality, our capacity to leap beyond logic. |
Эти здания, которые строятся без логики, отражают плохое планирование. |
These buildings, which adhere to no logic, represent bad planning. |
Впрочем, обитал-то он за пределами логики -поэтому стоило ли ему доверять? |
But had these irrational processes become more admissible merely because he had a personal acquaintance with them now? |
У меня всегда был отличный от отцовского взгляд на вещи, возможность смотреть выше чистой логики. |
I always had a different vision than my father. The ability to see beyond pure logic. |
I'm your relief algebra teacher. |
|
Клейтон и Винокур предположили, что это происходит из-за фундаментальной неспособности использовать тот же тип аристотелевской логики, что и другие. |
Clayton and Winokur have suggested that this results from a fundamental inability to use the same type of Aristotelian logic as others. |
Когда мы пытаемся формализовать этику с помощью стандартной модальной логики, мы сталкиваемся с некоторыми проблемами. |
When we try and formalize ethics with standard modal logic, we run into some problems. |
Многие из первых успешных применений нечеткой логики были реализованы в Японии. |
Many of the early successful applications of fuzzy logic were implemented in Japan. |
Активное резервирование может ввести в систему более сложные режимы сбоя, такие как непрерывная реконфигурация системы из-за неисправной логики голосования. |
Active redundancy may introduce more complex failure modes into a system, such as continuous system reconfiguration due to faulty voting logic. |
Дети на этой стадии обычно испытывают трудности с пониманием логики в своей голове. |
Children in this stage commonly experience difficulties with figuring out logic in their heads. |
В частных случаях кодирования 1 из 3, или многозначной троичной логики, эти элементы могут называться триггерами. |
In the special cases of 1-of-3 encoding, or multi-valued ternary logic, these elements may be referred to as flip-flap-flops. |
Традиционный способ поддержать рациональный аргумент-это обратиться к другим рациональным аргументам, обычно используя цепочки разума и правила логики. |
The traditional way of supporting a rational argument is to appeal to other rational arguments, typically using chains of reason and rules of logic. |
Здесь есть место для более детального анализа логики ситуаций. .... |
There is room for a more detailed analysis of the logic of situations. …. |
К XII веку Авиценнийская логика пришла на смену аристотелевской логике как доминирующей системе логики в исламском мире. |
By the 12th century, Avicennian logic had replaced Aristotelian logic as the dominant system of logic in the Islamic world. |
Каждая алгебра над полем является векторным пространством, но элементы алгебры обычно не называются векторами. |
Every algebra over a field is a vector space, but elements of an algebra are generally not called vectors. |
В Венском университете находится исследовательский центр математической логики имени Курта Геделя. |
The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic. |
Если эти правки без логики и без объяснений на странице Talk не прекратятся, я запрошу полузащиту этой страницы. |
If this edits with no logic and no explanations on the talkpage don't stop, I'll request semi-protection of this page. |
Были сформулированы и другие системы модальной логики, отчасти потому, что S5 не описывает все виды модальности, представляющие интерес. |
Other systems of modal logic have been formulated, in part because S5 does not describe every kind of modality of interest. |
Семантика пропозициональной логики опирается на задания истинности. |
The semantics of propositional logic rely on truth assignments. |
В зависимости от лежащей в основе логики, проблема определения истинности формулы варьируется от тривиальной до невозможной. |
Depending on the underlying logic, the problem of deciding the validity of a formula varies from trivial to impossible. |
Результат был получен с помощью логики и вычислений грубой силы. |
The result was derived through logic and brute force computation. |
Таким образом, процесс имитирует применение логики четырех значений. |
Thus the process simulates the application of a four value logic. |
Развитие формальной логики сыграло большую роль в области автоматизированного мышления, что само по себе привело к развитию искусственного интеллекта. |
The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence. |
Principia Mathematica была важной работой в области формальной логики, написанной Альфредом Нортом Уайтхедом и Бертраном Расселом. |
Principia Mathematica was a milestone work in formal logic written by Alfred North Whitehead and Bertrand Russell. |
Формально они могут быть описаны как понятия и роли логики описания, соответствующие классам и свойствам OWL. |
These can formally be described as description logic concepts and roles, which correspond to OWL classes and properties. |
Он был особенно плодовит в области метафизики, логики и философии математики, философии языка, этики и эпистемологии. |
He was particularly prolific in the fields of metaphysics, logic and the philosophy of mathematics, the philosophy of language, ethics and epistemology. |
Нормированные векторные пространства занимают центральное место в изучении линейной алгебры и функционального анализа. |
Normed vector spaces are central to the study of linear algebra and functional analysis. |
Согласно Гегелю в науке логики, диалектический метод состоит из трех ступеней. |
According to Hegel in Science of Logic, the dialectical methods consists of three steps. |
Нечеткая логика - это не замена или замена обычной логики, а ее усовершенствование, имеющее множество практических применений. |
Fuzzy logic is not a replacement of, or substitute for ordinary logic, but an enhancement of it, with many practical uses. |
Он опирался на элементы логики Уэйтли, которые содержали приложение по политической экономии Нассау-старшего. |
It drew on Whately's Elements of Logic, which had an appendix on political economy by Nassau Senior. |
32x является гибким, с которым процессор управляет VDP,и большинство игр используют один процессор для игровой логики, а другой - для визуализации. |
The 32x is flexible with which CPU controls the VDP, and most games use one CPU for game logic and the other CPU for rendering. |
Я не понимаю логики, и если я чего-то не упускаю, то предлагаю вернуть их в прежнее состояние. |
I don't understand the logic, and unless I'm missing something I suggest that they're put back how they were. |
Это было продолжение книги Гильберта-Акермана принципы математической логики от 1928 года. |
This was a sequel to the Hilbert-Ackermann book Principles of Mathematical Logic from 1928. |
Книга содержит 36 глав, которые охватывают самые разные темы-от логики до физики и этики. |
The book contains 36 chapters which cover topics ranging from logic to physics to ethics. |
Исходя из этой логики, некоторые полагают, что само общество никогда не существовало. |
By this logic, some suppose the society itself to never have existed. |
С тех пор транзисторы стали использоваться почти исключительно для компьютерной логики и периферийных устройств. |
From that time on transistors were almost exclusively used for computer logic and peripherals. |
Очень важно, чтобы эти тесты включали в себя как тесты бизнес-логики, так и условия операционной среды. |
It's essential that these tests include both business logic tests as well as operational environment conditions. |
По этой причине последовательное понимание метафизической логики Гегеля начинается с Канта. |
For this reason, a coherent understanding of Hegel's metaphysical logic begins with Kant. |
Теперь уже стандартная иерархия порядков логики восходит к этому времени. |
The now-standard hierarchy of orders of logics dates from this time. |
Поэтому я не думаю, что эта статья адекватно объясняет, что определяет логику второго порядка от логики первого порядка. |
As such, I don't think this article adequately explains what defines second-order logic from first-order logic. |
По словам его жены, он впервые задумался о формализации темпоральной логики в 1953 году. |
According to his wife, he first considered formalizing temporal logic in 1953. |
Термины и формулы логики первого порядка - это строки символов, где все символы вместе образуют алфавит языка. |
The terms and formulas of first-order logic are strings of symbols, where all the symbols together form the alphabet of the language. |
Эти действия кажутся глупыми или бессмысленными, потому что Спок интерпретирует их через свою собственную линзу логики. |
Those actions appear foolish or nonsensical, because Spock interprets them through his own lens of logic. |
Утверждение о том, что Италия может быть дисквалифицирована из-за оскорбления Матерацци, не имеет никакой логики. |
The allegation on the possiblity of Italy being disqualified from the cup due to Materazzi's insult does not have any logic. |
In 1973 he proposed his theory of fuzzy logic. |
|
Удаление этой ненужной / неиспользуемой логики значительно уменьшит размер и сложность шаблона WikiProject United States. |
Removal of this uneeded/unused logic will greatly reduce the size and complexity of the WikiProject United States template. |
Это харахтеристика античного пойтеизма, это не что-то вроде аристотелевского да или нет, черной или белой логики! |
This is a charachteristic of ancient poytheism, it is not something like aristotelic yes or no, black or white logic! |
Эта общая концепция применима ко многим видам логики, а также к подходящим структурам. |
This general concept applies to many kinds of logic as well as suitable structures. |
В исследованиях ИИ используется несколько различных форм логики. |
Several different forms of logic are used in AI research. |
Блок-схема справа обеспечивает процесс классификации явления как сценария в традиции интуитивной логики. |
The flowchart to the right provides a process for classifying a phenomenon as a scenario in the intuitive logics tradition. |
Фредрик Джеймсон заимствовал видение Манделя в качестве основы для своего широко цитируемого постмодернизма, или культурной логики позднего капитализма. |
Fredric Jameson borrowed Mandel's vision as a basis for his widely cited Postmodernism, or, the Cultural Logic of Late Capitalism. |
Что же касается вашей логики в отношении политиков и солдат, то стоит ли нам иметь раздел для ирландской роли? |
As for your logic about politicians and soldiers, should we have a section for Irish role? |
Из приведенных выше определений можно вывести некоторые полезные соотношения с помощью базовой алгебры. |
From the above definitions, some useful relationships can be derived by use of basic algebra. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «алгебры логики».
А именно, здесь можно найти перевод (значение) «алгебры логики» на английском языке, синонимы, антонимы, краткое определение слов: алгебры, логики . Также, к фразе «алгебры логики» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
