Що таке FIRST-ORDER LOGIC Українською - Українська переклад

• логіці першого порядку
• логіка першого порядку
• логіки першого порядку
• логіка першого

Приклади вживання First-order logic Англійська мовою та їх переклад на Українською

Its main tool is first-order logic.
Її основним засобом є логіка першого порядку.

Sometimes"theory" is understood in a more formal sense, which is just a set of sentences in first-order logic.
Іноді теорія розуміється в більш формальному сенсі, а це всього лише набір пропозицій у логіці першого порядку.

KIF is a syntax for first-order logic that is based on S-expressions.
KIF це синтакс для логіки першого порядку який базується на S-виразах.

Not all logical validities are tautologies in first-order logic.
Не всі логічні терміни дії є тавтологіями в логіці першого порядку.

In intuitionistic first-order logic both quantifiers∃,∀ are needed.
В інтуїціоністській логіці першого порядку необхідні обидва квантора ∃, ∀.

The syntax of formulæ of intuitionistic logic is similar to propositional logic or first-order logic.
Синтаксис формул інтуїтивної логіки подібний логіці висловлювань або логіці першого порядку.

Existential quantification First-order logic List of logic symbols- for the Unicode symbol∀.
Квантор існування Логіка першого порядку Список логічних символів- для Юнікодного символу ∀.

First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics.
Логіка першого порядку є стандартом для формалізації математики в аксіомах і вивчається в основи математики.

They are called definite clause grammars because they represent a grammar as a set of definite clauses in first-order logic.
Вони називаються граматиками визначених тверджень, оскільки представляють граматику множиною визначених тверджень у логіці першого порядку.

In first-order logic, an atomic formula consists of a predicate symbol applied to an appropriate number of terms.
У логіці першого порядку атомна формула складається з предикатного символу, що застосовується до відповідного числа членів.

The theory of data integration forms a subset of database theory and formalizes the underlying concepts of the problem in first-order logic.
Теорія інтеграції даних утворює підмножину теорії баз даних і формалізує основні поняття проблеми в логіці першого порядку.

First-order logic List of logic symbols- for the unicode symbol∃ Quantifier variance Quantifiers Uniqueness quantification.
Логіка першого порядку Список логічних символів- для Юнікодного символу ∃ Дисперсія квантора Квантори Єдиність.

The first of these forms is expressible using ordinary quantifiers, but the latter two cannot be expressed in ordinary first-order logic.
Перша з цих форм виражається за допомогою звичайних кванторів, але останні два не можуть бути виражені у звичайній логіці першого порядку.

Similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation.
Точнісінько так само в класичній логіці першого порядку, один з кванторів може бути визначений з точки зору іншого та заперечення.

Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic..
Онтологічні мови, як правило, є декларативними мовами, майже завжди є узагальненнями фреймових мов, і, як правило, засновані або на логіці першого порядку або на описовій_логіці.

First-order logic also satisfies several metalogical theorems that make it amenable to analysis in proof theory, such as the Löwenheim- Skolem theorem.
Логіка першого порядку також задовольняє кільком металогическим теорем, які роблять її придатною для аналізу в теорії доказів, такий як теоремаЛевенхайма-Сколема і теорема про компактності.

Standard translation, an embedding of modal logics into first-order logic which captures their possible world semantics N-universes Modal fictionalism Fictionalism.
Стандартний переклад, вкладення модальні логіки в логіку першого порядку, який захоплює їх можливий світ семантики N-всесвіти Модальний фікціоналізм Фікціоналізм.

First-order logic also satisfies several metalogical theorems that make it amenable to analysis in proof theory, such as the Löwenheim- Skolem theorem and the compactness theorem.
Логіка першого порядку також задовольняє кільком металогическим теорем, які роблять її придатною для аналізу в теорії доказів, такий як теоремаЛевенхайма-Сколема і теорема про компактності.

