Sta znaci na Engleskom КЛАУЗА - prevod na Енглеском

• clauses
• clause

Примери коришћења Клауза на Српском и њихови преводи на Енглески

Постоје две врсте клауза: чињенице и правила.
There are two types of clauses: facts and rules.

Усвојени закон контрадикторан је многим клаузама грчког Устава…“.
The enacted law contradicts many clauses of the Greek Constitution….

Постоје две врсте клауза: чињенице и правила.
In the database are two types of clauses: facts and rules.

Хорнова клауза са тачно једним позитивним литералом је дефинитна клауза;
A Horn clause with exactly one positive literal is a definite clause;

Други правац обухватају не хронолошки Бектрекинг( или backjumping) и учење клауза.
The latter direction include non-chronological backtracking(aka backjumping) and clause learning.

У другим светским језицима ред речи прелазних И непрелазних клауза не мора увек да кореспондира.
In other languages the word order of transitive and intransitive clauses may not correspond.

На пример, Хорнова клауза из горњег примера понаша се као процедура: да се покаже да важи u, потребно је да се покаже да важе p, q,…, t.
For example, the Horn clause written above behaves as the procedure: to show u, show p and show q and… and show t.

На пример, руски поседује релативно фиксиран СВО ред речи, али и слободнији СВ-ВС ред речи у непрелазним клаузама.
For example, Russian has a relatively fixed SVO word order in transitive clauses, but a much freer SV/ VS order in intransitive clauses.

У буловској логици, формула је у конјунктивној нормалној форми( КНФ) ако представља конјункцију клауза, где је клауза дисјункција литерала.
In boolean logic, a formula is in conjunctive normal form(CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals….

Епифора, епистрофа или антистрофа( од грч. ἐπιστροφή-„ повратак”) понављање је исте речи или више њих на крају узастопних фраза, клауза или реченица.
Epistrophe(Greek: ἐπιστροφή,"return") is the repetition of the same word or words at the end of successive phrases, clauses or sentences.

У буловској логици, формула је у конјунктивној нормалној форми( КНФ) ако представља конјункцију клауза, где је клауза дисјункција литерала.
In Boolean logic, a formula is in conjunctive normal form(CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals.

Корак поједностављивања у суштини брише све клаузе које су постале тачне по додели из формуле, и сви литерали који су постали нетачни из преосталих клауза..
The simplification step essentially removes all clauses that become true under the assignment from the formula, and all literals that become false from the remaining clauses..

Хорнове клаузе представљају основу логичког програмирања, где је уобичајан запис дефинитних клауза у форми импликације.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication.

У математичкој логици и логичком програмирању, Хорнова клауза је логичка формула специфичне форме која даје корисне могућности за примену у логичком програмирању, формалној спецификацији и теорији модела.
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in logic programming, formal specification, and model theory.

Некада су узорци комплекснији: немачки, холандски, африканс и фризијски поседују СОВ у подређеним, али В2 ред речи у главним клаузама, СВО ред речи је најучесталији.
Sometimes patterns are more complex: German, Dutch, Afrikaans and Frisian have SOV in subordinates, but V2 word order in main clauses, SVO word order being the most common.

Симплока( од грч. συμπλκή symploke-„ преплитање”) је стилска фигура у којој се реч или фраза понављају на почетку две или више клауза или реченица, а друга реч или фраза са сличним текстом се такође понавља на крају истих.
In rhetoric, symploce is a figure of speech in which a word or phrase is used successively at the beginning of two or more clauses or sentences and another word or phrase with a similar wording is used successively at the end of them.

Хорнова клауза са тачно једним позитивним литералом је дефинитна клауза; дефинитна калузула без негираних литерала некада се назива и чињеница, док се Хорнова клауза без позитивних литерала некада назива и циљна клауза( приметимо да је празна клаузула једна циљна клаузула).
A Horn clause with exactly one positive literal is a definite clause; a definite clause with no negative literals is sometimes called a fact; and a Horn clause without a positive literal is sometimes called a goal clause(note that the empty clause consisting of no literals is a goal clause)..

ДПЛЛ алгоритам се побољшава преко бектрекинг алгоритма по жељеној употреби следећих правила у сваком кораку: Unit propagation Ако је клауза јединична клауза, т. ј. садржи само један недодељен литерал, ова клауза може бити једино задовољива додељивањем неопходне вредности да би овај литерал био тачан.
The DPLL algorithm enhances over the backtracking algorithm by the eager use of the following rules at each step: Unit propagation If a clause is a unit clause, i.e. it contains only a single unassigned literal, this clause can only be satisfied by assigning the necessary value to make this literal true.

Хорнове клаузе представљају основу логичког програмирања, где је уобичајан запис дефинитних клауза у форми импликације:( p ∧ q ∧… ∧ t)→ u У ствари, чињеница да је резолуција циљне и дефинитне клаузе циљна клауза, представља основу за правило закључивања у СЛД резолуцији, која се користе за имплементацију логичког програмирања у програмском језику Пролог.
Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:(p∧ q∧…∧ t)→ u In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming in the programming language Prolog.

Клаузе са празним телом се називају чињенице.
Clauses with empty bodies are called facts.

Хорнове клаузе имају кључну улогу у интуитивној и рачунарској логици.
Horn clauses play a basic role in constructive logic and computational logic.

Према томе, те клаузе више не ограничавају претрагу и могу бити обрисане.
Thus, these clauses do not constrain the search anymore and can be deleted.

Postoje dve vrste klauza: činjenice i pravila.
There are two types of clauses: facts and rules.

Чисти литерали могу увек бити додељени на начин који чине све клаузе које их садрже тачне.
Pure literals can always be assigned in a way that makes all clauses containing them true.

Front-end tada dodeljuje fonetsku transkripciju svakoj reči, deli i obeležava tekst u prozodijske jedinice, poput fraza, klauza i rečenica.
The next step is to phonetically transcribe each word, and divide the text into prosodic units such as phrases, clauses and sentences.

Француска је била сасвим свесна да алжирска министарства нису била одржива у условима заједночког тржишта и направила је неке клаузе о изузетку у Римским уговорима.
France was well aware that the Algerian Departments were not viable under the conditions of the Common Market and gained some exemption clauses in the Treaty of Rome.

Задовољивост формуле се открива било када све променљиве су додељене без стварања празне клаузе, или, у модерним инплементацијама, ако су све клаузе задовољене.
Satisfiability of the formula is detected either when all variables are assigned without generating the empty clause, or, in modern implementations, if all clauses are satisfied.

Неодређене, упитне, повратне и релативне заменице, интензификатори, пасивне конструкције, реченице са више од две главне клаузе, модални глаголи, кондиционали, колокације у енглеском за електротехнику.
Indefinite, interrogative, reflexive and relative pronouns, intensifiers, passive constructions, sentences with more than two main clauses, modal verbs, conditionals, collocations in English for Electrical Engineering.

Front-end tada dodeljuje fonetsku transkripciju svakoj reči, deli i obeležava tekst u prozodijske jedinice, poput fraza, klauza i rečenica.
The front-end then assigns phonetic transcriptions to each word, divides and marks the text into units, like phrases, clauses, and sentences.

Направљено је неколико додатака за Даталог, као што су подршка за агрегатне функције и објектно-оријентисано програмирање, као и могућност коришћења дисјункција као глава клаузе.
Several extensions have been made to Datalog, e.g., to support aggregate functions, to allow object-oriented programming, or to allow disjunctions as heads of clauses.