Общерекурсивный предикат - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
общерекурсивно неравные числа - general recursively unequal numbers
общерекурсивный функционал - general recursive functional
общерекурсивный предикат - general recursive predicate
общерекурсивное построение - general recursive construction
общерекурсивный класс - general recursive class
общерекурсивно иррациональное число - general recursively irrational number
общерекурсивно истинная формула - general recursively true formula
Синонимы к общерекурсивный: рекурсивный
одноместный предикат - Single predicate
предикативное прилагательное - predicative adjective
исчисление предикатов с обобщением - predicate calculus with generalization
логика предикатов первого порядка - first order predicate logic
связанные с предикатами - associated predicates
неразложимый предикат - irreducible predicate
примитивный предикат - primitive predicate
перечислимый предикат - enumerable predicate
общерекурсивный предикат - general recursive predicate
предикатная константа - predicative constant
Синонимы к предикат: сказуемое, свойство, отношение
Значение предикат: В логике: понятие, определяющее предмет суждения — субъект.
Первоначальное название семьи было Пшибик, с предикатом фон Кленова. |
The original name of the family was Przibik, with the predicate von Klenowa. |
В течение марта и апреля 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. |
Федеральная программа взяточничества, хотя и не является предикатом Рико, является предикатом отмывания денег. |
Federal program bribery, while not a RICO predicate, is a money laundering predicate. |
Филлодонтозух также не имел предиката, как это было у всех известных орнитологов. |
Phyllodontosuchus also lacked a predentary as found in all known ornithischians. |
Эти якобы неприводимые предметы, содержащие неприводимые предикаты, отличаются от естественных наук тем, что они относительны к интересу. |
The clouds gather on Ch'in Mountains, I cannot see my home; The snow bars the passes of Lan, my horse cannot go forward. |
Блекли создал математическую предикативную модель для нас, модель, озволяющую создавать геополитические изменения. |
Blakely designed math-based predictive models for us, models to help create geopolitical change. |
Эти якобы неприводимые предметы, содержащие неприводимые предикаты, отличаются от естественных наук тем, что они относительны к интересу. |
These allegedly irreducible subjects, which contain irreducible predicates, differ from hard sciences in that they are interest-relative. |
Два вида терминов, участвующих в этом процессе, можно назвать соответственно субъектами и предикатами обсуждения. |
The two kinds of terms involved in this may be called the subjects and the predicates of the discussion, respectively. |
Не все интенсификаторы одинаковы синтаксически—они различаются в зависимости от того, могут ли они использоваться атрибутивно или предикативно. |
Not all intensifiers are the same syntactically—they vary on whether they can be used attributively or predicatively. |
В формальной логике это число называется аритностью предиката. |
In formal logic, this number is called the arity of the predicate. |
В ней он установил свою одноименную теорему полноты относительно исчисления предикатов первого порядка. |
In it, he established his eponymous completeness theorem regarding the first-order predicate calculus. |
Понятия называются логическими предикатами на основе параметров шаблона, вычисляемых во время компиляции. |
Concepts are named Boolean predicates on template parameters, evaluated at compile time. |
В формальной семантике теория репрезентации дискурса описывает формальную семантику предложения с помощью логики предикатов. |
In formal semantics, discourse representation theory describes the formal semantics of a sentence using predicate logic. |
Это не вспомогательный глагол, это основной глагол, связывающий с предикатом прилагательное. |
It is not the auxiliary verb, it is the main verb, linking to a predicate adjective. |
Унарная функция, возвращающая тип 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. |
Предикативное прилагательное может быть положительной, сравнительной или превосходной основой прилагательного, поэтому оно имеет ту же форму, что и наречие. |
A predicative adjective can be the positive, comparative or superlative stem of an adjective, therefore it has the same form as the adverb. |
Символическая логика обычно делится на два подполя: пропозициональную логику и логику предикатов. |
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. |
Утверждения, значение истинности которых может изменяться, моделируются реляционными флюентами, предикатами, которые принимают ситуацию в качестве своего окончательного аргумента. |
Statements whose truth value may change are modeled by relational fluents, predicates which take a situation as their final argument. |
Обычно человек делает инверсию, когда использует определенное местоимение в качестве предикатива. |
Normally, one makes an inversion when using a definite pronoun as predicativum. |
Теория Redundnay утверждает, что это избыточный предикат, а не свойство. |
Redundnay theoriest hold that it is a redundant prediate and not a property. |
Обратите внимание, что если субъект единичен, то предикативное существительное не должно быть множественным. |
Note that, if the subject is singular, the predicative noun must not be plural. |
Первый Квантор в аксиоме колеблется над предикатами, а не над отдельными числами. |
The first quantifier in the axiom ranges over predicates rather than over individual numbers. |
Но зависимые типы могут выражать произвольные предложения в логике предикатов. |
But dependent types can express arbitrary propositions in predicate logic. |
Более того, они должны признавать эффективный и действенный предикат отклонения. |
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. |
Таким образом, некоторые слова добавляют дополнительный параметр к построению точного предиката истинности. |
Thus, some words add an additional parameter to the construction of an accurate truth predicate. |
Он предполагает, что существование не является предикатом или качеством. |
He proposes that existence is not a predicate, or quality. |
Предположение гаскинга о том, что наибольшим недостатком было бы небытие, является ответом на предположение Ансельма о том, что существование есть предикат и совершенство. |
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. |
Условность здесь заключается в том, что буква 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. |
Причина его слабости заключается в том, что число предикатов в языке первого порядка является счетным, тогда как число множеств натуральных чисел неисчислимо. |
The reason that it is weaker is that the number of predicates in first-order language is countable, whereas the number of sets of natural numbers is uncountable. |
Он утверждает, что проблема индукции возникает только в том случае, если мы отрицаем возможность основания предиката, находящегося в непреходящей природе чего-либо. |
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. |
Герундив деленда функционирует как предикативное прилагательное в этой конструкции, которая известна как пассивная перифрастика. |
The gerundive delenda functions as a predicative adjective in this construction, which is known as the passive periphrastic. |
В 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. |
Ибо если это зависит от всех Б, А Б все с, обязательно должен быть предикатом всех С. ... Я называю этот вид фигуры первым. |
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. |
Результат предиката может быть либо истинным, либо ложным, либо неизвестным, в зависимости от наличия нулей. |
The result of the predicate can be either TRUE, FALSE, or UNKNOWN, depending on the presence of NULLs. |
Эта часть касается причинности между свойствами и состояниями исследуемой вещи, а не ее субстанций или предикатов. |
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. |
Более того, в наши дни предикаты более чем одной арности обычно называются отношениями. |
Moreoever, predicates of more than one arity are generally called relations these days. |
Это, по-видимому, именно то, что предложил Бертран Рассел, и что теперь делается более широко в логике предикатов. |
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. |
Предикатные термины = то, что вы можете сказать об этом. Разве обычные люди говорят о предложениях, что они истинны? |
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. |
Насколько я понимаю, это только количественная оценка, которая ограничивается одноместными предикатами в 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. |
Она также недавно стала популярной в формальной логике при абстракции предикатов. |
It has also recently become popular in formal logic under predicate abstraction. |
Для подходов к тестированию на основе моделей система моделируется набором предикатов, определяющих поведение системы. |
For model-based testing approaches, the system is modeled by a set of predicates, specifying the system's behavior. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «общерекурсивный предикат».
А именно, здесь можно найти перевод (значение) «общерекурсивный предикат» на английском языке, синонимы, антонимы, краткое определение слов: общерекурсивный, предикат . Также, к фразе «общерекурсивный предикат» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
