Формульный предикат - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
формульный - formular
контакт формульной - contact formular
формульный предикат - formula predicate
предикативные прилагательные - predicative adjectives
предикативный член - predicative
исчисление предикатов с несколькими сортами переменных - several-sorted predicate calculus
алгебраический предикат - algebraic predicate
теоретико-множественная логика предикатов - set predicate logic
гиперарифметический предикат - hyperarithmetical predicate
основной предикат - basic predicate
эффективно разрешимый предикат - effectively decidable predicate
предикативный анализ - predicative analysis
предикативный код - predicative code
Синонимы к предикат: сказуемое, свойство, отношение
Значение предикат: В логике: понятие, определяющее предмет суждения — субъект.
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Федеральная программа взяточничества, хотя и не является предикатом Рико, является предикатом отмывания денег. |
Federal program bribery, while not a RICO predicate, is a money laundering predicate. |
Эти якобы неприводимые предметы, содержащие неприводимые предикаты, отличаются от естественных наук тем, что они относительны к интересу. |
These allegedly irreducible subjects, which contain irreducible predicates, differ from hard sciences in that they are interest-relative. |
Первоначальная система логики предикатов Фреге была второго порядка, а не первого. |
Frege's original system of predicate logic was second-order, rather than first-order. |
В формальной логике это число называется аритностью предиката. |
In formal logic, this number is called the arity of the predicate. |
Более того, в наши дни предикаты более чем одной арности обычно называются отношениями. |
Moreoever, predicates of more than one arity are generally called relations these days. |
Нулевой закон-это утверждение в логике предикатов. |
The zeroth law is a statement in predicate logic. |
На логическом языке вывод является недействительным, так как по крайней мере при одной интерпретации предикатов он не сохраняет валидность. |
In logical parlance, the inference is invalid, since under at least one interpretation of the predicates it is not validity preserving. |
Но зависимые типы могут выражать произвольные предложения в логике предикатов. |
But dependent types can express arbitrary propositions in predicate logic. |
Блекли создал математическую предикативную модель для нас, модель, озволяющую создавать геополитические изменения. |
Blakely designed math-based predictive models for us, models to help create geopolitical change. |
Теория Redundnay утверждает, что это избыточный предикат, а не свойство. |
Redundnay theoriest hold that it is a redundant prediate and not a property. |
Это не вспомогательный глагол, это основной глагол, связывающий с предикатом прилагательное. |
It is not the auxiliary verb, it is the main verb, linking to a predicate adjective. |
Филлодонтозух также не имел предиката, как это было у всех известных орнитологов. |
Phyllodontosuchus also lacked a predentary as found in all known ornithischians. |
Диадический предикат истины-это тот, который применяется к своему основному субъекту только в отношении чего-то другого, второго субъекта. |
A dyadic truth predicate is one that applies to its main subject only in reference to something else, a second subject. |
Предикативное прилагательное может быть положительной, сравнительной или превосходной основой прилагательного, поэтому оно имеет ту же форму, что и наречие. |
A predicative adjective can be the positive, comparative or superlative stem of an adjective, therefore it has the same form as the adverb. |
В ней он установил свою одноименную теорему полноты относительно исчисления предикатов первого порядка. |
In it, he established his eponymous completeness theorem regarding the first-order predicate calculus. |
Герундив деленда функционирует как предикативное прилагательное в этой конструкции, которая известна как пассивная перифрастика. |
The gerundive delenda functions as a predicative adjective in this construction, which is known as the passive periphrastic. |
Более того, они должны признавать эффективный и действенный предикат отклонения. |
Moreover, they should admit an efficient and effective reject predicate. |
В то время как действия, ситуации и объекты являются элементами предметной области, флюенты моделируются либо как предикаты, либо как функции. |
While actions, situations, and objects are elements of the domain, the fluents are modeled as either predicates or functions. |
Это обычно достигается путем отображения производного значения в набор утверждений в логике предикатов, а затем с помощью логической дедукции для получения выводов. |
This is generally achieved by mapping the derived meaning into a set of assertions in predicate logic, then using logical deduction to arrive at conclusions. |
Он предполагает, что существование не является предикатом или качеством. |
He proposes that existence is not a predicate, or quality. |
Не все интенсификаторы одинаковы синтаксически—они различаются в зависимости от того, могут ли они использоваться атрибутивно или предикативно. |
Not all intensifiers are the same syntactically—they vary on whether they can be used attributively or predicatively. |
Обратите внимание, что если субъект единичен, то предикативное существительное не должно быть множественным. |
Note that, if the subject is singular, the predicative noun must not be plural. |
Предположение гаскинга о том, что наибольшим недостатком было бы небытие, является ответом на предположение Ансельма о том, что существование есть предикат и совершенство. |
Gasking's proposition that the greatest disability would be non-existence is a response to Anselm's assumption that existence is a predicate and perfection. |
В течение марта и апреля 1678 года он участвует в большом предикатном и апостольском походе, которому помогают священники оратории. |
During the months of March and April 1678 he participates in a big predication and apostolic campaign helped by the priests of the Oratory. |
Условность здесь заключается в том, что буква S является субъектом вывода, P-предикатом вывода, а M-средним термином. |
The convention here is that the letter S is the subject of the conclusion, P is the predicate of the conclusion, and M is the middle term. |
Таким образом, люди могут быть предикатами Сократа, но Сократ не может быть предикатом чего-либо. |
Thus Men can be predicated of Socrates but Socrates cannot be predicated of anything. |
В логике и философии предикаты или отношения, принимающие переменное число аргументов, называются мультиградусными, анадическими или переменно полиадическими. |
In logic and philosophy, predicates or relations accepting a variable number of arguments are called multigrade, anadic, or variably polyadic. |
Он утверждает, что проблема индукции возникает только в том случае, если мы отрицаем возможность основания предиката, находящегося в непреходящей природе чего-либо. |
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. |
Криспин Райт утверждал в своей книге 1992 года истина и объективность, что любой предикат, удовлетворяющий определенным банальностям об истине, квалифицируется как предикат истины. |
Crispin Wright argued in his 1992 book Truth and Objectivity that any predicate which satisfied certain platitudes about truth qualified as a truth predicate. |
В результате Тарский считал, что семантическая теория не может быть применена ни к одному естественному языку, такому как английский, поскольку они содержат свои собственные предикаты истинности. |
As a result, Tarski held that the semantic theory could not be applied to any natural language, such as English, because they contain their own truth predicates. |
В 1813 году, если более высокий титул не признавался, мужчины должны были носить только наследственный предикат Джонхеера. |
In 1813, if no higher title was recognised, the men only were to bear the hereditary predicate of Jonkheer. |
Однако XML-элемент может быть преобразован - в зависимости от контекста-как субъект, предикат или объект тройки. |
An XML element, however, can be transformed - depending on the context- as a subject, a predicate or object of a triple. |
Унарная функция, возвращающая тип bool, называется предикатом, а двоичная функция, возвращающая тип bool, называется двоичным предикатом. |
A unary function whose return type is bool is called a predicate, and a binary function whose return type is bool is called a binary predicate. |
Ибо если это зависит от всех Б, А Б все с, обязательно должен быть предикатом всех С. ... Я называю этот вид фигуры первым. |
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. |
Понятия называются логическими предикатами на основе параметров шаблона, вычисляемых во время компиляции. |
Concepts are named Boolean predicates on template parameters, evaluated at compile time. |
Эти якобы неприводимые предметы, содержащие неприводимые предикаты, отличаются от естественных наук тем, что они относительны к интересу. |
The clouds gather on Ch'in Mountains, I cannot see my home; The snow bars the passes of Lan, my horse cannot go forward. |
Эта часть касается причинности между свойствами и состояниями исследуемой вещи, а не ее субстанций или предикатов. |
This part is about causation between properties and states of the thing under study, not its substances or predicates. |
Затем были предложены альтернативные решения, включающие завершение предиката, плавную окклюзию, аксиомы преемственного состояния и т. д. |
Alternative solutions were then proposed, involving predicate completion, fluent occlusion, successor state axioms, etc. |
Он решает проблему фрейма, используя логические термины первого порядка, а не предикаты, для представления состояний. |
It solves the frame problem by using first-order logic terms, rather than predicates, to represent the states. |
Запятая не нужна, потому что конъюнкция-это просто разделение двух предикатов, разделяющих один и тот же субъект. |
No comma is necessary because the conjunction is merely separating two predicates sharing the same subject. |
Прозентенциалисты считают, что истина не является излишней, но и не является предикатом! |
Prosententialists hold that truth is not redundant but neither is it a predicate! |
На самом деле и стоики, и Аристотель использовали примитивные версии триадических предикатов истины. |
In fact, the Stoics and Aristotle both used primitive versions of triadic truth predicates. |
На рубеже веков и Рассел, и Мур приняли не-делатонскую точку зрения, что истина-это примитивный, неопределимый предикат. |
At the turn of the centurty, Russell and Moore both adopted the non-delatonry view that truth is a primitive, indefinable, predicate. |
Это, по-видимому, именно то, что предложил Бертран Рассел, и что теперь делается более широко в логике предикатов. |
This seems to be exactly what Bertrand Russell suggested, and which is now done more generally in predicate logic. |
Предикат первого порядка сам по себе не может содержать предиката. |
A first order predicate cannot itself contain a predicate. |
В логике предикатов предикат - это просто предложение, содержащее свободную переменную. |
In predicate logic, a predicate is just a sentence which contains a free variable. |
Два вида терминов, участвующих в этом процессе, можно назвать соответственно субъектами и предикатами обсуждения. |
The two kinds of terms involved in this may be called the subjects and the predicates of the discussion, respectively. |
Предикатные термины = то, что вы можете сказать об этом. Разве обычные люди говорят о предложениях, что они истинны? |
Predicate terms = what you can say about it. Do ordinary people say of sentences that they are true? |
Так вот, обычные люди пользуются предикатами истины, независимо от того, что может отрицать тот или иной культ философов-аскетов. |
Well then, ordinary people make use of truth predicates, no matter what this or that cult of ascetic philosophers may deny themselves. |
В формальной семантике теория репрезентации дискурса описывает формальную семантику предложения с помощью логики предикатов. |
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. |
In this article are many half-truth predications. |
|
В интерпретируемых теориях более высокого порядка предикаты могут интерпретироваться как множество множеств. |
In interpreted higher-order theories, predicates may be interpreted as sets of sets. |
В то время как пропозициональная логика имеет дело с простыми декларативными пропозициями, логика первого порядка дополнительно охватывает предикаты и квантификацию. |
While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification. |
Отношения между предикатами могут быть установлены с помощью логических связок. |
Relationships between predicates can be stated using logical connectives. |
Она также недавно стала популярной в формальной логике при абстракции предикатов. |
It has also recently become popular in formal logic under predicate abstraction. |
Первоначальное название семьи было Пшибик, с предикатом фон Кленова. |
The original name of the family was Przibik, with the predicate von Klenowa. |
Для подходов к тестированию на основе моделей система моделируется набором предикатов, определяющих поведение системы. |
For model-based testing approaches, the system is modeled by a set of predicates, specifying the system's behavior. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «формульный предикат».
А именно, здесь можно найти перевод (значение) «формульный предикат» на английском языке, синонимы, антонимы, краткое определение слов: формульный, предикат . Также, к фразе «формульный предикат» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
