Пропозициональное исчисление - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
поддающийся исчислению - calculable
вторичное дифференциальное исчисление - secondary differential calculus
в квартальном исчислении - quarter on quarter
исчисление конечных разностей - calculus of finite differences
бинарное функциональное исчисление - binary functional calculus
исчисленная дальность - corrected range
дата начала исчисления выслуги лет - seniority date
исчисление размера сбора - rate calculation
растет в годовом исчислении - growing at an annual rate
численное исчисление - numerical calculus
Синонимы к исчисление: расценивание, вычисление, подсчет, эвальвация, просчитывание, подсчитывание, считание
Он писал о гипотетическом силлогизме и о пропозициональном исчислении, которые были частью стоической логической традиции. |
He wrote on the hypothetical syllogism and on the propositional calculus, which were both part of the Stoic logical tradition. |
Аксиоматизация пропозиционального исчисления - это набор тавтологий, называемых аксиомами, и одно или несколько правил вывода для получения новых тавтологий из старых. |
An axiomatization of propositional calculus is a set of tautologies called axioms and one or more inference rules for producing new tautologies from old. |
В этом разделе описывается пропозициональное и предикатное исчисление и даются основные свойства классов, отношений и типов. |
This section describes the propositional and predicate calculus, and gives the basic properties of classes, relations, and types. |
Пропозициональное исчисление ограничивает внимание абстрактными пропозициями, построенными из пропозициональных переменных с использованием булевых операций. |
Propositional calculus restricts attention to abstract propositions, those built up from propositional variables using Boolean operations. |
Таким образом, Булева логика иногда используется для обозначения пропозиционального исчисления, выполняемого таким образом. |
Thus, Boolean logic is sometimes used to denote propositional calculus performed in this way. |
Одним из мотивирующих применений пропозиционального исчисления является анализ пропозиций и дедуктивных аргументов в естественном языке. |
One motivating application of propositional calculus is the analysis of propositions and deductive arguments in natural language. |
Сметные расходы на выплату вознаграждения судьям на 2003 год были исчислены исходя из количества заседаний, и данные о них приводятся в приложениях V и VI. |
The budgetary estimates for the remuneration of judges for 2003 have been based on the number of meetings, as set out in annexes V and VI. |
Все следующие свойства могут быть выведены из обычных правил дифференцирования исчисления. |
The following properties can all be derived from the ordinary differentiation rules of calculus. |
Вполне очевидно, что в индекс стоимости жизни можно включить условно исчисленные расходы и цены. |
A 'cost-of-living' index could, of course, be defined that includes imputed expenditures and imputed prices. |
Однако при этом страна сталкивается с некоторыми трудностями на пути исчисления стоимости выполняемой работы. |
It had encountered some difficulties, however, in gauging the value of work done. |
Например, при исчислении выходного пособия учитываются только основной оклад и надбавки за стаж; при несчастных случаях на производстве учитываются только регулярные месячные выплаты. |
For example, only basic pay and seniority bonuses count towards severance pay; for accidents at work, only regular monthly benefits apply. |
Были и более сложные и утонченные методы, такие как присвоение средств из 50-миллиардного в долларовом исчислении государственного закупочного фонда, либо незаконная приватизация государственной собственности. |
More sophisticated methods were the embezzlement of money from the $50 billion state procurement budget, or the illegal privatization of state property. |
Сегодняшние важные события: на европейской сессии выйдет денежный агрегат М3 Еврозоны, по прогнозам он вырастет на 3,7% в годовом исчислении в январе, небольшое ускорение от 3,6% в годовом исчислении в декабре. |
Today’s highlights: During the European day, Eurozone’s M3 money supply is forecast to have risen 3.7% yoy in January, a slight acceleration from 3.6% yoy in December. |
Принимая январь и февраль во внимание (чтобы исключить влияние китайского Нового года), импорт сократился на 24% в годовом исчислении. |
Taking January and February together (to eliminate the effect of the Chinese New Year), imports are down 24% yoy. |
Это неудивительно, если учесть, что рост ВВП Китая, хотя и значительно отстает от двузначных чисел в период расцвета, все еще остается больше 6 % в годовом исчислении. |
This should not be surprising, given that Chinese GDP growth, though down significantly from its double-digit heyday, remains above 6%. |
Последним ингредиентом значительного подъема NZDUSD стал солидный рост занятости Новой Зеландии на 1.2% в квартальном исчислении. |
The final ingredient for NZDUSD’s big rally was a solid 1.2% q/q rise in NZ employment. |
In В США главная ставка CPI за февраль, по ожиданиям останется в дефляции в годовом исчислении, но ожидается, что центральная CPI немного прибавит. |
In the US, the headline CPI rate for February is expected to remain in deflation on a yoy basis, but the core CPI rate is expected to accelerate slightly. |
Я думаю о том, нужно ли проводить операцию умножения, чтобы вписаться в восьмеричную систему исчисления. |
I'm trying to decide if we need to do this multiplication in order to align on octal boundaries. |
Наиболее известным таким методом, наиболее подходящим для программного расчета, является метод Ньютона, основанный на свойстве производной в исчислении. |
The most familiar such method, most suited for programmatic calculation, is Newton's method, which is based on a property of the derivative in the calculus. |
В 19 веке Чарльз Эрмит нашел доказательство, которое не требует никаких предварительных знаний, кроме базового исчисления. |
In the 19th century, Charles Hermite found a proof that requires no prerequisite knowledge beyond basic calculus. |
Дифференциальный оператор в исчислении является распространенным примером, так как он отображает функцию на ее производную, также функцию. |
The differential operator in calculus is a common example, since it maps a function to its derivative, also a function. |
Его логическое исчисление должно было стать инструментом в разработке цифровых электронных схем. |
His logical calculus was to become instrumental in the design of digital electronic circuitry. |
Он также оставил продвинутую математическую экономику с меньшим количеством приложений дифференциального исчисления. |
It also left advanced mathematical economics with fewer applications of differential calculus. |
Основная версия ситуационного исчисления, представленная в этой статье, основана на том, что было введено Рэем Рейтером в 1991 году. |
The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. |
В ситуационном исчислении динамический мир моделируется как прогрессирующий через ряд ситуаций в результате различных действий, выполняемых в мире. |
In the situation calculus, a dynamic world is modeled as progressing through a series of situations as a result of various actions being performed within the world. |
Если φp и ψp-элементарные пропозициональные функции, которые принимают элементарные пропозиции в качестве аргументов, то φp ∨ ψp-элементарное предложение. |
If φp and ψp are elementary propositional functions which take elementary propositions as arguments, φp ∨ ψp is an elementary proposition. |
В векторном исчислении векторное поле Бельтрами, названное в честь Эухенио Бельтрами, - это векторное поле в трех измерениях, параллельное своему собственному изгибу. |
In vector calculus, a Beltrami vector field, named after Eugenio Beltrami, is a vector field in three dimensions that is parallel to its own curl. |
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Правительство имело дефицит бюджета в годовом исчислении, который в среднем составлял 10% от валового внутреннего продукта страны. |
The government ran a budget deficit year-on-year that averaged at 10% of the country's gross domestic product. |
Семантика пропозициональной логики опирается на задания истинности. |
The semantics of propositional logic rely on truth assignments. |
Согласно аудиту Брукингского института, в период с 1940 по 1996 год США потратили на ядерные программы 9,49 триллиона долларов в современном исчислении. |
According to an audit by the Brookings Institution, between 1940 and 1996, the U.S. spent $9.49 trillion in present-day terms on nuclear weapons programs. |
Большинство ветвей Восточной Православной Церкви используют юлианский календарь для исчисления даты Пасхи, от которой зависит время всех остальных подвижных праздников. |
Most branches of the Eastern Orthodox Church use the Julian calendar for calculating the date of Easter, upon which the timing of all the other moveable feasts depends. |
В векторном исчислении и физике векторное поле-это присвоение вектора каждой точке в подмножестве пространства. |
In vector calculus and physics, a vector field is an assignment of a vector to each point in a subset of space. |
Рост ВВП в этом году составил 2,8%, а в годовом исчислении-5,5%, превысив темпы роста США и Европейского Союза за тот же период. |
GDP growth for that year was 2.8%, with an annualized fourth quarter expansion of 5.5%, surpassing the growth rates of the US and European Union during the same period. |
Предметы обсуждались и обходились без алгебраических средств, но исчисление не использовалось. |
Subjects were discussed and dispensed with through algebraic means, but calculus was not used. |
В математике предел функции является фундаментальным понятием в исчислении и анализе, касающимся поведения этой функции вблизи определенного входного сигнала. |
In mathematics, the limit of a function is a fundamental concept in calculus and analysis concerning the behavior of that function near a particular input. |
Дифференциальное исчисление используется для моделирования поведения ядерного распада. |
Differential calculus is used to model the behaviour of nuclear decay. |
Ниже приведены важные тождества, включающие производные и интегралы в векторном исчислении. |
The following are important identities involving derivatives and integrals in vector calculus. |
В качестве примера рассмотрим доказательство теоремы α → α. В лямбда-исчислении это тип функции тождества I = λx. |
As an example, consider a proof of the theorem α → α. In lambda calculus, this is the type of the identity function I = λx. |
Интегрирование является одной из двух основных операций исчисления, а его обратная операция, дифференцирование, является другой. |
Integration is one of the two main operations of calculus, with its inverse operation, differentiation, being the other. |
Лейбниц опубликовал свою работу по исчислению еще до Ньютона. |
Leibniz published his work on calculus before Newton. |
Однако самые высокие темпы роста в 2015-2016 годах наблюдались в Африке-23,7% в годовом исчислении. |
However, Africa had the highest growth rate at 23.7% year-on-year 2015–2016. |
Флюксии и флюенты составляли раннее исчисление Ньютона. |
Fluxions and fluents made up Newton's early calculus. |
По данным Министерства труда, нерегулярные работники зарабатывают примерно на 53 процента меньше, чем обычные, в сопоставимом месячном исчислении. |
Non-regular employees earn about 53 percent less than regular ones on a comparable monthly basis, according to the Labor Ministry. |
Коэффициент pan в годовом исчислении составляет около 0,8. |
The pan coefficient, on an annual basis, is about 0.8. |
Свободное исчисление-это вариант ситуационного исчисления. |
The fluent calculus is a variant of the situation calculus. |
Затем МКЭ использует вариационные методы из вариационного исчисления для аппроксимации решения путем минимизации связанной с ним функции ошибки. |
The FEM then uses variational methods from the calculus of variations to approximate a solution by minimizing an associated error function. |
Пропозиция - это абстрактная сущность, выраженная предложением, содержащаяся в убеждении или утвержденная в утверждении или суждении. |
A proposition is the abstract entity expressed by a sentence, held in a belief, or affirmed in an assertion or judgment. |
Некоторые теории допускают, что несущими истину являются не пропозициональные сущности, такие как слова и картинки. |
Some theories allow non-propositional entities like words and pictures to be truthbearers. |
К концу 2018 года официально зарегистрированное население оценивалось чуть более чем в 13 миллионов человек, увеличившись в годовом исчислении на 500 000 человек. |
By the end of 2018, the official registered population had been estimated as just over 13 million a yoy increase of 500,000. |
Условности, используемые для выражения количеств, называются количественным исчислением. |
The conventions used to express quantities is referred to as quantity calculus. |
В годовом исчислении рост ВВП впервые с 1989 года составил менее 7,5%. |
Year-on-year GDP growth amounted to less than 7.5% for the first time since 1989. |
Онтология этики имеет дело с ценностными вещами или свойствами, то есть с теми вещами или вещами, на которые ссылаются этические пропозиции. |
The ontology of ethics is about value-bearing things or properties, i.e. the kind of things or stuff referred to by ethical propositions. |
Кроме того, Pandora продемонстрировала рост доходов от рекламы на 62% и увеличение доходов от подписки на 38% в годовом исчислении. |
In addition, Pandora has seen a 62% advertising revenue increase, and a 38% subscription revenue increase year-over-year. |
Она широко распространена в чистой математике, особенно в математическом исчислении. |
It is widespread in pure mathematics, especially calculus. |
Результаты первого квартала 2014 года показали, что ежедневное число активных пользователей сократилось с 53 миллионов до 28 миллионов в годовом исчислении. |
First quarter results for 2014 showed that daily active user numbers fell from 53 million to 28 million year-over-year. |
Пропозиция есть объективная составляющая, значение которой тождественно названному ею объекту и является либо истинной, либо ложной. |
A proposition is an objective constituent the meaning of which is the same as the object being named by it, and is either true or false. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «пропозициональное исчисление».
А именно, здесь можно найти перевод (значение) «пропозициональное исчисление» на английском языке, синонимы, антонимы, краткое определение слов: пропозициональное, исчисление . Также, к фразе «пропозициональное исчисление» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
