Formal logic - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
adjective: формальный, официальный, номинальный, церемонный, симметричный, соответствующий правилам, внешний, правильный
noun: вечернее платье, официальный прием
formal garden - английский парк
formal ceremony - формальная церемония
formal vote - простое голосование
formal act - формальный акт
formal mediation - официальное посредничество
formal official engagement - формальная официальная встреча
formal recommendation - официальная рекомендация
formal reason - формальный повод
formal criteria - формальные признаки
formal notification - официальное извещение
Синонимы к formal: elaborate, stately, ceremonial, courtly, ceremonious, dignified, conventional, solemn, dressy, ornate
Антонимы к formal: informal, casual, nonformal, unofficial, disorderly, relaxed, unaffected, normal, customary
Значение formal: done in accordance with rules of convention or etiquette; suitable for or constituting an official or important situation or occasion.
high-level logic - высокоуровневая логика
hardwired logic - жестко закодированная логика
constructive logic - конструктивная логика
majority logic - логика "большинства"
logic block - логический блок
logic module - логический модуль
informal logic - неформальная логика
predicate logic - логика предикатов
predicate logic language - язык основанный на логике предикатов
perverse logic - порочная логика
Синонимы к logic: good sense, common sense, logical thought, sense, judgment, sanity, reason, wisdom, rationality, horse sense
Антонимы к logic: foolishness, folly, play pool, madness, silliness, craziness, dullness, ignorance, incompetence, muddle
Значение logic: reasoning conducted or assessed according to strict principles of validity.
aristotelian philosophy, aristotelianism, categorical logic, mathematical logic, syllogistic logic, syllogism, symbolic logic, term logic, traditional logic, logistic, literary logic, so called logic, stilted logic, conventional logic, dialectic, dialectics, formal sense, formal shorts, logic, methodical logic
Formal Logic Mathematical logic.
Its applications are found in theoretical computer science, theoretical linguistics, formal semantics, mathematical logic, and other areas. |
Его применение можно найти в теоретической информатике, теоретической лингвистике, формальной семантике, математической логике и других областях. |
I'm not a logician but I have an extensive mathematical background and I want to learn formal logic. |
Я не логик, но у меня обширное математическое образование, и я хочу изучать формальную логику. |
Developments in formal logic have thrown light on the way in which truth is used both in formal systems and in natural languages. |
Развитие формальной логики пролило свет на то, как истина используется как в формальных системах, так и в естественных языках. |
In formal semantics, discourse representation theory describes the formal semantics of a sentence using predicate logic. |
В формальной семантике теория репрезентации дискурса описывает формальную семантику предложения с помощью логики предикатов. |
Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. |
Таким образом, аксиома является элементарной основой для формальной логической системы, которая вместе с правилами вывода определяет дедуктивную систему. |
Principia Mathematica was a milestone work in formal logic written by Alfred North Whitehead and Bertrand Russell. |
Principia Mathematica была важной работой в области формальной логики, написанной Альфредом Нортом Уайтхедом и Бертраном Расселом. |
There has been considerable philosophical dispute since Mackie, as to the best way to formulate the paradox of omnipotence in formal logic. |
Со времен Макки велись серьезные философские споры о том, как лучше всего сформулировать парадокс всемогущества в формальной логике. |
The use of computers to prove mathematical theorems using formal logic emerged as the field of automated theorem proving in the 1950s. |
Использование компьютеров для доказательства математических теорем с использованием формальной логики возникло как область автоматизированного доказательства теорем в 1950-х годах. |
It has also recently become popular in formal logic under predicate abstraction. |
Она также недавно стала популярной в формальной логике при абстракции предикатов. |
It does not 'beg the question' because it is a different approach than formal logic. |
Она не напрашивается на вопрос, потому что это иной подход, нежели формальная логика. |
It uses formal equivalence checking and logic synthesis techniques to produce a gate-level ECO netlist based on the changed RTL. |
Он использует методы проверки формальной эквивалентности и логического синтеза для получения списка ЭКО-сетей на уровне ворот на основе измененного RTL. |
In literary nonsense, certain formal elements of language and logic that facilitate meaning are balanced by elements that negate meaning. |
В литературной бессмыслице определенные формальные элементы языка и логики, облегчающие смысл, уравновешиваются элементами, отрицающими смысл. |
These formal terms are manipulated by the rules of mathematics and logic, and any results are interpreted or translated back into the problem domain. |
Эти формальные термины управляются правилами математики и логики, и любые результаты интерпретируются или переводятся обратно в проблемную область. |
Symbolic logic studies the purely formal properties of strings of symbols. |
Символическая логика изучает чисто формальные свойства строк символов. |
Should this escalate further, I'd be glad to do the formal logic write up demonstrating that in fact Merecats behavior has become Trollish. |
Если это обострится еще больше, я буду рад написать формальную логику, демонстрирующую, что на самом деле поведение Merecats стало троллейбусным. |
During that period, I was attempting to unify Chomsky's transformational grammar with formal logic. |
В тот период я пытался объединить трансформационную грамматику Хомского с формальной логикой. |
Later, with the rise of formal logic a logical truth was considered to be a statement which is true under all possible interpretations. |
Позже, с появлением формальной логики, логическая истина стала рассматриваться как утверждение, которое истинно при всех возможных интерпретациях. |
Look to any textbook of Formal Logic and compare what is written about induction and what about infinite descent. |
Посмотрите на любой учебник формальной логики и сравните, что написано об индукции и что о бесконечном спуске. |
Design by contract has its roots in work on formal verification, formal specification and Hoare logic. |
Проектирование по контракту имеет свои корни в работе по формальной верификации, формальной спецификации и логике Хоара. |
Formal logic is concerned with such issues as validity, truth, inference, argumentation and proof. |
Формальная логика занимается такими вопросами, как обоснованность, истина, вывод, аргументация и доказательство. |
Formal sciences – Information theory • Logic • Statistics • Theoretical computer science. |
Формальные науки-теория информации * логика * статистика * теоретическая информатика. |
In mathematical logic, a formal theory is a set of sentences expressed in a formal language. |
В математической логике формальная теория - это набор предложений, выраженных на формальном языке. |
Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space. |
Декларативное Программирование часто рассматривает программы как теории формальной логики, а вычисления-как дедукции в этом логическом пространстве. |
Some variants of coherence theory are claimed to describe the essential and intrinsic properties of formal systems in logic and mathematics. |
Утверждается, что некоторые варианты теории когерентности описывают существенные и внутренние свойства формальных систем в логике и математике. |
Логика первого порядка - это пример формального языка. |
|
It is also equivalent to the formal systems used in the field of mathematical logic. |
Она также эквивалентна формальным системам, используемым в области математической логики. |
The Stoics provided a unified account of the world, consisting of formal logic, monistic physics and naturalistic ethics. |
Стоики дали единый взгляд на мир, состоящий из формальной логики, монистической физики и натуралистической этики. |
A formal modal logic represents modalities using modal operators. |
Формальная модальная логика представляет модальности с использованием модальных операторов. |
In formal logic however, material implication defines if-then, which is not consistent with the common understanding of conditionals. |
Однако в формальной логике материальная импликация определяет если-то, что не согласуется с общим пониманием условностей. |
In formal logic, this number is called the arity of the predicate. |
В формальной логике это число называется аритностью предиката. |
Logic is generally considered formal when it analyzes and represents the form of any valid argument type. |
Логика обычно считается формальной, когда она анализирует и представляет форму любого допустимого типа аргумента. |
Is formal logic basically the study of the phenomena I mentioned above? |
Является ли формальная логика в основном изучением явлений, о которых я упоминал выше? |
In the name of nonsense, it is finally refused the conception of duality and the Aristotelian formal logic. |
Во имя бессмыслицы окончательно отвергается концепция двойственности и аристотелевская формальная логика. |
However, formal logic makes no such guarantee if any premise is false; the conclusion can be either true or false. |
Однако формальная логика не дает такой гарантии, если какая-либо посылка ложна; заключение может быть либо истинным, либо ложным. |
The logical positivists thought of scientific theories as deductive theories—that a theory's content is based on some formal system of logic and on basic axioms. |
Логические позитивисты считали научные теории дедуктивными теориями-что содержание теории основано на некоторой формальной системе логики и на базовых аксиомах. |
His works contain the earliest known formal study of logic, studied by medieval scholars such as Peter Abelard and John Buridan. |
Его работы содержат самые ранние известные формальные исследования логики, изученные средневековыми учеными, такими как Питер Абеляр и Джон Буридан. |
Philosophical writing spans from humanistic prose to formal logic, the latter having become extremely technical to a degree similar to that of mathematics. |
Философская литература простирается от гуманистической прозы до формальной логики, причем последняя становится чрезвычайно Технической в той же степени, что и математика. |
Compared with symbolic logic, formal Bayesian inference is computationally expensive. |
По сравнению с символической логикой формальный Байесовский вывод является вычислительно дорогостоящим. |
The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence. |
Развитие формальной логики сыграло большую роль в области автоматизированного мышления, что само по себе привело к развитию искусственного интеллекта. |
I'm good at fuzzy logic, making connections. |
Я хорош в нечётких логических схемах, устанавливаю соединения. |
I do not agree with your logic, Elric. |
Я не могу согласиться с вашей логикой, Эльрик. |
So what we saw play out in Milan is more or less a repeat of the last Putin/Poroshenko meeting that took place in Minsk on August 26, because the same logic applies. |
Поэтому то, что мы увидели в Милане, более или менее является повтором предыдущей встречи Путина/Порошенко, которая состоялась в Минске 26 августа, ибо на сей раз применима та же самая логика. |
Carl von Clausewitz noted that once a war starts, it has its own logic of relentless escalation to extremes. |
Карл фон Клаузевиц однажды заметил, что, раз начавшись, война развивается по собственной логике, каждый раз доводя дело до крайностей. |
I trust only logic and statistics. Not mysticism and prophesy. |
Я верю только в логику и статистику, а не в мистику и пророчества. |
Оу, что ж, пояс верности отлично подойдет к официальному наряду. |
|
Yield to the logic of the situation. |
Взгляните на ситуацию логически. |
I always had a different vision than my father. The ability to see beyond pure logic. |
У меня всегда был отличный от отцовского взгляд на вещи, возможность смотреть выше чистой логики. |
Fuzzy logic is an important concept when it comes to medical decision making. |
Нечеткая логика является важным понятием, когда речь заходит о принятии медицинских решений. |
A journal is a formal and chronological record of financial transactions before their values are accounted for in the general ledger as debits and credits. |
Журнал-это формальная и хронологическая запись финансовых операций до того, как их стоимость учитывается в главной книге Как дебет и кредит. |
First, the notation used in symbolic logic can be seen as representing the words used in philosophical logic. |
Во-первых, обозначения, используемые в символической логике, можно рассматривать как репрезентации слов, используемых в философской логике. |
Его официальное первое чтение состоялось 26 января 1999 года. |
|
Within the more formal coaching programs, there are two general types of coaching. |
В рамках более формальных программ коучинга существует два основных типа коучинга. |
While most physicians may readily notice bradykinesia, formal assessment requires a patient to do repetitive movements with their fingers and feet. |
В то время как большинство врачей могут легко заметить брадикинезию, формальная оценка требует, чтобы пациент делал повторяющиеся движения пальцами и ногами. |
In the first part of the first book of his Academics, Cicero introduced the division of philosophy into logic, physics, and ethics. |
В первой части первой книги своих ученых трудов Цицерон ввел разделение философии на логику, физику и этику. |
Apollo represents harmony, progress, clarity, and logic, whereas Dionysus represents disorder, intoxication, emotion, and ecstasy. |
Аполлон олицетворяет гармонию, прогресс, ясность и логику, а Дионис-беспорядок, опьянение, эмоции и экстаз. |
Decision making with cold cognition is more likely to involve logic and critical analysis. |
Принятие решений с помощью холодного познания, скорее всего, будет связано с логикой и критическим анализом. |
Intel decided to make the logic more complicated, but memory use more efficient. |
Intel решила сделать логику более сложной, но использование памяти более эффективным. |
In logic and semantics, connotation is roughly synonymous with intension. |
В логике и семантике коннотация является приблизительно синонимом интенции. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «formal logic».
А именно, здесь можно найти перевод (значение) «formal logic» на русском языке, синонимы, антонимы, краткое определение слов: formal, logic , а также произношение и транскрипцию к «formal logic». Также, к фразе «formal logic» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
