Лог. исчисление предикатов - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
лог - log file
лог-сервер - log server
в лог-ролл - to log-roll
лог д - log d
лог-лист - log sheet
лог-файлы - log files from
лог. закон категориального силлогизма - law of categorical syllogism
лог. порождающее правило, продукция - production rule
лог. существенное произведение - essential product
лог. частично-рекурсивная схема - partical recursive scheme
Синонимы к лог: овраг, ложбина, лощина, изложина, юдоль, ложок, балка, яр, дебрь, логовина
функциональное исчисление - functional calculus
исчисление высказываний - propositional calculus
пересчет в годовое исчисление - annualization
страховой взнос, исчисленный по основной тарифной ставке - insurance premium, calculated on the basic tariff rate
в реальном исчислении - in real terms
узкое исчисление предикатов - restricted predicate calculus
в годовом исчислении норма прибыли - annualized rate of return
в годовом исчислении темпы роста - annualized growth rate
маргинальное исчисление - marginal calculus
седловая точка в дифференциальном исчислении - calculus saddle point
Синонимы к исчисление: расценивание, вычисление, подсчет, эвальвация, просчитывание, подсчитывание, считание
предикативный - predicative
предикативные прилагательные - predicative adjectives
предикатоид - predikatoid
узкое исчисление предикатов - restricted predicate calculus
двуместный предикат - dyadic predicate
гиперарифметический предикат - hyperarithmetical predicate
исчисление предикатов с обобщением - predicate calculus with generalization
строго устойчивый предикат - strictly stable predicate
предикат суждения - major term
многоместный предикат - multiplace predicate
Эти схемы аксиом также используются в исчислении предикатов, но дополнительные логические аксиомы необходимы для включения квантора в исчисление. |
These axiom schemata are also used in the predicate calculus, but additional logical axioms are needed to include a quantifier in the calculus. |
В этом разделе описывается пропозициональное и предикатное исчисление и даются основные свойства классов, отношений и типов. |
This section describes the propositional and predicate calculus, and gives the basic properties of classes, relations, and types. |
Исчисление предикатов первого порядка избегает такой двусмысленности, используя формулы, которые не имеют экзистенциального значения по отношению к универсальным утверждениям. |
The first-order predicate calculus avoids such ambiguity by using formulae that carry no existential import with respect to universal statements. |
В ней он установил свою одноименную теорему полноты относительно исчисления предикатов первого порядка. |
In it, he established his eponymous completeness theorem regarding the first-order predicate calculus. |
Я думаю о том, нужно ли проводить операцию умножения, чтобы вписаться в восьмеричную систему исчисления. |
I'm trying to decide if we need to do this multiplication in order to align on octal boundaries. |
Эта часть касается причинности между свойствами и состояниями исследуемой вещи, а не ее субстанций или предикатов. |
This part is about causation between properties and states of the thing under study, not its substances or predicates. |
Ибо если это зависит от всех Б, А Б все с, обязательно должен быть предикатом всех С. ... Я называю этот вид фигуры первым. |
For if A is predicated of all B, and B of all C, A must necessarily be predicated of all C. ... I call this kind of figure the First. |
В возрасте 15 лет он начал изучать углубленное исчисление под руководством известного аналитика Габора Сеге. |
At the age of 15, he began to study advanced calculus under the renowned analyst Gábor Szegő. |
Однако при этом страна сталкивается с некоторыми трудностями на пути исчисления стоимости выполняемой работы. |
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. |
В этом режиме политика не является принудительной. Можно изменять любые предикаты, действия или значения, связанные с ее правилами, перед ее проверкой или перед тем, как сделать политику принудительной. |
In this mode, a policy is not enforced and you can change any predicates, actions, or values associated with its rules before you test or begin enforcing it. |
В диадеме тридцать девять крупных бериллов, -сказал он. - Ценность золотой оправы не поддается исчислению. |
'There are thirty-nine enormous beryls,' said he, 'and the price of the gold chasing is incalculable. |
Блекли создал математическую предикативную модель для нас, модель, озволяющую создавать геополитические изменения. |
Blakely designed math-based predictive models for us, models to help create geopolitical change. |
В 2011 году двусторонний товарооборот достиг $27,67 млрд, увеличившись на 11,5% в годовом исчислении. |
Bilateral trade reached $27.67 billion in 2011, up 11.5% year-on-year. |
Наиболее известным таким методом, наиболее подходящим для программного расчета, является метод Ньютона, основанный на свойстве производной в исчислении. |
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. |
Дифференциальный оператор в исчислении является распространенным примером, так как он отображает функцию на ее производную, также функцию. |
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. |
В ситуационном исчислении динамический мир моделируется как прогрессирующий через ряд ситуаций в результате различных действий, выполняемых в мире. |
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. |
Не все интенсификаторы одинаковы синтаксически—они различаются в зависимости от того, могут ли они использоваться атрибутивно или предикативно. |
Not all intensifiers are the same syntactically—they vary on whether they can be used attributively or predicatively. |
Это подтверждало приверженность англичан Римскому исчислению Пасхи, принятому на Синоде в Уитби в 664 году. |
This was confirming the English adherence to the Roman calculation of Easter, as decided at the Synod of Whitby in 664. |
Система исчисления лет Anno Domini первоначально основывалась на том, что 1-й год был установлен как первый полный год жизни Иисуса. |
The Anno Domini system of reckoning years was originally based on setting year 1 as the first full year of Jesus' life. |
В математике, особенно в математическом исчислении, вертикальная касательная - это касательная линия, которая является вертикальной. |
In mathematics, particularly calculus, a vertical tangent is a tangent line that is vertical. |
Действительно, проблема определения площади плоских фигур была главной мотивацией исторического развития исчисления. |
Indeed, the problem of determining the area of plane figures was a major motivation for the historical development of calculus. |
Таким образом, Булева логика иногда используется для обозначения пропозиционального исчисления, выполняемого таким образом. |
Thus, Boolean logic is sometimes used to denote propositional calculus performed in this way. |
Большинство ветвей Восточной Православной Церкви используют юлианский календарь для исчисления даты Пасхи, от которой зависит время всех остальных подвижных праздников. |
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. |
В 1760 году Лагранж распространил результаты Эйлера по вариационному исчислению, включающему интегралы по одной переменной, на две переменные. |
In 1760 Lagrange extended Euler's results on the calculus of variations involving integrals in one variable to two variables. |
В векторном исчислении и физике векторное поле-это присвоение вектора каждой точке в подмножестве пространства. |
In vector calculus and physics, a vector field is an assignment of a vector to each point in a subset of space. |
Эту часть иногда называют первой фундаментальной теоремой исчисления. |
This part is sometimes referred to as the first fundamental theorem of calculus. |
Эта часть иногда упоминается как вторая фундаментальная теорема исчисления или аксиома Ньютона-Лейбница. |
This part is sometimes referred to as the second fundamental theorem of calculus or the Newton–Leibniz axiom. |
Одним из таких обобщений, предлагаемых исчислением движущихся поверхностей, является временная эволюция интегралов. |
One such generalization offered by the calculus of moving surfaces is the time evolution of integrals. |
Наиболее известными расширениями фундаментальной теоремы исчисления в высших измерениях являются теорема дивергенции и теорема градиента. |
The most familiar extensions of the fundamental theorem of calculus in higher dimensions are the divergence theorem and the gradient theorem. |
Юлианский календарь отказался от этого метода в пользу чисто солнечного исчисления, в то время как исламский календарь VII века, наоборот, выбрал чисто лунный. |
The Julian calendar abandoned this method in favour of a purely solar reckoning while conversely the 7th-century Islamic calendar opted for a purely lunar one. |
Рост ВВП в этом году составил 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. |
Ширский календарь или Ширское исчисление используется хоббитами Шира. |
The Shire calendar or Shire Reckoning is used by the Hobbits of the Shire. |
Он утверждает, что проблема индукции возникает только в том случае, если мы отрицаем возможность основания предиката, находящегося в непреходящей природе чего-либо. |
He argues that the problem of induction only arises if we deny the possibility of a reason for the predicate, located in the enduring nature of something. |
Метод Ньютона был использован японским математиком XVII века Секи Кова для решения уравнений с одной переменной, хотя связь с исчислением отсутствовала. |
Newton's method was used by 17th-century Japanese mathematician Seki Kōwa to solve single-variable equations, though the connection with calculus was missing. |
Ниже приведены важные тождества, включающие производные и интегралы в векторном исчислении. |
The following are important identities involving derivatives and integrals in vector calculus. |
Все следующие свойства могут быть выведены из обычных правил дифференцирования исчисления. |
The following properties can all be derived from the ordinary differentiation rules of 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. |
Лейбниц опубликовал свою работу по исчислению еще до Ньютона. |
Leibniz published his work on calculus before Newton. |
Огюстен-Луи Коши, Бернхард Риман и Карл Вейерштрасс переформулировали исчисление в более строгой форме. |
Augustin-Louis Cauchy, Bernhard Riemann, and Karl Weierstrass reformulated the calculus in a more rigorous fashion. |
Флюксии и флюенты составляли раннее исчисление Ньютона. |
Fluxions and fluents made up Newton's early calculus. |
Коэффициент pan в годовом исчислении составляет около 0,8. |
The pan coefficient, on an annual basis, is about 0.8. |
Затем МКЭ использует вариационные методы из вариационного исчисления для аппроксимации решения путем минимизации связанной с ним функции ошибки. |
The FEM then uses variational methods from the calculus of variations to approximate a solution by minimizing an associated error function. |
Предполагается, что читатель знаком с исчислением и линейной алгеброй. |
It is assumed that the reader is familiar with calculus and linear algebra. |
Более того, в наши дни предикаты более чем одной арности обычно называются отношениями. |
Moreoever, predicates of more than one arity are generally called relations these days. |
Предикат первого порядка сам по себе не может содержать предиката. |
A first order predicate cannot itself contain a predicate. |
Внутреннее производство угля сократилось еще больше, упав на 9% в годовом исчислении в 2016 году. |
Domestic coal production has declined even further, dropping 9% year on year in 2016. |
В формальной семантике теория репрезентации дискурса описывает формальную семантику предложения с помощью логики предикатов. |
In formal semantics, discourse representation theory describes the formal semantics of a sentence using predicate logic. |
Насколько я понимаю, это только количественная оценка, которая ограничивается одноместными предикатами в MSO. |
As far as I understand it is only the quantification which is limited to one-place predicates in MSO. |
В годовом исчислении рост ВВП впервые с 1989 года составил менее 7,5%. |
Year-on-year GDP growth amounted to less than 7.5% for the first time since 1989. |
Кроме того, Pandora продемонстрировала рост доходов от рекламы на 62% и увеличение доходов от подписки на 38% в годовом исчислении. |
In addition, Pandora has seen a 62% advertising revenue increase, and a 38% subscription revenue increase year-over-year. |
Потом, когда мы положили в citaitons, в годовом исчислении жаловаться htese, а также. |
Then, when we put in citaitons, yoy complain about htese as well. |
Я воспользовался моментом, когда он записывал счета, подлежащие оплате в месячном исчислении, и вырубил его мячом нежности. |
I took the advantage of the moment he was writing down the bills payable in monthly terms and knocked him out with a ball of tender. |
Это раздел математики, который включает в себя исчисление. |
It is the branch of mathematics that includes calculus. |
Еще в XVII веке Лейбниц сказал бы, что изобретение исчисления было средством для проникновения в разум Бога. |
I am surprised that the article does not include a section on, or a least a list of eponyms in the Bible - there must be hundreds of them. |
Логическое исчисление идей, имманентных нервной деятельности. |
A logical calculus of the ideas immanent in nervous activity. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «лог. исчисление предикатов».
А именно, здесь можно найти перевод (значение) «лог. исчисление предикатов» на английском языке, синонимы, антонимы, краткое определение слов: лог., исчисление, предикатов . Также, к фразе «лог. исчисление предикатов» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