Later, he worked mainly on game semantics, and on independence-friendly logic, known for its"branching quantifiers", which he believed do better justice to our intuitions about quantifiers than does conventional first-order logic.
Пізніше він працював головним чином в ігровій семантиці, та у незалежній логіці, відомий своїми«розгалуженими кванторами», які, на його думку, краще відповідають поняттям про квантифікацію ніж звичайна логіка першого порядку.

There are many deductive systems for first-order logic that are sound(all provable statements are true in all models) and complete(all statements which are true in all models are provable).
Існує багато дедуктивних систем для видів суджень і логіки першого порядку, які є як звуковими(всі доказові твердження вірні у всіх моделях), так і повними(твердження, які вірні для всіх моделей, є доказуемыми).

First-order logic- also known as first-order predicate calculus and predicate logic- is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
Логіка першого порядку, також відома як числення предикатів першого порядку і логіка предикатів, являє собою набір формальних систем, що використовуються у математиці, філософії, лінгвістики та інформатики.

Although support for higher-order programming takes Prolog outside the domain of first-order logic, which does not allow quantification over predicates, ISO Prolog now has some built-in higher-order predicates such as call/1, call/2, call/3, findall/3, setof/3, and bagof/3.
Хоча підтримка програмування вищих порядків і виводить Пролог з області логіки першого порядку, яка не дозволяє квантифікації предикатів, Пролог ISO вже має деякі вбудовані предикати вищих порядків, такі як call/1, call/2, call/3, findall/3, setof/3 та bagof/3.

First-order logic- also known as predicate logic and first-order predicate calculus- is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
Логіка першого порядку, також відома як числення предикатів першого порядку і логіка предикатів, являє собою набір формальних систем, що використовуються у математиці, філософії, лінгвістики та інформатики.

Formally speaking, an SMT instance is a formula in first-order logic, where some function and predicate symbols have additional interpretations, and SMT is the problem of determining whether such a formula is satisfiable.
Формально SMT формула- це формула в логіці першого порядку, в якій деякі функції і предикатні символи мають додаткову інтерпретацію, і задача полягає в тому, щоб визначити чи виконується дана формула.

Schematic variables in first-order logic are usually trivially eliminable in second-order logic, because a schematic variable is often a placeholder for any property or relation over the individuals of the theory.
Схематичні змінні у логіці першого порядку зазвичай усуваються тривіально у логіці другого порядку, оскільки схематична змінна часто стоїть на місці довільної властивості або відношення над індивідами теорії.

This operator differs from negation in first-order logic: a negation such as\+ X== 1 fails when the variable X has been bound to the atom 1, but it succeeds in all other cases, including when X is unbound.
Цей оператор відрізняється від заперечення в логіці першого порядку: заперечення, наприклад\+ х== 1 завершується, коли змінна х зв'язана з атомом 1, але він досягає успіху у всіх інших випадках, у тому числі, коли x є неприв'язаний.

Existential quantification First-order logic List of logic symbols- for the Unicode symbol∀ Further information on using domains of discourse with quantified statements can be found in the Quantification(logic) article.
Квантор існування Логіка першого порядку Список логічних символів- для Юнікодного символу ∀{\displaystyle\forall} Подальша інформація про використання областей дискурсу з квантифікованими судженнями може бути знайдена у статті Квантор.

The resulting ontologies are called: FLOWS- First-Order Logic Ontology for Web Services, which relies on First-Order Logic semantics, and ROWS- Rule Ontology for Web Services, which relies on Logic Programming semantics.
Результуючі онтології мають назви FLOWS(First-Order Logic Ontology for Web Services), що полягається на семантику логіки першого порядку, та ROWS(Rule Ontology for Web Services), що опирається на семантику логічного програмування.

A tautology in first-order logic is a sentence that can be obtained by taking a tautology of propositional logic and uniformly replacing each propositional variable by a first-order formula(one formula per propositional variable).
Тавтологія в логіці першого порядку є вирок, який може бути отриманий шляхом прийняття тавтологією логіки висловлювань і рівномірно замінюючи кожну пропозиціональні змінні по формулі першого порядку(одна формула в пропозициональній змінній).